default search action
60 Birthday: Klaus-Dieter Schewe , 2018
- Atif Mashkoor, Qing Wang, Bernhard Thalheim:
Models: Concepts, Theory, Logic, Reasoning and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of his 60th Birthday. College Publications 2018, ISBN 978-1-84890-276-3
Conceptual Modeling
- 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: 3-28 - Antje Raab-Düsterhöft:
Integrating Social Media Information into the Digital Forensic Investigation Process. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 29-43 - Bernhard Thalheim:
Normal Models and Their Modelling Matrix. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 44-74
Databases
- Sven Hartmann, Markus Kirchberg, Henning Koehler, Uwe Leck, Sebastian Link:
Extremal Combinatorics of SQL Keys. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 75-91 - 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: 92-121 - Stephen J. Hegner:
Tolerant Constraint-Preserving Snapshot Isolation: Extended Concurrency for Interactive Transactions. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 122-145 - Yannic Ole Kropp, Bernhard Thalheim:
Viewpoint-Oriented Data Management in Collaborative Research Projects. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 146-176
Rigorous Methods
- Richard Banach, Wen Su:
Cyberphysical Systems: A Behind-the-Scenes Foundational View. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 177-201 - Jean-Pierre Jacquot, Atif Mashkoor:
The Role of Validation in Refinement-Based Formal Software Development. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 202-219 - 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: 220-241 - 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: 242-263 - Andreea Buga, Sorana Tania Nemes, Atif Mashkoor:
Addressing Client Needs for Cloud Computing using Formal Foundations. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 264-285 - 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: 286-310
Miscellaneous
- Attila Sali:
Recent Developments in Armstrong Codes. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 311-329 - Alexander Bienemann:
Misunderstandings and Their Overwhelming Success. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 330-335 - 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: 336-351
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.