Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Leinberger, Martin; Lämmel, Ralf; Staab, Steffen
LambdaDL: Syntax and Semantics (Preliminary Report)S. 1 - 15
Sofronie-Stokkermans, Viorica
Interpolation in local theory extensionsS. 1 - 31
Dupressoir, François; Gordon, Andrew D.; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic ProtocolsS. 1 - 39
Damm, Werner; Horbach, Matthias; Sofronie-Stokkermans, Viorica
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid AutomataS. 1 - 50
Faber, Johannes; Ihlemann, Carsten; Jacobs, Swen et al.
Automatic Verification of Parametric Specifications with Complex TopologiesS. 1 - 16
Großer, Katharina; Rukavitsyna, Marina; Jürjens, Jan
A Comparative Evaluation of Requirement Template Systems (Summary)Rick Rabiser;Manuel Wimmer;Iris Groher;Andreas Wortmann;Bianca Wiesmayr (Hrsg). Software Engineering 2024 SE Proceedings: 26. Februar-1. März, 2024; Linz, Österreich. Bonn: Gesellschaft für Informatik 2024 S. 47 - 48
Li, Yuelin; He, Pengfei; Yuan, Xiaojun et al.
Developing and evaluating a gamified information retrieval system for Generation ZLibrary & Information Science Research. Bd. 46. H. 1. Oxford: Elsevier 2024 S. 101270
von Gladiss, Anselm; Ahmadian, Amir Shayan; Jürjens, Jan
Image reconstruction in a data space for MPIInternational Journal on Magnetic Particle Imaging. Bd. 10. H. 1 Suppl.1. Lübeck: Infinite Science Publishing 2024
Böltz, Lucas; Sofronie-Stokkermans, Viorica; Frey, Hannes
On the Verification of the Correctness of a Subgraph Construction Algorithm.VMCAI (1). 2024 S. 303 - 325
Clough, Paul; Harvey, Morgan; Hopfgartner, Frank
Proceedings of the 2024 Conference on Human Information Interaction and Retrieval. CHIIR 24. March 10-14, 2024. Sheffild, United KingdomNew York, NY: ACM Association for Computing Machinery 2024