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.

285 Publications


2020 | Book Chapter | LibreCat-ID: 23377
Piskachev, Goran, et al. “AuthCheck: Program-State Analysis for Access-Control Vulnerabilities.” Lecture Notes in Computer Science, 2020, doi:10.1007/978-3-030-54997-8_34.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
Weidmann, Nils, and Anthony Anjorin. “Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming.” Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, edited by Heike Wehrheim and Jordi Cabot, Springer, 2020, doi:10.1007/978-3-030-45234-6_16.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
Schwichtenberg, Bahar, et al. “Modeling and Analyzing Architectural Diversity of Open Platforms.” Advanced Information Systems Engineering, 2020, doi:10.1007/978-3-030-49435-3_3.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Dallmeier, Fynn, et al. “Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC.” Cryptology and Network Security, Springer-Verlag, 2020, pp. 211–31, doi:10.1007/978-3-030-65411-5_11.
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
zur Heiden, Philipp. “Considering Context in Design Science Research: A Systematic Literature Review.” Designing for Digital Transformation. Co-Creating Services with Citizens and Industry, 2020, doi:10.1007/978-3-030-64823-7_21.
LibreCat | DOI
 

2020 | Book Review | LibreCat-ID: 21294 | OA
Hagengruber, Ruth. “Review Hagengruber Le Ru Émilie Du Châtelet Philosophe .” H-France Net, vol. 158, 2020.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 45848
Mahmood, Yasir, and Arne Meier. “Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic.” Lecture Notes in Computer Science, Springer International Publishing, 2020, doi:10.1007/978-3-030-39951-1_10.
LibreCat | DOI
 

2020 | Journal Article | LibreCat-ID: 33299 | OA
Hahn, Charlotte Anna. “Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen.” die hochschullehre, no. 6, 2020.
LibreCat | Files available | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 47261
Haney, Julie M., et al. “Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges.” HCI for Cybersecurity, Privacy and Trust, Springer International Publishing, 2020, doi:10.1007/978-3-030-50309-3_26.
LibreCat | DOI
 

2020 | Book Review | LibreCat-ID: 51816
Schmitt, Martin. “Rezension Zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking.” Vierteljahrschrift Für Sozial- Und Wirtschaftsgeschichte, vol. 107, no. 4, 2020, pp. 541–543.
LibreCat
 

Filters and Search Terms

issn%3D0302-9743

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed