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.
9750 Publications
2018 | Journal Article | LibreCat-ID: 51389
Classical and quantum resonances for hyperbolic surfaces
J. Hilgert, T. Weich, C. Guillarmou, Math. Ann. 370 (2018) 1231–1275.
LibreCat
J. Hilgert, T. Weich, C. Guillarmou, Math. Ann. 370 (2018) 1231–1275.
2018 | Book Chapter | LibreCat-ID: 51462
Von Fermat und Descartes zu Gauß und Cauchy - Der Wandel der Mathematik in der Zeit der Aufklärung
J. Hilgert, in: T. Nieland (Ed.), Erscheinung und Vernunft - Wirklichkeitszugänge der Aufklärung, Frank&Timme, Berlin, 2018.
LibreCat
J. Hilgert, in: T. Nieland (Ed.), Erscheinung und Vernunft - Wirklichkeitszugänge der Aufklärung, Frank&Timme, Berlin, 2018.
2018 | Preprint | LibreCat-ID: 51523 | 
Boundary Values of Eigenfunctions on Riemannian Symmetric Spaces
J. Hilgert, S. Hansen, A. Parthasarathy, (2018).
LibreCat
| Download (ext.)
J. Hilgert, S. Hansen, A. Parthasarathy, (2018).
2018 | Preprint | LibreCat-ID: 51524
High frequency limits for invariant Ruelle densities
J. Hilgert, C. Guillarmou, T. Weich, (2018).
LibreCat
| Download (ext.)
J. Hilgert, C. Guillarmou, T. Weich, (2018).
2018 | Book Review | LibreCat-ID: 51571
Winfried Scharlau: Das Glück, Mathematiker zu sein – Friedrich Hirzebruch und seine Zeit (Springer Spektrum 2017)
J. Hilgert, Mathematische Semesterberichte 65 (2018) 307–309.
LibreCat
J. Hilgert, Mathematische Semesterberichte 65 (2018) 307–309.
2018 | Book Review | LibreCat-ID: 51572
Lemmermeyer, F: Quadratische Zahlkörper – Eine Einführung mit vielen Beispielen (Springer Spektrum 2017)
J. Hilgert, Mathematische Semesterberichte 65 (2018) 129–131.
LibreCat
J. Hilgert, Mathematische Semesterberichte 65 (2018) 129–131.
2018 | Book Review | LibreCat-ID: 51570
Barry Mazur und William Stein: Prime Numbers and the Riemann Hypothesis
J. Hilgert, Mathematische Semesterberichte 65 (2018) 311–313.
LibreCat
J. Hilgert, Mathematische Semesterberichte 65 (2018) 311–313.
2018 | Book Review | LibreCat-ID: 51574
Joseph, G.G. Indian Mathematics. Engaging with the World from Ancient to Modern Times (World Scientific 2016)
J. Hilgert, Mathematische Semesterberichte 65 (2018) 121–123.
LibreCat
J. Hilgert, Mathematische Semesterberichte 65 (2018) 121–123.
2018 | Book Review | LibreCat-ID: 51573
Diaconis, P., B. Skyrms: Ten great ideas about chance (Princeton University Press 2018)
J. Hilgert, Mathematische Semesterberichte 65 (2018) 125–127.
LibreCat
J. Hilgert, Mathematische Semesterberichte 65 (2018) 125–127.
2018 | Conference Paper | LibreCat-ID: 6523
Lifetime Extension of Photovoltaic Modules by Influencing the Module Temperature Using Phase Change Material
D. Weber, M.I. Rafsan Jani, M. Grabo, O. Wallscheid, T. Klaus, S. Krauter, J. Böcker, in: World Conference on Photovoltaic Energy Conversion (WCPEC-7), 45th IEEE PVSC, 28th PVSEC, 34th EU PVSEC., Waikoloa Village, Big Island, Hawaii (USA), 2018.
LibreCat
| DOI
D. Weber, M.I. Rafsan Jani, M. Grabo, O. Wallscheid, T. Klaus, S. Krauter, J. Böcker, in: World Conference on Photovoltaic Energy Conversion (WCPEC-7), 45th IEEE PVSC, 28th PVSEC, 34th EU PVSEC., Waikoloa Village, Big Island, Hawaii (USA), 2018.
2018 | Habilitation | LibreCat-ID: 45974 |
Numerical analysis of partial differential equations on and of evolving surfaces
B. Kovács, Numerical Analysis of Partial Differential Equations on and of Evolving Surfaces, Tübingen, Germany, 2018.
LibreCat
| Download (ext.)
B. Kovács, Numerical Analysis of Partial Differential Equations on and of Evolving Surfaces, Tübingen, Germany, 2018.
2018 | Journal Article | LibreCat-ID: 45950
Discrete maximum principles for nonlinear elliptic finite element problems on surfaces with boundary
J. Karátson, B. Kovács, S. Korotov, IMA Journal of Numerical Analysis 40 (2018) 1241–1265.
LibreCat
| DOI
J. Karátson, B. Kovács, S. Korotov, IMA Journal of Numerical Analysis 40 (2018) 1241–1265.
2018 | Journal Article | LibreCat-ID: 45949
Discrete maximum principles for nonlinear elliptic finite element problems on surfaces with boundary
J. Karátson, B. Kovács, S. Korotov, IMA Journal of Numerical Analysis 40 (2018) 1241–1265.
LibreCat
| DOI
J. Karátson, B. Kovács, S. Korotov, IMA Journal of Numerical Analysis 40 (2018) 1241–1265.
2018 | Journal Article | LibreCat-ID: 45947
Linearly implicit full discretization of surface evolution
B. Kovács, C. Lubich, Numerische Mathematik 140 (2018) 121–152.
LibreCat
| DOI
B. Kovács, C. Lubich, Numerische Mathematik 140 (2018) 121–152.
2018 | Journal Article | LibreCat-ID: 45951
Computing arbitrary Lagrangian Eulerian maps for evolving surfaces
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.
LibreCat
| DOI
B. Kovács, Numerical Methods for Partial Differential Equations 35 (2018) 1093–1112.
2018 | Conference Paper | LibreCat-ID: 53278
Improper Signaling for OFDM Underlay Cognitive Radio Systems
M. Soleymani, C. Lameiro, P.J. Schreier, I. Santamaria, in: 2018 IEEE Statistical Signal Processing Workshop (SSP), IEEE, 2018.
LibreCat
| DOI
M. Soleymani, C. Lameiro, P.J. Schreier, I. Santamaria, in: 2018 IEEE Statistical Signal Processing Workshop (SSP), IEEE, 2018.
2018 | Conference Paper | LibreCat-ID: 51706
Guter Raumlehreunterricht in der Volksschule nach dem Arbeitsschulprinzip am Beispiel von Ernst Heywang und Karl Pietzker
G. Werth, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2018.
LibreCat
G. Werth, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2018.
2018 | Book Chapter | LibreCat-ID: 44686
Present Research on Mathematics Textbooks and Teachers’ Resources in ICME-13: Conclusion and Perspectives
S. Rezat, J. Visnovska, L. Trouche, C. Qi, L. Fan, in: L. Fan, L. Trouche, C. Qi, S. Rezat, J. Visnovska (Eds.), Research on Mathematics Textbooks and Teachers’ Resources: Advances and Issues, Springer, Cham, 2018.
LibreCat
| DOI
S. Rezat, J. Visnovska, L. Trouche, C. Qi, L. Fan, in: L. Fan, L. Trouche, C. Qi, S. Rezat, J. Visnovska (Eds.), Research on Mathematics Textbooks and Teachers’ Resources: Advances and Issues, Springer, Cham, 2018.
2018 | Journal Article | LibreCat-ID: 41945
Textaufgaben verstehen. Lesen und Variieren komplexer Textaufgaben mit sprachlich-mathematischen Strategien.
E. Topalović, K. Kuzminykh, S. Rezat, In: Mathematik Lehren (2018) 36–45.
LibreCat
E. Topalović, K. Kuzminykh, S. Rezat, In: Mathematik Lehren (2018) 36–45.
2018 | Conference Paper | LibreCat-ID: 31949
Examining peer-interaction during individual work with a digital textbook in a primary mathematics classroom
S. Rezat, U. Häsel-Weide, in: H.-G. Weigand, A. Clark-Wilson, A. Donevska, E. Todorova, E. Faggiano, N. Grønbæk, J. Trgalova, University of Copenhagen (Eds.), PROCEEDINGS of the Fith ERME TOPIC CONFERENCE (ETC 5) on Mathematics Education in the Digital Age (MEDA), Copenhagen, 2018, pp. 209–216.
LibreCat
S. Rezat, U. Häsel-Weide, in: H.-G. Weigand, A. Clark-Wilson, A. Donevska, E. Todorova, E. Faggiano, N. Grønbæk, J. Trgalova, University of Copenhagen (Eds.), PROCEEDINGS of the Fith ERME TOPIC CONFERENCE (ETC 5) on Mathematics Education in the Digital Age (MEDA), Copenhagen, 2018, pp. 209–216.
2018 | Journal Article | LibreCat-ID: 48321
Theoretical frameworks for designing and analyzing language-responsive mathematics teaching–learning arrangements
L. Wessel, K. Erath, ZDM 50 (2018) 1053–1064.
LibreCat
| DOI
L. Wessel, K. Erath, ZDM 50 (2018) 1053–1064.
2018 | Journal Article | LibreCat-ID: 48383
Weil Sprache zählt - Sprachsensibel Mathematikunterricht planen, durchführen und auswerten
L. Wessel, A. Büchter, S. Prediger, Mathematik lehren 206 (2018) 2–7.
LibreCat
L. Wessel, A. Büchter, S. Prediger, Mathematik lehren 206 (2018) 2–7.
2018 | Journal Article | LibreCat-ID: 48402
Mathematik und Unterrichtssprache lernen: Antworten für den Unterricht mit neu Zugewanderten
L. Wessel, F. Sprütte, mathematik lehren 206 (2018) 18–22.
LibreCat
L. Wessel, F. Sprütte, mathematik lehren 206 (2018) 18–22.
2018 | Book Chapter | LibreCat-ID: 48404
Entwicklung und Erforschung von e-Selbstlernmodulen im Service-Bereich Mathematik
L. Wessel, J. Moser-Fendel, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht 2018, 2018, pp. 2107–2108.
LibreCat
L. Wessel, J. Moser-Fendel, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht 2018, 2018, pp. 2107–2108.
2018 | Journal Article | LibreCat-ID: 48403
Strukturierte Aufgabenfolgen. Begründen üben und Ableitungsregeln trainieren
L. Wessel, mathematik lehren 209 (2018) 38–42.
LibreCat
L. Wessel, mathematik lehren 209 (2018) 38–42.
2018 | Book Chapter | LibreCat-ID: 48997
Wirkungen von Mathematikvorkursen auf Einstellungen und Selbstkonzepte von Studierenden
E. Lankeit, R. Biehler, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 1135–1138.
LibreCat
E. Lankeit, R. Biehler, in: Fachgruppe Didaktik der Mathematik der Universität Paderborn (Ed.), Beiträge zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 1135–1138.
2018 | Book (Editor) | LibreCat-ID: 53595
Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT
O. Bringmann, W. Ecker, W. Müller, D. Müller-Gridschneder, eds., Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT, Dresden, Germany, 2018.
LibreCat
O. Bringmann, W. Ecker, W. Müller, D. Müller-Gridschneder, eds., Proceedings of the 1st International Workshop on Embedded Software for Industrial IoT - ESIIT, Dresden, Germany, 2018.
2018 | Book Chapter | LibreCat-ID: 8572
CAS in der Hochschullehre - Ein Blick in die Praxis
A. Frühbis-Krüger, G. Kemper, W. Koepf, M. Liebendörfer, in: Beiträge Zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 83–84.
LibreCat
A. Frühbis-Krüger, G. Kemper, W. Koepf, M. Liebendörfer, in: Beiträge Zum Mathematikunterricht 2018, WTM-Verlag, Münster, 2018, pp. 83–84.
2018 | Journal Article | LibreCat-ID: 8571
Minisymposium CAS in der Hochschullehre - ein Blick in die Praxis
A. Frühbis-Krüger, M. Liebendörfer, Computeralgebra-Rundbrief (2018).
LibreCat
A. Frühbis-Krüger, M. Liebendörfer, Computeralgebra-Rundbrief (2018).
2017 | Dissertation | LibreCat-ID: 19604
Parallel fixed parameter tractable problems
S. Li, Parallel Fixed Parameter Tractable Problems, Universität Paderborn, 2017.
LibreCat
| Files available
| DOI
S. Li, Parallel Fixed Parameter Tractable Problems, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 2851
Leasing with Uncertainty
C. Markarian, in: International Conference on Operations Research (OR), 2017.
LibreCat
| Files available
| DOI
C. Markarian, in: International Conference on Operations Research (OR), 2017.
2017 | Journal Article | LibreCat-ID: 24152
Analysis of gradient descent methods with nondiminishing bounded errors
A. Ramaswamy, S. Bhatnagar, IEEE Transactions on Automatic Control 63 (2017) 1465–1471.
LibreCat
A. Ramaswamy, S. Bhatnagar, IEEE Transactions on Automatic Control 63 (2017) 1465–1471.
2017 | Journal Article | LibreCat-ID: 24153
A generalization of the Borkar-Meyn theorem for stochastic recursive inclusions
A. Ramaswamy, S. Bhatnagar, Mathematics of Operations Research 42 (2017) 648–661.
LibreCat
A. Ramaswamy, S. Bhatnagar, Mathematics of Operations Research 42 (2017) 648–661.
2017 | Conference Paper | LibreCat-ID: 24215
Low-Power wake up receiver based on Surface Acoustic Wave Correlator
S. Abughannam, C. Scheytt, in: Kleinheubacher Tagung 2017, Miltenberg, Germany, 2017, p. 47.
LibreCat
| Files available
S. Abughannam, C. Scheytt, in: Kleinheubacher Tagung 2017, Miltenberg, Germany, 2017, p. 47.
2017 | Journal Article | LibreCat-ID: 24216
100 Gbps Wireless System and Circuit Design Using Parallel Spread-Spectrum Sequencing
C. Scheytt, A.R. Javed, E.R. Bammidi, K. KrishneGowda, I. Kallfass, R. Kraemer, Frequenz* Journal of RF-Engineering and Telecommunications 71 (2017) 399–414.
LibreCat
| Files available
C. Scheytt, A.R. Javed, E.R. Bammidi, K. KrishneGowda, I. Kallfass, R. Kraemer, Frequenz* Journal of RF-Engineering and Telecommunications 71 (2017) 399–414.
2017 | Conference Paper | LibreCat-ID: 24217
System design of a mixed signal PSSS transdeiver using a linear ultra-broadband analog correlator for the receiver baseband designed in 130nm SiGe BiCMOS technology
A.R. Javed, C. Scheytt, K. Karthik, R. Kramer, in: IEEE EUROCON 2017-17th International Conference on Smart Technologies, 2017, pp. 228–233.
LibreCat
| Files available
| DOI
A.R. Javed, C. Scheytt, K. Karthik, R. Kramer, in: IEEE EUROCON 2017-17th International Conference on Smart Technologies, 2017, pp. 228–233.
2017 | Patent | LibreCat-ID: 24218
Folge-Halte-Schaltung
C. Scheytt, (2017).
LibreCat
| Files available
C. Scheytt, (2017).
2017 | Conference Paper | LibreCat-ID: 24219
SHF RFID System for Automatic Process Optimization with Intelligent Tools
P. Kuhn, S. Haddadian, F. Meyer, M. Hoffmann, A. Grabmaier, C. Scheytt, T. Kaiser, in: Smart SysTech 2017; European Conference on Smart Objects, Systems and Technologies, VDE ITG, München, Germany, 2017.
LibreCat
| Files available
P. Kuhn, S. Haddadian, F. Meyer, M. Hoffmann, A. Grabmaier, C. Scheytt, T. Kaiser, in: Smart SysTech 2017; European Conference on Smart Objects, Systems and Technologies, VDE ITG, München, Germany, 2017.
2017 | Conference Paper | LibreCat-ID: 24220
Automatisierte Fehlerinjektion zur Entwicklung sicherer Mikrocontrolleranwendungen auf der Basis virtueller Plattformen
P. Adelt, B. Koppelmann, W. Müller, D. Mueller-Gritschneder, B. Kleinjohann, C. Scheytt, in: Tagungsband des Wissenschaftsforums Intelligente Technische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Germany, Paderborn, 2017.
LibreCat
| Files available
| DOI
P. Adelt, B. Koppelmann, W. Müller, D. Mueller-Gritschneder, B. Kleinjohann, C. Scheytt, in: Tagungsband des Wissenschaftsforums Intelligente Technische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Germany, Paderborn, 2017.
2017 | Book | LibreCat-ID: 24221
Wissenschaftsforum Intelligente Technische Systeme (WInTeSys)
J. Gausemeier, E. Bodden, F. Dressler, R. Dumitrescu, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.
LibreCat
| Files available
| DOI
J. Gausemeier, E. Bodden, F. Dressler, R. Dumitrescu, F. Meyer auf der Heide, C. Scheytt, A. Trächtler, Wissenschaftsforum Intelligente Technische Systeme (WInTeSys), Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 24222
Energy Harvesting Analysis for Next Generation Passive RFID Tags
S. Haddadian, C. Scheytt, R. Kramer, in: ANALOG 2017; 16th ITG/GMM-Symposium, Technische Universität Berlin, Berlin, Germany, 2017, p. 18.
LibreCat
| Files available
S. Haddadian, C. Scheytt, R. Kramer, in: ANALOG 2017; 16th ITG/GMM-Symposium, Technische Universität Berlin, Berlin, Germany, 2017, p. 18.
2017 | Conference Paper | LibreCat-ID: 24223
SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study
L. Wu, S. Abughannam, W. Müller, C. Scheytt, W. Ecker, in: 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), Lausanne, Switzerland, 2017, p. 68.
LibreCat
| Files available
L. Wu, S. Abughannam, W. Müller, C. Scheytt, W. Ecker, in: 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), Lausanne, Switzerland, 2017, p. 68.
2017 | Conference Paper | LibreCat-ID: 24224
ANALISA - A Tool for Static Instruction Set Analysis
P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, C. Scheytt, in: Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation, Lausanne, CH, 2017.
LibreCat
| Files available
P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, C. Scheytt, in: Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation, Lausanne, CH, 2017.
2017 | Conference Paper | LibreCat-ID: 24225
An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries
P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, C. Scheytt, in: 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , Lausanne, Switzerland, 2017, p. 44.
LibreCat
| Files available
P. Adelt, B. Koppelmann, W. Müller, B. Kleinjohann, C. Scheytt, in: 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , Lausanne, Switzerland, 2017, p. 44.
2017 | Journal Article | LibreCat-ID: 24227
A 120-GHz Electrical Interferometer for Contactless Permittivity Measurements With Direct Digital Read-Out
J. Wessel, K. Schmalz, C. Scheytt, D. Kissinger, IEEE Microwave and Wireless Components Letters 27 (2017) 198–200.
LibreCat
| Files available
| DOI
J. Wessel, K. Schmalz, C. Scheytt, D. Kissinger, IEEE Microwave and Wireless Components Letters 27 (2017) 198–200.
2017 | Conference Paper | LibreCat-ID: 24398
Scheduling Access to Shared Space in Multi-robot Systems
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
LibreCat
| DOI
Y. Khaluf, C. Markarian, P. Simoens, A. Reina, in: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017), Cham, 2017.
2017 | Journal Article | LibreCat-ID: 26426
Challenges for Annotation Concepts in Music
A. Hadjakos, Joachim Iffland, R. Keil, A. Oberhoff, J. Veit, International Journal of Humanities and Arts Computing 11:2 (2017) 255–275.
LibreCat
A. Hadjakos, Joachim Iffland, R. Keil, A. Oberhoff, J. Veit, International Journal of Humanities and Arts Computing 11:2 (2017) 255–275.
2017 | Book Chapter | LibreCat-ID: 26427
Learning {\ "o} natural infrastructures: A technology-centered approach to the development of new educational potentials
R. Keil, in: Education in the Digital Age - Balance Sheet and Perspectives, Heinz Nixdorf MuseumsForum, 2017, pp. 46–72.
LibreCat
R. Keil, in: Education in the Digital Age - Balance Sheet and Perspectives, Heinz Nixdorf MuseumsForum, 2017, pp. 46–72.
2017 | Bachelorsthesis | LibreCat-ID: 3291
Microservice-based Execution Environment for Service Compositions
A. Schürmann, Microservice-Based Execution Environment for Service Compositions, Universität Paderborn, 2017.
LibreCat
A. Schürmann, Microservice-Based Execution Environment for Service Compositions, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 3325
Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
LibreCat
| Files available
| DOI
V. Melnikov, E. Hüllermeier, in: Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017, KIT Scientific Publishing, 2017.
2017 | Mastersthesis | LibreCat-ID: 3512
Testing Java Method Contracts
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
LibreCat
P. Börding, Testing Java Method Contracts, Universität Paderborn, 2017.
2017 | Journal Article | LibreCat-ID: 3523 |
Radar backscattering from a large-grain cometary coma: numerical simulation
S. Dogra, Y. Grynko, E. Zubko, J. Förstner, Astronomy & Astrophysics 608 (2017) A20.
LibreCat
| Files available
| DOI
S. Dogra, Y. Grynko, E. Zubko, J. Förstner, Astronomy & Astrophysics 608 (2017) A20.
2017 | Bachelorsthesis | LibreCat-ID: 3580
An FPGA Accelerator for Checking Resolution Proofs
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
LibreCat
T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.
2017 | Book Chapter | LibreCat-ID: 3743
Guided Wave Interaction in Photonic Integrated Circuits — A Hybrid Analytical/Numerical Approach to Coupled Mode Theory
M. Hammer, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, 204th ed., Springer, 2017, pp. 77–105.
LibreCat
M. Hammer, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, 204th ed., Springer, 2017, pp. 77–105.
2017 | Conference Paper | LibreCat-ID: 3751
Unit Segmentation of Argumentative Texts
Y. Ajjour, W.-F. Chen, J. Kiesel, H. Wachsmuth, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 118–128.
LibreCat
| Download (ext.)
Y. Ajjour, W.-F. Chen, J. Kiesel, H. Wachsmuth, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 118–128.
2017 | Conference Paper | LibreCat-ID: 3803
Patterns of Argumentation Strategies across Topics
K. Al Khatib, H. Wachsmuth, M. Hagen, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 1362–1368.
LibreCat
| Download (ext.)
K. Al Khatib, H. Wachsmuth, M. Hagen, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 1362–1368.
2017 | Conference Paper | LibreCat-ID: 3809
WAT-SL: A Customizable Web Annotation Tool for Segment Labeling
J. Kiesel, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017, pp. 13–16.
LibreCat
| Download (ext.)
J. Kiesel, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics, 2017, pp. 13–16.
2017 | Conference Paper | LibreCat-ID: 3817
"Page Rank'' for Argument Relevance
H. Wachsmuth, B. Stein, Y. Ajjour, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–1127.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, Y. Ajjour, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 1117–1127.
2017 | Conference Paper | LibreCat-ID: 3819
Building an Argument Search Engine for the Web
H. Wachsmuth, M. Potthast, K. Al-Khatib, Y. Ajjour, J. Puschmann, J. Qu, J. Dorsch, V. Morari, J. Bevendorff, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 49–59.
LibreCat
| Download (ext.)
H. Wachsmuth, M. Potthast, K. Al-Khatib, Y. Ajjour, J. Puschmann, J. Qu, J. Dorsch, V. Morari, J. Bevendorff, B. Stein, in: Proceedings of the 4th Workshop on Argument Mining, 2017, pp. 49–59.
2017 | Conference Paper | LibreCat-ID: 3820
The Impact of Modeling Overall Argumentation with Tree Kernels
H. Wachsmuth, G. Da San Martino, D. Kiesel, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 2369–2379.
LibreCat
| Download (ext.)
H. Wachsmuth, G. Da San Martino, D. Kiesel, B. Stein, in: Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing, 2017, pp. 2369–2379.
2017 | Journal Article | LibreCat-ID: 3828 |
Hybrid coupled-mode modeling in 3D: perturbed and coupled channels, and waveguide crossings
M. Hammer, S. Alhaddad, J. Förstner, Journal of the Optical Society of America B 34 (2017) 613–624.
LibreCat
| Files available
| DOI
M. Hammer, S. Alhaddad, J. Förstner, Journal of the Optical Society of America B 34 (2017) 613–624.
2017 | Journal Article | LibreCat-ID: 3830
Spiral modes supported by circular dielectric tubes and tube segments
L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017) 49:176.
LibreCat
| Files available
| DOI
L. Ebers, M. Hammer, J. Förstner, Optical and Quantum Electronics 49 (2017) 49:176.
2017 | Journal Article | LibreCat-ID: 3832 |
Direction-tunable enhanced emission from a subwavelength metallic double-nanoslit structure
X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25 (2017) 13207–13214.
LibreCat
| Files available
| DOI
X. Song, N. Wang, M. Yan, C. Lin, J. Förstner, W. Yang, Optics Express 25 (2017) 13207–13214.
2017 | Book Chapter | LibreCat-ID: 3836
Simulation of Second Harmonic Generation from Photonic Nanostructures Using the Discontinuous Galerkin Time Domain Method
Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.
LibreCat
| Files available
| DOI
Y. Grynko, J. Förstner, in: A. Agrawal (Ed.), Recent Trends in Computational Photonics, Springer International Publishing, Cham, 2017, pp. 261–284.
2017 | Journal Article | LibreCat-ID: 3872
Sade: competitive MAC under adversarial SINR
A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing 31 (2017) 241–254.
LibreCat
| DOI
A. Ogierman, A. Richa, C. Scheideler, S. Schmid, J. Zhang, Distributed Computing 31 (2017) 241–254.
2017 | Conference Paper | LibreCat-ID: 3881
Computational Argumentation Quality Assessment in Natural Language
H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G. Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–187.
LibreCat
| Download (ext.)
H. Wachsmuth, N. Naderi, Y. Hou, Y. Bilu, V. Prabhakaran, T.A. Thijm, G. Hirst, B. Stein, in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers, 2017, pp. 176–187.
2017 | Journal Article | LibreCat-ID: 3882
A Universal Model for Discourse-Level Argumentation Analysis
H. Wachsmuth, B. Stein, Special Section of the ACM Transactions on Internet Technology: Argumentation in Social Media (2017) 1–24.
LibreCat
| Download (ext.)
H. Wachsmuth, B. Stein, Special Section of the ACM Transactions on Internet Technology: Argumentation in Social Media (2017) 1–24.
2017 | Conference Paper | LibreCat-ID: 3883
Argumentation Quality Assessment: Theory vs. Practice
H. Wachsmuth, N. Naderi, I. Habernal, Y. Hou, G. Hirst, I. Gurevych, B. Stein, in: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2017, pp. 250–255.
LibreCat
| DOI
| Download (ext.)
H. Wachsmuth, N. Naderi, I. Habernal, Y. Hou, G. Hirst, I. Gurevych, B. Stein, in: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2017, pp. 250–255.
2017 | Conference Paper | LibreCat-ID: 3904
Webis at the CLEF 2017 Dynamic Search Lab
M. Hagen, J. Kiesel, M. Alshomary, B. Stein, in: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, 2017.
LibreCat
| Download (ext.)
M. Hagen, J. Kiesel, M. Alshomary, B. Stein, in: Working Notes of CLEF 2017 - Conference and Labs of the Evaluation Forum, 2017.
2017 | Dissertation | LibreCat-ID: 2908
Soft Clustering Algorithms - Theoretical and Practical Improvements
K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
K. Bujna, Soft Clustering Algorithms - Theoretical and Practical Improvements, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 2967 |
Subtleties in Security Definitions for Predicate Encryption with Public Index
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
LibreCat
| Files available
| DOI
| Download (ext.)
J. Blömer, G. Liske, in: Proceedings of the International Conference of Mathematical Aspects of Computer and Information Sciences (MACIS), Springer International Publishing, Cham, 2017, pp. 438–453.
2017 | Journal Article | LibreCat-ID: 3108
Authenticated Confidential Channel Establishment and the Security of TLS-DHE
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, J. Cryptology (2017) 1276--1324.
LibreCat
| DOI
T. Jager, F. Kohlar, S. Schäge, J. Schwenk, J. Cryptology (2017) 1276--1324.
2017 | Conference Paper | LibreCat-ID: 3109
Simple Security Definitions for and Constructions of 0-RTT Key Exchange
B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38.
LibreCat
| DOI
B. Hale, T. Jager, S. Lauer, J. Schwenk, in: Applied Cryptography and Network Security - 15th International Conference, ACNS 2017, Kanazawa, Japan, July 10-12, 2017, Proceedings, 2017, pp. 20--38.
2017 | Conference Paper | LibreCat-ID: 3110
0-RTT Key Exchange with Full Forward Secrecy
F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
LibreCat
| DOI
F. Günther, B. Hale, T. Jager, S. Lauer, in: Advances in Cryptology - EUROCRYPT 2017 - 36th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Paris, France, April 30 - May 4, 2017, Proceedings, Part III, 2017, pp. 519--548.
2017 | Conference Paper | LibreCat-ID: 3111
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
LibreCat
| DOI
T. Jager, M. Stam, R. Stanley-Oakes, B. Warinschi, in: Theory of Cryptography - 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part I, 2017, pp. 409--441.
2017 | Conference Paper | LibreCat-ID: 3155
Policy Dependent and Independent Information Flow Analyses
M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.
LibreCat
| DOI
M. Töws, H. Wehrheim, in: Z. Duan, L. Ong (Eds.), Formal Methods and Software Engineering - 19th International Conference on Formal Engineering Methods, {ICFEM} 2017, Xi’an, China, November 13-17, 2017, Proceedings, 2017, pp. 362--378.
2017 | Conference Paper | LibreCat-ID: 3156
Value-Based or Conflict-Based? Opacity Definitions for STMs
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
LibreCat
| DOI
J. König, H. Wehrheim, in: D. Van Hung, D. Kapur (Eds.), Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings, 2017, pp. 118--135.
2017 | Conference Paper | LibreCat-ID: 2741
From Radio Design to System Evaluations for Ultra-Reliable and Low-Latency Communication
S. Ali Ashraf, Y.-P.E. Wang, S. Eldessoki, B. Holfeld, D. Parruca, M. Serror, J. Gross, in: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017, Dresden, 2017.
LibreCat
| Download (ext.)
S. Ali Ashraf, Y.-P.E. Wang, S. Eldessoki, B. Holfeld, D. Parruca, M. Serror, J. Gross, in: Proceedings of 23th European Wireless Conference 2017, 17- 19.05.2017, Dresden, 2017.
2017 | Conference Paper | LibreCat-ID: 112
Congestion Games with Complementarities
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, L. Leder, A. Skopalik, in: Proceedings of the 10th International Conference on Algorithms and Complexity (CIAC), 2017, pp. 222--233.
2017 | Conference Paper | LibreCat-ID: 113
Computing Approximate Pure Nash Equilibria in Shapley Value Weighted Congestion Games
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
LibreCat
| Files available
| DOI
| arXiv
M. Feldotto, M. Gairing, G. Kotsialou, A. Skopalik, in: Proceedings of the 13th International Conference on Web and Internet Economics (WINE), 2017.
2017 | Conference Paper | LibreCat-ID: 114
Compact Proof Witnesses
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
LibreCat
| Files available
| DOI
M.-C. Jakobs, H. Wehrheim, in: C. Barrett, M. Davies, T. Kahsai (Eds.), NASA Formal Methods: 9th International Symposium, 2017, pp. 389–403.
2017 | Conference Paper | LibreCat-ID: 115
Certification Matters for Service Markets
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
LibreCat
| Files available
M.-C. Jakobs, J. Krämer, D. van Straaten, T. Lettmann, in: T.P. Marcelo De Barros, Janusz Klink,Tadeus Uhl (Ed.), The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), 2017, pp. 7–12.
2017 | Mastersthesis | LibreCat-ID: 1157
A Framework for the Synthesis of Approximate Circuits
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
LibreCat
L.M. Witschen, A Framework for the Synthesis of Approximate Circuits, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 1158
Annotation Challenges for Reconstructing the Structural Elaboration of Middle Low German
N. Seemann, M.-L. Merten, M. Geierhos, D. Tophinke, E. Hüllermeier, in: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics (ACL), Stroudsburg, PA, USA, 2017, pp. 40–45.
LibreCat
| DOI
N. Seemann, M.-L. Merten, M. Geierhos, D. Tophinke, E. Hüllermeier, in: Proceedings of the Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, Social Sciences, Humanities and Literature, Association for Computational Linguistics (ACL), Stroudsburg, PA, USA, 2017, pp. 40–45.
2017 | Dissertation | LibreCat-ID: 116
CCA-Security for Predicate Encryption Schemes
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
LibreCat
| DOI
| Download (ext.)
G. Liske, CCA-Security for Predicate Encryption Schemes, Universität Paderborn, 2017.
2017 | Conference Paper | LibreCat-ID: 17652
Filtering Undesirable Flows in Networks
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| DOI
G. Polevoy, S. Trajanovski, P. Grosso, C. de Laat, in: Combinatorial Optimization and Applications: 11th International Conference, COCOA 2017, Shanghai, China, December 16-18, 2017, Proceedings, Part I, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Conference Paper | LibreCat-ID: 17653
Reciprocation Effort Games
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
2017 | Conference Paper | LibreCat-ID: 17654
Competition between Cooperative Projects
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
LibreCat
G. Polevoy, M.M. de Weerdt, in: Proceedings of the 29th Benelux Conference on Artificial Intelligence, Springer, 2017.
2017 | Conference Paper | LibreCat-ID: 1767
Conditional Value-at-Risk: Structure and Complexity of Equilibria
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
LibreCat
| Files available
| DOI
M. Mavronicolas, B. Monien, in: Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT 2017), 2017, pp. 131--143.
2017 | Preprint | LibreCat-ID: 17811
Gathering Anonymous, Oblivious Robots on a Grid
M. Fischer, D. Jung, F. Meyer auf der Heide, ArXiv:1702.03400 (2017).
LibreCat
M. Fischer, D. Jung, F. Meyer auf der Heide, ArXiv:1702.03400 (2017).
2017 | Conference Paper | LibreCat-ID: 2343 |
Searchable Encryption with Access Control
N. Löken, in: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, ACM Press, 2017.
LibreCat
| Files available
| DOI
| Download (ext.)
N. Löken, in: Proceedings of the 12th International Conference on Availability, Reliability and Security - ARES ’17, ACM Press, 2017.
2017 | Conference Paper | LibreCat-ID: 2344 |
Attribute-Based Encryption as a Service for Access Control in Large-Scale Organizations
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
LibreCat
| Files available
| DOI
J. Blömer, P. Günther, V. Krummel, N. Löken, in: Foundations and Practice of Security, Springer International Publishing, Cham, 2017, pp. 3–17.
2017 | Book Chapter | LibreCat-ID: 2381
Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
LibreCat
| DOI
S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.
2017 | Book Chapter | LibreCat-ID: 20552
Industrial Security by Design
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
LibreCat
| DOI
C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.
2017 | Journal Article | LibreCat-ID: 20553
Time for Addressing Software Security Issues: Prediction Models and Impacting Factors
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
LibreCat
| Files available
| DOI
L. Ben Othmane, G. Chehrazi, E. Bodden, P. Tsalovski, A.D. Brucker, Data Science and Engineering 2 (2017) 107–124.
2017 | Report | LibreCat-ID: 20554
Self-adaptive static analysis
E. Bodden, Self-Adaptive Static Analysis, 2017.
LibreCat
| Download (ext.)
E. Bodden, Self-Adaptive Static Analysis, 2017.
2017 | Report | LibreCat-ID: 20555
CrySL: Validating Correct Usage of Cryptographic APIs
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs, 2017.
LibreCat
| Download (ext.)
S. Krüger, J. Späth, K. Ali, E. Bodden, M. Mezini, CrySL: Validating Correct Usage of Cryptographic APIs, 2017.
2017 | Journal Article | LibreCat-ID: 20557
Tracking Load-time Configuration Options
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
LibreCat
| DOI
| Download (ext.)
M. Lillack, C. Kästner, E. Bodden, IEEE Transactions on Software Engineering PP (2017) 1–1.
2017 | Conference Paper | LibreCat-ID: 20558
CogniCrypt: Supporting Developers in using Cryptography
S. Krüger, S. Nadi, M. Reif, K. Ali, M. Mezini, E. Bodden, F. Göpfert, F. Günther, C. Weinert, D. Demmler, R. Kamath, in: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
LibreCat
| Download (ext.)
S. Krüger, S. Nadi, M. Reif, K. Ali, M. Mezini, E. Bodden, F. Göpfert, F. Günther, C. Weinert, D. Demmler, R. Kamath, in: International Conference on Automated Software Engineering (ASE 2017), Tool Demo Track, 2017.
2017 | Conference Paper | LibreCat-ID: 20559
Just-in-time Static Analysis
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.
LibreCat
| DOI
| Download (ext.)
L.N.Q. Do, K. Ali, B. Livshits, E. Bodden, J. Smith, E. Murphy-Hill, in: Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, 2017, pp. 307–317.