Klaus-Dieter Schewe

327 papers A* 1A 11B 16C 54Misc 25Journal 105Unranked 87

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Behavioural Theory of Reflective Algorithms II: Reflective Parallel Algorithms. CoRR Klaus-Dieter Schewe, Flavio Ferrarotti
2025	C	`conf`	Behavioural Theory of Reflective Parallel Algorithms. ABZ Klaus-Dieter Schewe, Flavio Ferrarotti
2025	C	`conf`	Insignificant Choice Polynomial Time - A Logic Capturing PTIME. WoLLIC Klaus-Dieter Schewe
2025	J	`jnl`	TREBL - A Relative Complete Temporal Event-B Logic. Part I: Theory. CoRR Klaus-Dieter Schewe, Flavio Ferrarotti, Peter Rivière, Neeraj Kumar Singh, Guillaume Dupont, Yamine Aït Ameur
2024	—	`conf`	A Complete Fragment of LTL(EB). FoIKS Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
2024	J	`jnl`	A Complete Fragment of LTL(EB). CoRR Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
2024	J	`jnl`	Choiceless Polynomial Space. CoRR Flavio Ferrarotti, Klaus-Dieter Schewe
2024	C	`conf`	Modal Extensions of the Logic of Abstract State Machines. ABZ Flavio Ferrarotti, Klaus-Dieter Schewe
2023	C	`conf`	Behavioural Theory of Reflective Algorithms. ABZ Flavio Ferrarotti, Klaus-Dieter Schewe
2023	C	`conf`	Exploration of Reflective ASMs for Security. ABZ Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe
2023	J	`jnl`	Refined Fuzzy Profile Matching. Acta Cybern. Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
2022	J	`jnl`	Behavioural theory of reflective algorithms I: Reflective sequential algorithms. Sci. Comput. Program. Klaus-Dieter Schewe, Flavio Ferrarotti
2022	—	`conf`	Fast and Exact Subgraph Isomorphism Querying: Using Embedding and Searching Techniques. ACAI Zihao Li, Jiazhen Xu, Baoyi He, Klaus-Dieter Schewe
2022	Misc	`conf`	Practical Theory of Computation on Structures. TASE Klaus-Dieter Schewe
2022	J	`jnl`	Uniform Polylogarithmic Space Completeness. Frontiers Comput. Sci. Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2021	J	`jnl`	A logic for reflective ASMs. Sci. Comput. Program. Klaus-Dieter Schewe, Flavio Ferrarotti, Senén González
2021	—	`conf`	Computation on Structures - Behavioural Theory, Logic, Complexity. Logic, Computation and Rigorous Methods Klaus-Dieter Schewe
2021	J	`jnl`	Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice. Frontiers Comput. Sci. Klaus-Dieter Schewe
2021	J	`jnl`	Exploiting Spline Models for the Training of Fully Connected Layers in Neural Network. CoRR Kanya Mo, Shen Zheng, Xiwei Wang, Jinghua Wang, Klaus-Dieter Schewe
2021	—	`ed.`	Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday Logic, Computation and Rigorous Methods Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe
2021	C	`conf`	Realisability of Control-State Choreographies. MEDI Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2021	C	`conf`	Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. ABZ Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe
2021	C	`conf`	Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. ABZ Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe
2020	J	`jnl`	A Behavioural Theory of Recursive Algorithms. CoRR Egon Börger, Klaus-Dieter Schewe
2020	J	`jnl`	A Behavioural Theory of Recursive Algorithms. Fundam. Informaticae Egon Börger, Klaus-Dieter Schewe
2020	C	`conf`	A Characterization of Distributed ASMs with Partial-Order Runs. ABZ Egon Börger, Klaus-Dieter Schewe
2020	C	`conf`	A Logic for Reflective ASMs. ABZ Klaus-Dieter Schewe, Flavio Ferrarotti
2020	J	`jnl`	A restricted second-order logic for non-deterministic poly-logarithmic time. Log. J. IGPL Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020	J	`jnl`	Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms. CoRR Klaus-Dieter Schewe, Flavio Ferrarotti
2020	J	`jnl`	Completeness in Polylogarithmic Time and Space. CoRR Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020	C	`conf`	Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe
2020	J	`jnl`	Insignificant Choice Polynomial Time. CoRR Klaus-Dieter Schewe
2020	—	`conf`	Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. FoIKS Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2020	—	`conf`	Realisability of Choreographies. FoIKS Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2020	J	`jnl`	Realisability of Control-State Choreographies. CoRR Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
2019	J	`jnl`	A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time. CoRR Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2019	J	`jnl`	BSP abstract state machines capture bulk synchronous parallel computations. Sci. Comput. Program. Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
2019	C	`conf`	Concurrent Computing with Shared Replicated Memory. MEDI Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
2019	J	`jnl`	Concurrent Computing with Shared Replicated Memory. CoRR Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
2019	C	`conf`	Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. ICFEM Klaus-Dieter Schewe
2019	—	`book`	Design and Development of Web Information Systems Klaus-Dieter Schewe, Bernhard Thalheim
2019	C	`ed.`	Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings MEDI Klaus-Dieter Schewe, Neeraj Kumar Singh
2019	J	`jnl`	Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. CoRR Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2019	J	`jnl`	Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic. Sci. Comput. Program. Christoph Beierle, Klaus-Dieter Schewe
2018	J	`jnl`	A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Ann. Math. Artif. Intell. Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2018	C	`conf`	Abstract State Machines with Exact Real Arithmetic. ABZ Christoph Beierle, Klaus-Dieter Schewe
2018	J	`jnl`	Accurate and efficient profile matching in knowledge bases. Data Knowl. Eng. Jorge Martinez-Gil, Alejandra Lorena Paoletti, Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
2018	J	`jnl`	An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
2018	C	`conf`	Capturing Membrane Computing by ASMs. ABZ Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2018	J	`jnl`	Conceptual Modelling of Service-Oriented Software Systems. Enterp. Model. Inf. Syst. Archit. Klaus-Dieter Schewe, Károly Bósa, Andreea Buga, Sorana Tania Nemes
2018	C	`conf`	Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
2018	C	`conf`	Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. ADBIS Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
2018	C	`conf`	Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. MEDI Klaus-Dieter Schewe
2018	J	`jnl`	Introduction to the ABZ 2016 Special issue. Sci. Comput. Program. Michael J. Butler, Klaus-Dieter Schewe
2018	—	`conf`	Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis. FoIKS Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
2018	C	`conf`	Systematic Refinement of Abstract State Machines with Higher-Order Logic. ABZ Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018	Misc	`conf`	The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. SYNASC Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018	J	`jnl`	The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. CoRR Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
2018	J	`jnl`	Towards functional safety and security for adaptive and flexible business processes. J. Softw. Evol. Process. Verena Geist, Christine Natschläger, Christa Illibauer, Klaus-Dieter Schewe
2017	—	`conf`	A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
2017	C	`conf`	A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
2017	J	`jnl`	A Logic for Non-Deterministic Parallel Abstract State Machines. CoRR Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2017	J	`jnl`	A complete logic for Database Abstract State Machines1. Log. J. IGPL Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2017	J	`jnl`	Accurate and Efficient Profile Matching in Knowledge Bases. CoRR Jorge Martinez-Gil, Alejandra Lorena Paoletti, Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
2017	J	`jnl`	Communication in Abstract State Machines. J. Univers. Comput. Sci. Egon Börger, Klaus-Dieter Schewe
2017	A	`conf`	Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. ER Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe
2017	C	`conf`	Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
2017	Misc	`conf`	Concurrent Reflective Abstract State Machines. SYNASC Klaus-Dieter Schewe
2017	—	`conf`	Evolving concurrent systems: behavioural theory and logic. ACSW Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An
2017	J	`jnl`	Serialisable Multi-Level Transaction Control: A Specification and Verification. CoRR Egon Börger, Klaus-Dieter Schewe, Qing Wang
2017	J	`jnl`	Specifying Transaction Control to Serialize Concurrent Program Executions. CoRR Egon Börger, Klaus-Dieter Schewe
2017	J	`jnl`	The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
2017	—	`conf`	Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. ER Workshops Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe
2016	J	`jnl`	A Complete Logic for Non-Deterministic Database Transformations. CoRR Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
2016	—	`conf`	A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2016	—	`conf`	A Smart Approach for Matching, Learning and Querying Information from the Human Resources Domain. ADBIS (Short Papers and Workshops) Jorge Martinez-Gil, Alejandra Lorena Paoletti, Klaus-Dieter Schewe
2016	J	`jnl`	A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2016	C	`ed.`	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings ABZ Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró
2016	J	`jnl`	Concurrent abstract state machines. Acta Informatica Egon Börger, Klaus-Dieter Schewe
2016	—	`book`	Hagenberg Business Process Modelling Method Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky, Klaus-Dieter Schewe
2016	J	`jnl`	Introduction to the ABZ 2014 special issue. Sci. Comput. Program. Yamine Aït Ameur, Klaus-Dieter Schewe
2016	C	`conf`	Maintenance of Profile Matchings in Knowledge Bases. MEDI Jorge Martinez-Gil, Alejandra Lorena Paoletti, Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
2016	—	`ed.`	New Trends in Databases and Information Systems - ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings ADBIS (Short Papers and Workshops) Mirjana Ivanovic, Bernhard Thalheim, Barbara Catania, Klaus-Dieter Schewe, Marite Kirikova, Petr Saloun, Ajantha Dahanayake, Tania Cerquitelli, Elena Baralis, Pietro Michiardi
2016	—	`conf`	Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches. FoIKS Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
2016	J	`jnl`	Serialisable multi-level transaction control: A specification and verification. Sci. Comput. Program. Egon Börger, Klaus-Dieter Schewe, Qing Wang
2016	—	`conf`	Top-k Matching Queries for Filter-Based Profile Matching in Knowledge Bases. DEXA (2) Alejandra Lorena Paoletti, Jorge Martinez-Gil, Klaus-Dieter Schewe
2016	—	`conf`	Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
2016	—	`ed.`	Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing Trans. Large-Scale Data- and Knowledge-Centered Systems Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Klaus-Dieter Schewe, Károly Bósa
2015	J	`jnl`	A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis. CoRR Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
2015	—	`ch.`	Codesign of Web Information Systems. Correct Software in Web Applications and Web Services Bernhard Thalheim, Klaus-Dieter Schewe
2015	—	`book`	Correct Software in Web Applications and Web Services Correct Software in Web Applications and Web Services Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
2015	J	`jnl`	Deontic BPMN: a powerful extension of BPMN with a trusted model transformation. Softw. Syst. Model. Christine Natschläger, Felix Kossak, Klaus-Dieter Schewe
2015	—	`conf`	Extending Knowledge-Based Profile Matching in the Human Resources Domain. DEXA (2) Alejandra Lorena Paoletti, Jorge Martinez-Gil, Klaus-Dieter Schewe
2015	J	`jnl`	Horizontal Business Process Model Integration. Trans. Large Scale Data Knowl. Centered Syst. Klaus-Dieter Schewe, Verena Geist, Christa Illibauer, Felix Kossak, Christine Natschläger-Carpella, Theodorich Kopetzky, Jan Kubovy, Bernhard Freudenthaler, Thomas Ziebermayr
2015	C	`conf`	Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid. MEDI Klaus-Dieter Schewe, Qing Wang, Mariam Rady
2015	—	`conf`	Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality. DASFAA (1) Qing Wang, Klaus-Dieter Schewe, Woods Wang
2015	Misc	`conf`	Rigorous Semantics and Renement for Business Processes. ICTERI Klaus-Dieter Schewe
2015	—	`ch.`	What Constitutes a Service on the Web? Correct Software in Web Applications and Web Services Klaus-Dieter Schewe, Qing Wang
2014	—	`book`	A Rigorous Semantics for BPMN 2.0 Process Diagrams Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe
2014	J	`jnl`	A theoretical framework for knowledge-based entity resolution. Theor. Comput. Sci. Klaus-Dieter Schewe, Qing Wang
2014	—	`ed.`	ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings ABZ (Case Study) Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe
2014	C	`ed.`	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings ABZ Yamine Aït Ameur, Klaus-Dieter Schewe
2014	J	`jnl`	Conceptual Modelling with Specific Focus on Service-Oriented Systems. J. Univers. Comput. Sci. Flavio Ferrarotti, Georg Grossmann, Klaus-Dieter Schewe, Qing Wang
2014	C	`conf`	Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ Egon Börger, Klaus-Dieter Schewe
2013	J	`jnl`	Complete Conceptual Schema Algebras. Fundam. Informaticae Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2013	C	`conf`	Conceptual Modelling of Collaboration for Information Systems. EJC Bernhard Thalheim, Hannu Jaakkola, Takafumi Nakanishi, Shiori Sasaki, Klaus-Dieter Schewe
2013	—	`conf`	Horizontal and Vertical Business Process Model Integration - (Abstract). DEXA (1) Klaus-Dieter Schewe
2013	J	`jnl`	Knowledge-aware identity services. Knowl. Inf. Syst. Klaus-Dieter Schewe, Qing Wang
2013	C	`conf`	Query Handling in Geometric Conceptual Modelling. EJC Hui Ma, Klaus-Dieter Schewe
2013	—	`ed.`	Semantics in Data and Knowledge Bases, 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers SDKB Klaus-Dieter Schewe, Bernhard Thalheim
2013	—	`ed.`	Transactions on Large-Scale Data- and Knowledge-Centered Systems X - Special Issue on Database- and Expert-Systems Applications Trans. Large-Scale Data- and Knowledge-Centered Systems Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou
2013	Misc	`conf`	Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment. APCCM Dominic Looser, Hui Ma, Klaus-Dieter Schewe
2012	J	`jnl`	A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Christine Natschläger, Klaus-Dieter Schewe
2012	C	`conf`	A Simplified Parallel ASM Thesis. ABZ Klaus-Dieter Schewe, Qing Wang
2012	B	`conf`	A Temporalised Belief Logic for Reasoning about Authentication Protocols. TrustCom Ji Ma, Klaus-Dieter Schewe
2012	J	`jnl`	A formal model for the interoperability of service clouds. Serv. Oriented Comput. Appl. Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2012	—	`ed.`	Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday Conceptual Modelling and Its Theoretical Foundations Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe
2012	J	`jnl`	Conceptual Modelling of Services. J. Univers. Comput. Sci. Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2012	—	`ed.`	Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I DEXA (1) Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou
2012	—	`ed.`	Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II DEXA (2) Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou
2012	—	`conf`	Dedication to a Theory of Modelling - Bernhard Thalheim's Scientific Journey. Conceptual Modelling and Its Theoretical Foundations Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe
2012	—	`conf`	On the Decidability and Complexity of Identity Knowledge Representation. DASFAA (1) Klaus-Dieter Schewe, Qing Wang
2012	—	`conf`	Preferential Refinements of Abstract State Machines for Service Mediators. QSIC Klaus-Dieter Schewe, Qing Wang
2012	—	`conf`	Synchronous Parallel Database Transformations. FoIKS Klaus-Dieter Schewe, Qing Wang
2012	—	`conf`	Third International Workshop on Conceptual Modelling of Services (CMS 2012). ER Workshops Klaus-Dieter Schewe, Qing Wang
2012	—	`ed.`	Transactions on Large-Scale Data- and Knowledge-Centered Systems VI - Special Issue on Database- and Expert-Systems Applications Trans. Large-Scale Data- and Knowledge-Centered Systems Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou
2011	J	`jnl`	Challenges in Cloud Computing. Scalable Comput. Pract. Exp. Klaus-Dieter Schewe, Károly Bósa, Harald Lampesberger, Ji Ma, Mariam Rady, Boris Vleju
2011	J	`jnl`	Cloud Warehousing. J. Univers. Comput. Sci. Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2011	—	`ch.`	Conceptual Geometric Modelling. Handbook of Conceptual Modeling Hui Ma, Klaus-Dieter Schewe
2011	—	`ch.`	Conceptual Modelling of Application Stories. Handbook of Conceptual Modeling Antje Düsterhöft, Klaus-Dieter Schewe
2011	—	`ed.`	Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part II DEXA (2) Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou
2011	—	`ed.`	Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I DEXA (1) Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou
2011	—	`ed.`	Semantics in Data and Knowledge Bases - 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers SDKB Klaus-Dieter Schewe, Bernhard Thalheim
2011	J	`jnl`	Weak Functional Dependencies on Trees with Restructuring. Acta Cybern. Attila Sali, Klaus-Dieter Schewe
2010	J	`jnl`	A Customised ASM Thesis for Database Transformations. Acta Cybern. Klaus-Dieter Schewe, Qing Wang
2010	—	`conf`	A Formal Model for Service Mediators. ER Workshops Klaus-Dieter Schewe, Qing Wang
2010	—	`conf`	About Semantics. SDKB Klaus-Dieter Schewe, Bernhard Thalheim
2010	J	`jnl`	Evolving Theories of Conceptual Modelling. J. Univers. Comput. Sci. Markus Kirchberg, Klaus-Dieter Schewe
2010	J	`jnl`	Fragmentation of XML Documents. J. Inf. Data Manag. Hui Ma, Klaus-Dieter Schewe
2010	C	`conf`	NULL 'Value' Algebras and Logics. EJC Bernhard Thalheim, Klaus-Dieter Schewe
2010	C	`conf`	Partial Updates in Complex-Value Databases. EJC Klaus-Dieter Schewe, Qing Wang
2010	—	`conf`	Pragmatics of Storyboarding - Web Information Systems Portfolios. WEBIST (2) Klaus-Dieter Schewe, Bernhard Thalheim
2010	J	`jnl`	Revisiting "Fragmentation of XML Documents". J. Inf. Data Manag. Hui Ma, Klaus-Dieter Schewe
2010	J	`jnl`	Using Meta-Structures in Database Design. Informatica (Slovenia) Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim
2010	C	`conf`	Using XML for cloud specification and XQuery for service discovery. iiWAS Hui Ma, Klaus-Dieter Schewe, Huayang Xie
2010	—	`conf`	Web Information Systems Portfolios: A Contribution to Pragmatics. WEBIST (Selected Papers) Klaus-Dieter Schewe, Bernhard Thalheim
2010	J	`jnl`	XML Database Transformations. J. Univers. Comput. Sci. Klaus-Dieter Schewe, Qing Wang
2009	J	`jnl`	26th International Conference on Conceptual Modeling (ER 2007). Data Knowl. Eng. Christine Parent, Klaus-Dieter Schewe, Veda C. Storey
2009	J	`jnl`	A Characterisation of Coincidence Ideals for Complex Values. J. Univers. Comput. Sci. Attila Sali, Klaus-Dieter Schewe
2009	C	`conf`	A Fixed-Point Query Language for XML. EJC Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim
2009	C	`conf`	A service-oriented approach to web warehousing. iiWAS Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2009	J	`jnl`	A theory of data-intensive software services. Serv. Oriented Comput. Appl. Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2009	—	`conf`	Algebraic Meta-structure Handling of Huge Database Schemata. ER Workshops Hui Ma, René Noack, Klaus-Dieter Schewe
2009	C	`conf`	An abstract model for service provision, search and composition. APSCC Hui Ma, Klaus-Dieter Schewe, Qing Wang
2009	Misc	`conf`	Conceptual Application Domain Modelling. APCCM Bernhard Thalheim, Klaus-Dieter Schewe, Hui Ma
2009	J	`jnl`	Customising Web Information Systems According to User Preferences. World Wide Web Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2009	J	`jnl`	Dynamic Data Warehouse Design with Abstract State Machines. J. Univers. Comput. Sci. Jane Zhao, Klaus-Dieter Schewe, Henning Köhler
2009	A	`conf`	Geometrically Enhanced Conceptual Modelling. ER Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
2009	J	`jnl`	Logic, Abstract State Machines and Databases. J. Univers. Comput. Sci. Klaus-Dieter Schewe
2009	—	`conf`	Modelling and Maintenance of Very Large Database Schemata Using Meta-structures. UNISCON Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
2009	—	`conf`	Preface to ETheCoM 2009. ER Workshops Markus Kirchberg, Klaus-Dieter Schewe
2009	Misc	`conf`	Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery. ADC Jayson Speer, Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe
2009	B	`conf`	Storyboarding - High-Level Engineering of Web Information Systems. WISE Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
2009	J	`jnl`	Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States. J. Univers. Comput. Sci. Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2009	—	`conf`	Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. Rigorous Methods for Software Construction and Analysis Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao
2009	C	`conf`	Web information systems design in the era of web 2.0 and beyond. iiWAS Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
2008	—	`conf`	A Query Language for Rational Tree Structures. UNISCON Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe
2008	Misc	`conf`	A Typed Higher-Order Calculus for Querying XML Databases. ADC Qing Wang, Klaus-Dieter Schewe
2008	—	`conf`	ASM Foundations of Database Management. UNISCON Bernhard Thalheim, Klaus-Dieter Schewe
2008	—	`conf`	Abstract State Services. ER Workshops Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2008	—	`conf`	Composing Personalised Services on top of Abstract State Services. The Evolution of Conceptual Modeling Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2008	Misc	`conf`	Context Analysis: Toward Pragmatics of Web Information Systems Design. APCCM Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
2008	—	`conf`	Facets of Media Types. UNISCON Klaus-Dieter Schewe, Bernhard Thalheim
2008	J	`jnl`	Keys and Armstrong Databases in Trees with Restructuring. Acta Cybern. Attila Sali, Klaus-Dieter Schewe
2008	—	`ed.`	Semantics in Data and Knowledge Bases, Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers SDKB Klaus-Dieter Schewe, Bernhard Thalheim
2008	—	`conf`	Semantics in Data and Knowledge Bases. SDKB Klaus-Dieter Schewe, Bernhard Thalheim
2008	—	`conf`	Towards a Logic for Abstract MetaFinite State Machines. FoIKS Qing Wang, Klaus-Dieter Schewe
2008	J	`jnl`	Typed Abstract State Machines for data-intensive applications. Knowl. Inf. Syst. Klaus-Dieter Schewe, Jane Zhao
2008	C	`conf`	Validation of streaming XML documents with abstract state machines. iiWAS Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
2008	B	`ed.`	Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings WISE James Bailey, David Maier, Klaus-Dieter Schewe, Bernhard Thalheim, Xiaoyang Sean Wang
2008	C	`conf`	Web information systems co-design. iiWAS Klaus-Dieter Schewe, Bernhard Thalheim
2008	C	`conf`	XML Database Transformations with Tree Updates. ABZ Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim
2007	Misc	`conf`	A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases. ADC Hui Ma, Klaus-Dieter Schewe, Qing Wang
2007	J	`jnl`	A multi-level architecture for distributed object bases. Data Knowl. Eng. Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov, Richard Wang
2007	A	`ed.`	Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings ER Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim
2007	—	`conf`	Cost-Based Vertical Fragmentation for XML. APWeb/WAIM Workshops Sven Hartmann, Hui Ma, Klaus-Dieter Schewe
2007	J	`jnl`	Distribution design for higher-order data models. Data Knowl. Eng. Hui Ma, Klaus-Dieter Schewe, Qing Wang
2007	Misc	`conf`	Dynamic Data Warehouse Design as a Refinement in ASM-based Approach. APCCM Henning Köhler, Klaus-Dieter Schewe, Jane Zhao
2007	—	`conf`	Intention-Driven Screenography. ISTA Thomas Moritz, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim
2007	—	`conf`	Life Cases - An Approach to Address Pragmatics in the Design of Web Information Systems. WEBIST (2) Klaus-Dieter Schewe, Bernhard Thalheim
2007	—	`conf`	Life Cases: A Kernel Element for Web Information Systems Engineering. WEBIST (Selected Papers) Klaus-Dieter Schewe, Bernhard Thalheim
2007	J	`jnl`	Personalisation of web information systems - A term rewriting approach. Data Knowl. Eng. Klaus-Dieter Schewe, Bernhard Thalheim
2007	J	`jnl`	Pragmatics of storyboarding for web information systems: usage analysis. Int. J. Web Grid Serv. Klaus-Dieter Schewe, Bernhard Thalheim
2007	—	`conf`	Principles of Screenography. CAiSE Forum Thomas Moritz, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim
2007	—	`conf`	Quality Assurance in Web Information Systems Development. QSIC Klaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim
2007	C	`conf`	Storyboarding Concepts for Edutainment WIS. EJC Klaus-Dieter Schewe, Bernhard Thalheim
2007	B	`conf`	Term Rewriting for Web Information Systems - Termination and Church-Rosser Property. WISE Klaus-Dieter Schewe, Bernhard Thalheim
2006	Misc	`conf`	A Heuristic Approach to Fragmentation Incorporating Query Information. DB&IS Hui Ma, Klaus-Dieter Schewe, Markus Kirchberg
2006	Misc	`conf`	A heuristic approach to cost-efficient fragmentation and allocation of complex value databases. ADC Hui Ma, Klaus-Dieter Schewe, Qing Wang
2006	J	`jnl`	Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Theor. Comput. Sci. Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2006	Misc	`conf`	Component-driven engineering of database applications. APCCM Klaus-Dieter Schewe, Bernhard Thalheim
2006	J	`jnl`	Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels. Fundam. Informaticae Attila Sali, Klaus-Dieter Schewe
2006	J	`jnl`	Editorial. J. Syst. Softw. Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse
2006	J	`jnl`	Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets". Theor. Comput. Sci. Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2006	J	`jnl`	Functional and multivalued dependencies in nested databases generated by record and list constructor. Ann. Math. Artif. Intell. Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2006	J	`jnl`	Information systems design: through adaptivity to ubiquity. Inf. Syst. E Bus. Manag. Roland H. Kaschek, Claire Matthews, Klaus-Dieter Schewe, Catherine Wallace
2006	J	`jnl`	Integration of Bargaining into E-Business Systems. Informatica (Slovenia) Heinrich C. Mayr, Klaus-Dieter Schewe, Bernhard Thalheim, Tatjana Welzer
2006	—	`conf`	Refinements in Typed Abstract State Machines. Ershov Memorial Conference Sebastian Link, Klaus-Dieter Schewe, Jane Zhao
2006	J	`jnl`	Towards Algebraic Query Optimisation for XQuery. J. Data Semant. Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe, Alexei Tretiakov
2006	A	`conf`	Towards a Theory of Genericity Based on Government and Binding. ER Alexander Bienemann, Klaus-Dieter Schewe, Bernhard Thalheim
2006	B	`conf`	User Models: A Contribution to Pragmatics of Web Information Systems Design. WISE Klaus-Dieter Schewe, Bernhard Thalheim
2006	Misc	`conf`	Using reflection for querying XML documents. ADC Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe, Alexei Tretiakov
2006	—	`conf`	View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. QSIC Hui Ma, Klaus-Dieter Schewe, Jane Zhao
2005	J	`jnl`	A Conceptual View of Web-Based E-Learning Systems. Educ. Inf. Technol. Klaus-Dieter Schewe, Bernhard Thalheim, Aleksander Binemann-Zdanowicz, Roland H. Kaschek, Thomas Kuss, Bernd Tschiedel
2005	J	`jnl`	A Theory of Local Set Queries. Log. J. IGPL Klaus-Dieter Schewe, Jose Maria Turull Torres
2005	—	`conf`	ASM Ground Model and Refinement for Data Warehouses. Abstract State Machines Klaus-Dieter Schewe, Jane Zhao
2005	—	`conf`	An Algorithmic Approach to High-Level Personalisation of Web Information Systems. WAIM Klaus-Dieter Schewe, Bernhard Thalheim
2005	Misc	`conf`	Balancing Redundancy and Query Costs in Distributed Data Warehouses. APCCM Klaus-Dieter Schewe, Jane Zhao
2005	—	`conf`	Bargaining in E-Business Systems. ER (Workshops) Klaus-Dieter Schewe
2005	J	`jnl`	Conceptual modelling of web information systems. Data Knowl. Eng. Klaus-Dieter Schewe, Bernhard Thalheim
2005	—	`conf`	Cost Optimisation for Distributed Data Warehouses. HICSS Hui Ma, Klaus-Dieter Schewe, Jane Zhao
2005	C	`conf`	Development of Collaboration Frameworks for Distributed Web Information Systems. iiWAS Aleksander Binemann-Zdanowicz, Klaus-Dieter Schewe, Bernhard Thalheim
2005	J	`jnl`	Emphasizing the communication aspects for the successful development of electronic business systems. Inf. Syst. E Bus. Manag. Klaus-Dieter Schewe, Roland H. Kaschek, Catherine Wallace, Claire Matthews
2005	C	`conf`	Fixed-Point Quantifiers in Higher Order Logics. EJC Klaus-Dieter Schewe, Jose Maria Turull Torres
2005	J	`jnl`	Functional Dependencies over XML Documents with DTDs. Acta Cybern. Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2005	J	`jnl`	Functional Dependencies with Counting on Trees. J. Univers. Comput. Sci. Klaus-Dieter Schewe
2005	—	`conf`	Heuristic Horizontal XML Fragmentation. CAiSE Short Paper Proceedings Hui Ma, Klaus-Dieter Schewe
2005	—	`conf`	Integration and Cooperation of Media Types. ISTA Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
2005	B	`conf`	Personalised Web-Based Learning Systems. ICALT Klaus-Dieter Schewe, Bernhard Thalheim, Alexei Tretiakov
2005	—	`conf`	Quality Assurance in the Design of Web Information Systems. QSIC Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao
2005	C	`conf`	Query Optimisation as Part of Distribution Design for Complex Value Databases. EJC Hui Ma, Klaus-Dieter Schewe
2005	Misc	`conf`	Redundancy, Dependencies and Normal Forms for XML Databases. ADC Klaus-Dieter Schewe
2005	J	`jnl`	Stragetic Modelling of Web Information Systems. Int. J. Web Inf. Syst. Thomas Moritz, Klaus-Dieter Schewe, Bernhard Thalheim
2005	—	`conf`	The Challenges in Web Information Systems Development in 15 Pictures (Invited Talk). ISTA Klaus-Dieter Schewe
2005	J	`jnl`	The Co-Design Approach to Web Information Systems Development. Int. J. Web Inf. Syst. Klaus-Dieter Schewe, Bernhard Thalheim
2005	—	`conf`	Tutorial 4: Reasoning About Web Information Systems. ER (Workshops) Klaus-Dieter Schewe, Bernhard Thalheim
2005	—	`conf`	Using XML to Support Media Types. ISTA Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov
2005	J	`jnl`	View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems. J. Data Semant. Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Jane Zhao
2004	—	`conf`	A Deontic Logic for Group-Oriented Web Information Systems. EMISA Klaus-Dieter Schewe, Bernhard Thalheim, Roland H. Kaschek
2004	B	`conf`	A Three-Level Architecture for Distributed Web Information Systems. ICWE Markus Kirchberg, Klaus-Dieter Schewe, Bernhard Thalheim, Richard Wang
2004	B	`conf`	Adaptation to Learning Styles. ICALT Aleksander Binemann-Zdanowicz, Klaus-Dieter Schewe, Bernhard Thalheim
2004	J	`jnl`	Content adaptivity in wireless web access. Int. J. Mob. Commun. Klaus-Dieter Schewe, Kinshuk, Tiong Goh
2004	Misc	`conf`	Context-Aware Web Information Systems. APCCM Aleksander Binemann-Zdanowicz, Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim
2004	B	`conf`	Contextualizing Electronic Learning Systems. ICALT Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Gunar Fiedler
2004	Misc	`ed.`	Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, ADC 2004, Dunedin, New Zealand, 18-22 January 2004 ADC Klaus-Dieter Schewe, Hugh E. Williams
2004	J	`jnl`	Distance Functional Dependencies in the Presence of Complex Values. Acta Cybern. Sebastian Link, Klaus-Dieter Schewe
2004	J	`jnl`	Error-Robust Functional Dependencies. Fundam. Informaticae Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim
2004	B	`conf`	Learner Typing for Electronic Learning Systems. ICALT Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Thomas Kuss, Bernd Tschiedel
2004	B	`conf`	Managing the Data in Electronic Learning Systems. ICALT Oleg Rostanin, Klaus-Dieter Schewe, Bernhard Thalheim, Alexei Tretiakov
2004	—	`conf`	Modelling Actors and Stories in Web Information Systems. ISTA Klaus-Dieter Schewe, Bernhard Thalheim, Sergiy Zlatkin
2004	—	`conf`	On Coding Navigation Paths for In-Memory Navigation in Persistent Object Stores. SBBD Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov, Alexander Kuckelberg
2004	J	`jnl`	Preface. Ann. Math. Artif. Intell. Thomas Eiter, Klaus-Dieter Schewe
2004	C	`conf`	Reasoning About Web Information Systems Using Story Algebras. ADBIS Klaus-Dieter Schewe, Bernhard Thalheim
2004	—	`conf`	Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. FoIKS Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2004	—	`conf`	The Co-design Approach to WIS Development in E-business and E-learning Applications. WISE Workshops Klaus-Dieter Schewe, Bernhard Thalheim
2004	B	`conf`	The Power of Media Types. WISE Klaus-Dieter Schewe
2004	—	`conf`	Towards Systematic Personalization of Information Spaces. ACIS Roland H. Kaschek, Klaus-Dieter Schewe, Catherine Wallace, Claire Matthews
2004	Misc	`conf`	Using Abstract State Machines for Distributed Data Warehouse Design. APCCM Jane Zhao, Klaus-Dieter Schewe
2004	—	`conf`	Weak Functional Dependencies in Higher-Order Datamodels. FoIKS Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2004	B	`conf`	Website Modeling and Website Generation. ICWE Bernhard Thalheim, Klaus-Dieter Schewe, Irina Romalis, Thomas Raak, Gunar Fiedler
2003	—	`conf`	A Multi-Level Architecture for Distributed Object Bases. ICEIS (1) Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov
2003	C	`conf`	A New Normal Form for Conceptual Database. EJC Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe
2003	—	`conf`	Analysing Web Information Systems with the Abstraction Layer Model and Sitelang. ACIS Roland H. Kaschek, Claire Matthews, Klaus-Dieter Schewe, Catherine Wallace
2003	J	`jnl`	Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model. Inf. Process. Lett. Sven Hartmann, Anne Hoffmann, Sebastian Link, Klaus-Dieter Schewe
2003	—	`conf`	Context Modeling for Web Information Systems. CAiSE Short Paper Proceedings Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim
2003	Misc	`ed.`	Database Technologies 2003, Proceedings of the 14th Australasian Database Conference, ADC 2003, Adelaide, South Australia, February 2003 ADC Klaus-Dieter Schewe, Xiaofang Zhou
2003	—	`conf`	Fragmentation of XML Documents. SBBD Hui Ma, Klaus-Dieter Schewe
2003	C	`conf`	Increasing Automation in Lending. iiWAS Roland H. Kaschek, Claire Matthews, Catherine Wallace, Klaus-Dieter Schewe
2003	—	`conf`	Integrating Context in Modelling for Web Information Systems. WES Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Lei Zhang
2003	—	`ed.`	Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers Semantics in Databases Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
2002	J	`jnl`	An Arithmetic Theory of Consistency Enforcement. Acta Cybern. Sebastian Link, Klaus-Dieter Schewe
2002	C	`conf`	Computable Queries for Object Oriented Databases. WoLLIC Klaus-Dieter Schewe, Jose Maria Turull Torres
2002	—	`ed.`	Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings FoIKS Thomas Eiter, Klaus-Dieter Schewe
2002	—	`conf`	Fragmentation of Object Oriented and Semistructured Data. BalticDB&IS Klaus-Dieter Schewe
2002	—	`conf`	Modelling Web-Based Banking Systems: Story Boarding and User Profiling. ER (Workshops) Klaus-Dieter Schewe, Roland H. Kaschek, Claire Matthews, Catherine Wallace
2002	—	`conf`	Support of Integrated Wireless Web Access through Media Types. ER (Workshops) Klaus-Dieter Schewe
2002	—	`conf`	Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints. CATS Sebastian Link, Klaus-Dieter Schewe
2001	Misc	`conf`	A comparison of multi-level concurrency control protocols. ADC Markus Kirchberg, Klaus-Dieter Schewe
2001	—	`conf`	Computability and Decidability Issues in the Theory of Consistency Enforcement. CATS Sebastian Link, Klaus-Dieter Schewe
2001	Misc	`conf`	Design theory for advanced datamodels. ADC Klaus-Dieter Schewe
2001	Misc	`conf`	On the unification of query algebras and their extension to rational tree structures. ADC Klaus-Dieter Schewe
2001	A	`conf`	Querying Web Information Systems. ER Klaus-Dieter Schewe
2001	—	`conf`	Semantics in Databases. Semantics in Databases Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim
2000	A	`conf`	A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata. ER Thomas Lehmann, Klaus-Dieter Schewe
2000	A*	`conf`	Controlled Automation of Consistency Enforcement. ASE Klaus-Dieter Schewe
2000	B	`conf`	Design of Data-Intesive Web-based Information Services. WISE Thomas Feyer, Odej Kao, Klaus-Dieter Schewe, Bernhard Thalheim
2000	C	`conf`	Discussion Session on Concept Theory and Conceptual Modelling. EJC Klaus-Dieter Schewe
2000	—	`ed.`	Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings FoIKS Klaus-Dieter Schewe, Bernhard Thalheim
2000	J	`jnl`	Hybrid Concurrency Control and Recovery for Multi-Level Transactions. Acta Cybern. Klaus-Dieter Schewe, Torsten Ripke, Sven Drechsler
2000	J	`jnl`	Integrating Database and Dialogue Design. Knowl. Inf. Syst. Klaus-Dieter Schewe, Bettina Schewe
2000	C	`conf`	Modeling Interaction and Media Objects. NLDB Klaus-Dieter Schewe, Bernhard Thalheim
2000	C	`conf`	UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language. EJC Klaus-Dieter Schewe
1999	B	`conf`	A Generalization of Dijkstra's Calculus to Typed Program Specifications. FCT Klaus-Dieter Schewe, Bernhard Thalheim
1999	—	`ed.`	Fundamentals of Information Systems - Papers from the Seventh Workshop on Foundations of Models and Languages for Data and Objects, Ostfriesland, Germany, October 5-9, 1998 FMLDO Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe
1999	A	`conf`	Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects. ER Jana Lewerenz, Klaus-Dieter Schewe, Bernhard Thalheim
1999	—	`conf`	On a Galois Correspondence in Object Oriented Databases. ADBIS (Short Papers) Klaus-Dieter Schewe
1999	—	`conf`	Recoverability and Strictness for Multi-Level Schedules: Locking and Hybrid Protocols. FMLDO Klaus-Dieter Schewe
1999	C	`conf`	The Type Concept in OODB Modelling and its Logical Implications. EJC Klaus-Dieter Schewe
1999	J	`jnl`	Towards a Theory of Consistency Enforcement. Acta Informatica Klaus-Dieter Schewe, Bernhard Thalheim
1998	J	`jnl`	7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO'98). Datenbank Rundbr. Klaus-Dieter Schewe
1998	A	`conf`	Conceptual Design and Development of Information Services. ER Thomas Feyer, Klaus-Dieter Schewe, Bernhard Thalheim
1998	J	`jnl`	Consistency Enforcement in Entity-Relationship and Object-Oriented Models. Data Knowl. Eng. Klaus-Dieter Schewe
1998	C	`conf`	Fundamentals of Consistency Enforcement. EJC Klaus-Dieter Schewe
1998	J	`jnl`	Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications. Acta Cybern. Klaus-Dieter Schewe, Bernhard Thalheim
1997	A	`conf`	Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models. ER Klaus-Dieter Schewe
1996	—	`conf`	Active Consistency Enforcement for Repairable Database Transitions. FMLDO Klaus-Dieter Schewe, Bernhard Thalheim
1996	—	`ed.`	Integrity in Databases - 6th International Workshop on Foundations of Models and Languages for Data and Objects, Schloss Dagstuhl, Germany, September 16-20, 1996, Proceedings FMLDO Stefan Conrad, Hans-Joachim Klein, Klaus-Dieter Schewe
1996	—	`conf`	Nicht-klassische Objektlogik. Grundlagen von Datenbanken Klaus-Dieter Schewe
1996	—	`conf`	Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement (Extended Abstract). FMLDO Klaus-Dieter Schewe
1996	A	`conf`	View-Centered Conceptual Modelling - An Object-Oriented Approach. ER Klaus-Dieter Schewe, Bettina Schewe
1995	C	`conf`	A user-centered method for the development of data-intensive dialogue systems: an object-oriented approach. ISCO Bettina Schewe, Klaus-Dieter Schewe
1995	B	`conf`	Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics. FCT Klaus-Dieter Schewe
1995	J	`jnl`	Objektorientierter Datenbankentwurf in der Entwicklung datenintensiver Informationssysteme. Inform. Forsch. Entwickl. Bettina Schewe, Klaus-Dieter Schewe, Bernhard Thalheim
1994	—	`conf`	Achieving Consistency in Active Databases. RIDE-ADS Klaus-Dieter Schewe, Bernhard Thalheim
1994	Misc	`conf`	Higher-Level Genericity in Object-Oriented Databases. COMAD Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim
1994	—	`conf`	Konsistenzerzwingung. Grundlagen von Datenbanken Klaus-Dieter Schewe
1993	J	`jnl`	Fundamental Concepts of Object Oriented Databases. Acta Cybern. Klaus-Dieter Schewe, Bernhard Thalheim
1993	—	`conf`	Integrity Preserving Updates in Object-Oriented Databases. Australian Database Conference Klaus-Dieter Schewe, Bernhard Thalheim, Ingrid Wetzel
1993	—	`conf`	On the Derivation of Executable Database Programs from Formal Specifications. FME Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel
1993	J	`jnl`	Verfeinerungsschritte im Rahmen einer objektorientierten Entwurfsmethodik. GI Datenbank Rundbrief Bettina Schewe, Klaus-Dieter Schewe, Bernhard Thalheim
1992	—	`conf`	Formalisierung Objektorientierter Datenbanken: Design- und Sprachunterstützung. Grundlagen von Datenbanken Klaus-Dieter Schewe, Florian Matthes, Joachim W. Schmidt, Ingrid Wetzel
1992	A	`conf`	Identification, Genericity and Consistency in Object-Oriented Databases. ICDT Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel
1992	—	`conf`	Integrity Enforcement in Object-Oriented Databases. FMLDO Klaus-Dieter Schewe, Bernhard Thalheim, Joachim W. Schmidt, Ingrid Wetzel
1992	—	`ch.`	Towards a Structured Specification Language for Database Applications. Specifications of Database Systems Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt
1991	—	`conf`	Specification and Refinement in an Integrated Database Application Environment. VDM Europe (1) Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel
1989	—	`conf`	Network and Resource Planning for Office Information Systems. Kommunikation in Verteilten Systemen Klaus-Dieter Schewe
1989	—	`conf`	Variant Construction Using Constraint Propagation Techniques over Semantic Networks. ÖGAI Klaus-Dieter Schewe