Models: Concepts, Theory, Logic, Reasoning and Semantics

Publications

2018

Christoph Beierle, Steven Kutsch, Gabriele Kern-Isberner
From Concepts in Non-Monotonic Reasoning to High-Level Implementations Using Abstract State Machines and Functional Programming. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Alexander Bienemann
Misunderstandings and Their Overwhelming Success. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Attila Sali
Recent Developments in Armstrong Codes. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Bernhard Thalheim
Normal Models and Their Modelling Matrix. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Antje Raab-Düsterhöft
Integrating Social Media Information into the Digital Forensic Investigation Process. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres
Polynomially Bounded Valuations in Higher-Order Logics over Relational Databases. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Andreea Buga, Sorana Tania Nemes, Atif Mashkoor
Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Jean-Pierre Jacquot, Atif Mashkoor
The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Hui Ma, Zhaojiang Chang, Alexandre Sawczuk da Silva, Sven Hartmann
QoS-Aware Web Service Composition Using Graph Databases. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link
Extremal Combinatorics of SQL Keys. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Ajantha Dahanayake, Bernhard Thalheim
Development of Conceptual Models and the Knowledge Background Provided by the Rigor Cycle in Design Science. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Verena Geist, Felix Kossak, Christine Natschläger, Christa Illibauer, Thomas Ziebermayr, Atif Mashkoor
Hagenberg Business Process Modelling Method - Towards a Homogeneous Framework for Integrating Process, Actor, Dialogue, and Data Models. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Richard Banach, Wen Su
Cyberphysical Systems: A Behind-the-Scenes Foundational View. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Yannic Ole Kropp, Bernhard Thalheim
Viewpoint-Oriented Data Management in Collaborative Research Projects. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)
Stephen J. Hegner
Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions. Models: Concepts, Theory, Logic, Reasoning and Semantics (2018)