Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
2193 Publications
2019 | Conference Abstract | LibreCat-ID: 8532 | 
@inproceedings{Bäumer_Buff_Geierhos_2019, place={Frankfurt am Main, Germany}, title={Potentielle Privatsphäreverletzungen aufdecken und automatisiert sichtbar machen}, DOI={10.5281/zenodo.2596095}, booktitle={DHd 2019 Digital Humanities: multimedial & multimodal. Konferenzabstracts}, publisher={Zenodo}, author={Bäumer, Frederik Simon and Buff, Bianca and Geierhos, Michaela}, editor={Sahle, PatrickEditor}, year={2019}, pages={192–193} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 8792 |
@inproceedings{Peuster_Schneider_Behnke_Müller_Bök_Karl_2019, place={Paris}, title={Prototyping and Demonstrating 5G Verticals: The Smart Manufacturing Case}, DOI={10.1109/NETSOFT.2019.8806685}, booktitle={5th IEEE International Conference on Network Softwarization (NetSoft 2019)}, author={Peuster, Manuel and Schneider, Stefan Balthasar and Behnke, Daniel and Müller, Marcel and Bök, Patrick-Benjamin and Karl, Holger}, year={2019} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8795 |
@article{Peuster_Küttner_Karl_2019, title={A flow handover protocol to support state migration in softwarized networks}, DOI={10.1002/nem.2067}, number={e2067}, journal={International Journal of Network Management}, author={Peuster, Manuel and Küttner, Hannes and Karl, Holger}, year={2019} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 8797 |
@article{Sain_Meier_Zentgraf_2019, title={Nonlinear optics in all-dielectric nanoantennas and metasurfaces: a review}, volume={1}, DOI={10.1117/1.ap.1.2.024002}, number={2}, journal={Advanced Photonics}, author={Sain, Basudeb and Meier, Cedrik and Zentgraf, Thomas}, year={2019}, pages={024002} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 9824 |
@article{Peuster_Schneider_Zhao_Xilouris_Trakadas_Vicens_Tavernier_Soenen_Vilalta_Andreou_et al._2019, title={Introducing Automated Verification and Validation for Virtualized Network Functions and Services}, DOI={10.1109/mcom.2019.1800873}, journal={IEEE Communications Magazine}, author={Peuster, Manuel and Schneider, Stefan Balthasar and Zhao, Mengxuan and Xilouris, George and Trakadas, Panagiotis and Vicens, Felipe and Tavernier, Wouter and Soenen, Thomas and Vilalta, Ricard and Andreou, George and et al.}, year={2019}, pages={96–102} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 6512 |
@article{Rauchecker_Schryen_2019, title={Using High Performance Computing for Unrelated Parallel Machine Scheduling with Sequence-Dependent Setup Times: Development and Computational Evaluation of a Parallel Branch-and-Price Algorithm}, number={104}, journal={Computers & Operations Research}, publisher={Elsevier}, author={Rauchecker, Gerhard and Schryen, Guido}, year={2019}, pages={338–357} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 6514 |
@inproceedings{Schuhbeck_Siegfried_Dorner_Benlian_Scholz_Schryen_2019, place={Siegen, Germany}, title={Walking the Middle Path: How Medium Trade-off Exposure Leads to Higher Consumer Satisfaction in Recommender Agents}, booktitle={Proceedings of the 14. Internationale Tagung Wirtschaftsinformatik}, author={Schuhbeck, Veronika and Siegfried, Nils and Dorner, Verena and Benlian, Alexander and Scholz, Michael and Schryen, Guido}, year={2019}, pages={55–64} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 6860 |
@inproceedings{Afifi_Karl, place={Las Vegas}, title={Power Allocation with a Wireless Multi-cast Aware Routing for Virtual Network Embedding}, booktitle={2019 16th IEEE Annual Consumer Communications & Networking Conference (CCNC2019)}, publisher={IEEE}, author={Afifi, Haitham and Karl, Holger} }
LibreCat
| Files available
2019 | Report | LibreCat-ID: 16847 |
@book{Skitalinskaya_Klaff_Spliethöver_2019, place={Lugano, Switzerland}, series={CEUR Workshop Proceedings}, title={CLEF ProtestNews Lab 2019: Contextualized Word Embeddings for Event Sentence Detection and Event Extraction}, volume={2380}, author={Skitalinskaya, Gabriella and Klaff, Jonas and Spliethöver, Maximilian}, year={2019}, collection={CEUR Workshop Proceedings} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 11965 |
@inproceedings{Drude_Heymann_Haeb-Umbach_2019, title={Unsupervised training of neural mask-based beamforming}, booktitle={INTERSPEECH 2019, Graz, Austria}, author={Drude, Lukas and Heymann, Jahn and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 12874 |
@inproceedings{Drude_Hasenklever_Haeb-Umbach_2019, title={Unsupervised Training of a Deep Clustering Model for Multichannel Blind Source Separation}, booktitle={ICASSP 2019, Brighton, UK}, author={Drude, Lukas and Hasenklever, Daniel and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 12875 |
@inproceedings{Heymann_Drude_Haeb-Umbach_Kinoshita_Nakatani_2019, title={Joint Optimization of Neural Network-based WPE Dereverberation and Acoustic Model for Robust Online ASR}, booktitle={ICASSP 2019, Brighton, UK}, author={Heymann, Jahn and Drude, Lukas and Haeb-Umbach, Reinhold and Kinoshita, Keisuke and Nakatani, Tomohiro}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 12876 |
@inproceedings{Kurz_Gilitschenski_Pfaff_Drude_Hanebeck_Haeb-Umbach_Siegwart_2019, title={Directional Statistics and Filtering Using libDirectional}, booktitle={Journal of Statistical Software 89(4)}, author={Kurz, Gerhard and Gilitschenski, Igor and Pfaff, Florian and Drude, Lukas and Hanebeck, Uwe D. and Haeb-Umbach, Reinhold and Siegwart, Roland Y.}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 12882 |
@inproceedings{Afifi_Karl_Eikenberg_Mueller_Gansel_Makejkin_Hannemann_Schellenberg_2019, place={Marrakech, Morocco}, title={A Rapid Prototyping for Wireless Virtual Network Embedding using MARVELO}, booktitle={2019 IEEE Wireless Communications and Networking Conference (WCNC) (IEEE WCNC 2019) (Demo)}, author={Afifi, Haitham and Karl, Holger and Eikenberg, Sebastian and Mueller, Arnold and Gansel, Lars and Makejkin, Alexander and Hannemann, Kai and Schellenberg, Rafael}, year={2019} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 12890 |
@article{Drude_Haeb-Umbach_2019, title={Integration of Neural Networks and Probabilistic Spatial Models for Acoustic Blind Source Separation}, DOI={10.1109/JSTSP.2019.2912565}, journal={IEEE Journal of Selected Topics in Signal Processing}, author={Drude, Lukas and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Journal Article | LibreCat-ID: 12908 |
@article{Hammer_Ebers_Förstner_2019, title={Oblique quasi-lossless excitation of a thin silicon slab waveguide: a guided-wave variant of an anti-reflection coating}, volume={36}, DOI={10.1364/josab.36.002395}, journal={Journal of the Optical Society of America B}, author={Hammer, Manfred and Ebers, Lena and Förstner, Jens}, year={2019}, pages={2395} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 15371 |
@inproceedings{Peuster_Schneider_Karl_2019, place={Halifax}, title={The Softwarised Network Data Zoo}, booktitle={IEEE/IFIP 15th International Conference on Network and Service Management (CNSM)}, publisher={IEEE/IFIP}, author={Peuster, Manuel and Schneider, Stefan Balthasar and Karl, Holger}, year={2019} }
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15373 |
@inproceedings{Moro_Peuster_Karl_Capone_2019, place={Dallas}, title={FOP4: Function Offloading Prototyping in Heterogeneous and Programmable Network Scenarios}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)}, publisher={IEEE}, author={Moro, Daniele and Peuster, Manuel and Karl, Holger and Capone, Antonio}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15374 |
@inproceedings{Moro_Peuster_Karl_Capone_2019, place={Dallas}, title={Demonstrating FOP4: A Flexible Platform to Prototype NFV Offloading Scenarios}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)}, publisher={IEEE}, author={Moro, Daniele and Peuster, Manuel and Karl, Holger and Capone, Antonio}, year={2019} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 15416 |
@article{Baumeister_2019, title={New Quick And Easy Publication - Will be edited by LibreCat team}, journal={Quick And Easy Journal Title}, author={Baumeister, Jochen}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15812 |
@inproceedings{Heymann_Khe Chai Sim_2019, title={Improving CTC Using Stimulated Learning for Sequence Modeling}, booktitle={ICASSP 2019, Brighton, UK}, author={Heymann, Jahn and Khe Chai Sim, Bo Li}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15816 |
@inproceedings{Zorila_Boeddeker_Doddipatla_Haeb-Umbach_2019, title={An Investigation Into the Effectiveness of Enhancement in ASR Training and Test for Chime-5 Dinner Party Transcription}, booktitle={ASRU 2019, Sentosa, Singapore}, author={Zorila, Catalin and Boeddeker, Christoph and Doddipatla, Rama and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 15908 |
@inproceedings{Müller_Brinkmann_Poddebniak_Böck_Schinzel_Somorovsky_Schwenk_2019, place={Santa Clara, CA}, title={“Johnny, you are fired!” -- Spoofing OpenPGP and S/MIME Signatures in Emails}, booktitle={28th {USENIX} Security Symposium ({USENIX} Security 19)}, publisher={{USENIX} Association}, author={Müller, Jens and Brinkmann, Marcus and Poddebniak, Damian and Böck, Hanno and Schinzel, Sebastian and Somorovsky, Juraj and Schwenk, Jörg}, year={2019}, pages={1011–1028} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 15909 |
@inproceedings{Merget_Somorovsky_Aviram_Young_Fliegenschmidt_Schwenk_Shavitt_2019, place={Santa Clara, CA}, title={Scalable Scanning and Automatic Classification of TLS Padding Oracle Vulnerabilities}, booktitle={28th {USENIX} Security Symposium ({USENIX} Security 19)}, publisher={{USENIX} Association}, author={Merget, Robert and Somorovsky, Juraj and Aviram, Nimrod and Young, Craig and Fliegenschmidt, Janis and Schwenk, Jörg and Shavitt, Yuval}, year={2019}, pages={1029–1046} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14568 |
@inproceedings{Heindorf_Scholten_Engels_Potthast_2019, title={Debiasing Vandalism Detection Models at Wikidata (Extended Abstract)}, DOI={10.18420/inf2019_48}, booktitle={INFORMATIK}, author={Heindorf, Stefan and Scholten, Yan and Engels, Gregor and Potthast, Martin}, year={2019}, pages={289–290} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 14822 |
@inproceedings{Heitkaemper_Feher_Freitag_Haeb-Umbach_2019, title={A Study on Online Source Extraction in the Presence of Changing Speaker Positions}, booktitle={International Conference on Statistical Language and Speech Processing 2019, Ljubljana, Slovenia}, author={Heitkaemper, Jens and Feher, Thomas and Freitag, Michael and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 14824 |
@inproceedings{Martin-Donas_Heitkaemper_Haeb-Umbach_Gomez_Peinado_2019, title={Multi-Channel Block-Online Source Extraction based on Utterance Adaptation}, booktitle={INTERSPEECH 2019, Graz, Austria}, author={Martin-Donas, Juan M. and Heitkaemper, Jens and Haeb-Umbach, Reinhold and Gomez, Angel M. and Peinado, Antonio M.}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 14826 |
@inproceedings{Kanda_Boeddeker_Heitkaemper_Fujita_Horiguchi_Haeb-Umbach_2019, title={Guided Source Separation Meets a Strong ASR Backend: Hitachi/Paderborn University Joint Investigation for Dinner Party ASR}, booktitle={INTERSPEECH 2019, Graz, Austria}, author={Kanda, Naoyuki and Boeddeker, Christoph and Heitkaemper, Jens and Fujita, Yusuke and Horiguchi, Shota and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Working Paper | LibreCat-ID: 14902 |
@book{Mair_Scheffler_Senger_Sureth-Sloane_2019, series={TAF Wokring Paper Series}, title={Analyse der Veränderung der zwischenstaatlichen Gewinnaufteilung bei Einführung einer standardisierten Gewinnverteilungsmethode am Beispiel des Einsatzes von 3D-Druckern}, volume={42}, author={Mair, Christina and Scheffler, Wolfram and Senger, Isabell and Sureth-Sloane, Caren}, year={2019}, collection={TAF Wokring Paper Series} }
LibreCat
| Files available
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 14990 |
@article{Ebers_Hammer_Berkemeier_Menzel_Förstner_2019, title={Coupled microstrip-cavities under oblique incidence of semi-guided waves: a lossless integrated optical add-drop filter}, volume={2}, DOI={10.1364/osac.2.003288}, journal={OSA Continuum}, author={Ebers, Lena and Hammer, Manfred and Berkemeier, Manuel B. and Menzel, Alexander and Förstner, Jens}, year={2019}, pages={3288} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Journal Article | LibreCat-ID: 15002 |
@article{Waegeman_Dembczynski_Hüllermeier_2019, title={Multi-target prediction: a unifying view on problems and methods}, volume={33}, DOI={10.1007/s10618-018-0595-5}, number={2}, journal={Data Mining and Knowledge Discovery}, author={Waegeman, Willem and Dembczynski, Krzysztof and Hüllermeier, Eyke}, year={2019}, pages={293–324} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 15007 |
@inproceedings{Melnikov_Hüllermeier_2019, title={Learning to Aggregate: Tackling the Aggregation/Disaggregation Problem for OWA}, DOI={10.1016/j.jmva.2019.02.017}, booktitle={Proceedings ACML, Asian Conference on Machine Learning (Proceedings of Machine Learning Research, 101)}, author={Melnikov, Vitaly and Hüllermeier, Eyke}, year={2019} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 15011 |
@inproceedings{Tornede_Wever_Hüllermeier_2019, title={Algorithm Selection as Recommendation: From Collaborative Filtering to Dyad Ranking}, booktitle={Proceedings - 29. Workshop Computational Intelligence, Dortmund, 28. - 29. November 2019}, publisher={KIT Scientific Publishing, Karlsruhe}, author={Tornede, Alexander and Wever, Marcel Dominik and Hüllermeier, Eyke}, editor={Hoffmann, Frank and Hüllermeier, Eyke and Mikut, RalfEditors}, year={2019}, pages={135–146} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 16337 |
@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Visibility‐Aware Progressive Farthest Point Sampling on the GPU}, volume={38}, DOI={10.1111/cgf.13848}, number={7}, journal={Computer Graphics Forum}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2019}, pages={413–424} }
LibreCat
| DOI
| Download (ext.)
2019 | Preprint | LibreCat-ID: 16341 |
@article{Brandt_Jähn_Fischer_Meyer auf der Heide_2019, title={Rendering of Complex Heterogenous Scenes using Progressive Blue Surfels}, journal={arXiv:1904.08225}, author={Brandt, Sascha and Jähn, Claudius and Fischer, Matthias and Meyer auf der Heide, Friedhelm}, year={2019} }
LibreCat
| Download (ext.)
| arXiv
2019 | Mastersthesis | LibreCat-ID: 13128 |
@book{Bröcher_2019, title={Rational Secure Multiparty Computation}, publisher={Universität Paderborn}, author={Bröcher, Henrik}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13138 |
@inproceedings{Gottschalk_Rittmeier_Engels_2019, place={Cham}, series={Lecture Notes in Business Information Processing}, title={Intertwined Development of Business Model and Product Functions for Mobile Applications: A Twin Peak Feature Modeling Approach}, volume={370}, DOI={10.1007/978-3-030-33742-1_16}, number={1}, booktitle={Software Business}, publisher={Springer International Publishing}, author={Gottschalk, Sebastian and Rittmeier, Florian and Engels, Gregor}, editor={Hyrynsalmi, Sami and Suoranta, Mari and Nguyen-Duc, Anh and Tyrväinen, Pasi and Abrahamsson, PekkaEditors}, year={2019}, pages={192–207}, collection={Lecture Notes in Business Information Processing} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Book (Editor) | LibreCat-ID: 13139 |
@book{Rezat_Fan_Hattermann_Schumacher_Wuschke_2019, place={Paderborn}, title={Proceedings of the Third International Conference on Mathematics Textbook Research and Development: 16-19 September 2019 Paderborn, Germany}, DOI={10.17619/UNIPB/1-768}, publisher={Universitätsbibliothek Paderborn}, year={2019} }
LibreCat
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13271 |
@inproceedings{von Neumann_Kinoshita_Delcroix_Araki_Nakatani_Haeb-Umbach_2019, title={All-neural Online Source Separation, Counting, and Diarization for Meeting Analysis}, booktitle={ICASSP 2019, Brighton, UK}, author={von Neumann, Thilo and Kinoshita, Keisuke and Delcroix, Marc and Araki, Shoko and Nakatani, Tomohiro and Haeb-Umbach, Reinhold}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13292 |
@inproceedings{Schneider_Peuster_Hannemann_Behnke_Müller_Bök_Karl_2019, place={Dallas, TX, USA}, title={“Producing Cloud-Native”: Smart Manufacturing Use Cases on Kubernetes}, booktitle={IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN) Demo Track}, publisher={IEEE}, author={Schneider, Stefan Balthasar and Peuster, Manuel and Hannemann, Kai and Behnke, Daniel and Müller, Marcel and Bök, Patrick-Benjamin and Karl, Holger}, year={2019} }
LibreCat
| Files available
2019 | Conference Paper | LibreCat-ID: 13443 |
@inproceedings{Redder_Ramaswamy_Quevedo_2019, title={Deep reinforcement learning for scheduling in large-scale networked control systems}, booktitle={Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems}, author={Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}, year={2019} }
LibreCat
| Files available
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 10232 |
@inproceedings{Wever_Mohr_Tornede_Hüllermeier_2019, title={Automating Multi-Label Classification Extending ML-Plan}, author={Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}, year={2019} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10282 |
@article{Lin_Huang_Zhao_Wei_Zentgraf_Wang_Li_2019, title={Dynamic control of mode modulation and spatial multiplexing using hybrid metasurfaces}, volume={27}, DOI={10.1364/oe.27.018740}, number={13}, journal={Optics Express}, author={Lin, Zemeng and Huang, Lingling and Zhao, Ruizhe and Wei, Qunshuo and Zentgraf, Thomas and Wang, Yongtian and Li, Xiaowei}, year={2019}, pages={18740–18750} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 10306 |
@book{Porzenheim_2019, title={Post-Quantum Secure Group Signatures}, author={Porzenheim, Laurens Alexander}, year={2019} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 10325 |
@article{Peuster_Marchetti_García de Blas_Karl_2019, title={Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing}, DOI={10.1186/s13638-019-1493-2}, journal={EURASIP Journal on Wireless Communications and Networking}, publisher={Springer}, author={Peuster, Manuel and Marchetti, Michael and García de Blas, Gerardo and Karl, Holger}, year={2019} }
LibreCat
| Files available
| DOI
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 13554 |
@inproceedings{Blömer_Löken_2019, series={LNCS}, title={Personal Cross-Platform Reputation}, volume={11738}, DOI={10.1007/978-3-030-31511-5_9}, booktitle={Security and Trust Management, STM 2019}, author={Blömer, Johannes and Löken, Nils}, year={2019}, collection={LNCS} }
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 13557 |
@inproceedings{Blömer_Löken_2019, series={LNCS}, title={Dynamic Searchable Encryption with Access Control}, volume={12056}, booktitle={12th International Symposium on Foundations and Practice of Security, FPS 2019}, publisher={Springer}, author={Blömer, Johannes and Löken, Nils}, year={2019}, collection={LNCS} }
LibreCat
| Download (ext.)
2019 | Mastersthesis | LibreCat-ID: 13648 |
@book{Scholz_2019, title={Implementation and Comparison of Elliptic Curve Algorithms in Java}, publisher={Universität Paderborn}, author={Scholz, Swante}, year={2019} }
LibreCat
| Files available
2019 | Journal Article | LibreCat-ID: 30093 |
@article{Ficara_2019, title={Hegel on the Naturalness of Logic}, journal={Argumenta}, author={Ficara, Elena}, year={2019} }
LibreCat
| Download (ext.)
2019 | Conference Paper | LibreCat-ID: 7626 |
@inproceedings{Schubert_Hermann_Bodden_2019, title={PhASAR: An Inter-Procedural Static Analysis Framework for C/C++}, volume={II}, DOI={10.1007/978-3-030-17465-1_22}, booktitle={Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2019}, pages={393–410} }
LibreCat
| Files available
| DOI
| Download (ext.)