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 G, Petrasch T, Späth J, Bodden E. AuthCheck: Program-State Analysis for Access-Control Vulnerabilities. In: Lecture Notes in Computer Science. ; 2020. doi:10.1007/978-3-030-54997-8_34
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17084
Weidmann N, Anjorin A. Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming. In: Wehrheim H, Cabot J, eds. Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020. Cham: Springer; 2020. doi:10.1007/978-3-030-45234-6_16
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 17085
Schwichtenberg B, Schwichtenberg S, Küster J, Zimmermann O, Engels G. Modeling and Analyzing Architectural Diversity of Open Platforms. In: Advanced Information Systems Engineering. Cham; 2020. doi:10.1007/978-3-030-49435-3_3
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 28997
Dallmeier F, Drees JP, Gellert K, et al. Forward-Secure 0-RTT Goes Live: Implementation and Performance Analysis in QUIC. In: Cryptology and Network Security. Springer-Verlag; 2020:211-231. doi:10.1007/978-3-030-65411-5_11
LibreCat | DOI
 

2020 | Conference Paper | LibreCat-ID: 20706
zur Heiden P. Considering Context in Design Science Research: A Systematic Literature Review. In: 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 R. Review Hagengruber Le Ru Émilie Du Châtelet Philosophe . H-France Net. 2020;158.
LibreCat | Download (ext.)
 

2020 | Conference Paper | LibreCat-ID: 45848
Mahmood Y, Meier A. Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic. In: 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 CA. Informationskompetenz durch E-Learning? Durch Lernvideos nach Literatur suchen. die hochschullehre. 2020;(6).
LibreCat | Files available | Download (ext.)
 

2020 | Book Chapter | LibreCat-ID: 47261
Haney JM, Furman SM, Acar Y. Smart Home Security and Privacy Mitigations: Consumer Perceptions, Practices, and Challenges. In: 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 M. Rezension zu: Bernardo Bátiz-Lazo: Cash and Dash. How ATMs and Computers Changed Banking. Vierteljahrschrift für Sozial- und Wirtschaftsgeschichte. 2020;107(4):541–543.
LibreCat
 

Filters and Search Terms

issn%3D0302-9743

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed