default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKlaus-Dieter Schewe
Person information
- affiliation: Zhejiang University, UIUC Institute, China
- affiliation (former): Software Competence Center Hagenberg, Austria
- affiliation (former): Johannes Kepler University of Linz, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c184]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). FoIKS 2024: 237-255- [c183]Flavio Ferrarotti
, Klaus-Dieter Schewe:
Modal Extensions of the Logic of Abstract State Machines. ABZ 2024: 123-140 - [i19]Flavio Ferrarotti, Klaus-Dieter Schewe:
Choiceless Polynomial Space. CoRR abs/2401.16366 (2024) - [i18]Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur:
A Complete Fragment of LTL(EB). CoRR abs/2401.16838 (2024) - 2023
- [j85]Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Refined Fuzzy Profile Matching. Acta Cybern. 26(2): 243-266 (2023) - [c182]Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe:
Exploration of Reflective ASMs for Security. ABZ 2023: 185-192 - [c181]Flavio Ferrarotti, Klaus-Dieter Schewe:
Behavioural Theory of Reflective Algorithms. ABZ 2023: 238-244 - 2022
- [j84]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Uniform Polylogarithmic Space Completeness. Frontiers Comput. Sci. 4: 845990 (2022) - [j83]Klaus-Dieter Schewe, Flavio Ferrarotti:
Behavioural theory of reflective algorithms I: Reflective sequential algorithms. Sci. Comput. Program. 223: 102864 (2022) - [c180]Zihao Li, Jiazhen Xu, Baoyi He, Klaus-Dieter Schewe:
Fast and Exact Subgraph Isomorphism Querying: Using Embedding and Searching Techniques. ACAI 2022: 31:1-31:6 - [c179]Klaus-Dieter Schewe:
Practical Theory of Computation on Structures. TASE 2022: 1-14 - 2021
- [j82]Klaus-Dieter Schewe:
Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice. Frontiers Comput. Sci. 3: 670602 (2021) - [j81]Klaus-Dieter Schewe, Flavio Ferrarotti, Senén González:
A logic for reflective ASMs. Sci. Comput. Program. 210: 102691 (2021) - [c178]Zilinghan Li, Shilan He, Yiqing Du, Senén González, Klaus-Dieter Schewe:
Unbounded Barrier-Synchronized Concurrent ASMs for Effective MapReduce Processing on Streams. ABZ 2021: 3-16 - [c177]Fengqing Jiang, Neng Xiong, Xinyu Lian, Senén González, Klaus-Dieter Schewe:
Towards Refinement of Unbounded Parallelism in ASMs Using Concurrency and Reflection. ABZ 2021: 118-123 - [c176]Klaus-Dieter Schewe:
Computation on Structures - Behavioural Theory, Logic, Complexity. Logic, Computation and Rigorous Methods 2021: 266-282 - [c175]Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Control-State Choreographies. MEDI 2021: 87-100 - [e27]Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe:
Logic, Computation and Rigorous Methods - Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday. Lecture Notes in Computer Science 12750, Springer 2021, ISBN 978-3-030-76019-9 [contents] - [i17]Kanya Mo, Shen Zheng, Xiwei Wang, Jinghua Wang, Klaus-Dieter Schewe:
Exploiting Spline Models for the Training of Fully Connected Layers in Neural Network. CoRR abs/2102.06554 (2021) - 2020
- [j80]Egon Börger, Klaus-Dieter Schewe:
A Behavioural Theory of Recursive Algorithms. Fundam. Informaticae 177(1): 1-37 (2020) - [j79]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
A restricted second-order logic for non-deterministic poly-logarithmic time. Log. J. IGPL 28(3): 389-412 (2020) - [c174]Egon Börger, Klaus-Dieter Schewe:
A Characterization of Distributed ASMs with Partial-Order Runs. ABZ 2020: 78-92 - [c173]Klaus-Dieter Schewe, Flavio Ferrarotti:
A Logic for Reflective ASMs. ABZ 2020: 93-106 - [c172]Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe:
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ 2020: 155-168 - [c171]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. FoIKS 2020: 90-105 - [c170]Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Choreographies. FoIKS 2020: 263-280 - [i16]Egon Börger, Klaus-Dieter Schewe:
A Behavioural Theory of Recursive Algorithms. CoRR abs/2001.01862 (2020) - [i15]Klaus-Dieter Schewe, Flavio Ferrarotti:
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms. CoRR abs/2001.01873 (2020) - [i14]Klaus-Dieter Schewe:
Insignificant Choice Polynomial Time. CoRR abs/2005.04598 (2020) - [i13]Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub:
Realisability of Control-State Choreographies. CoRR abs/2009.03623 (2020) - [i12]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Completeness in Polylogarithmic Time and Space. CoRR abs/2009.04259 (2020)
2010 – 2019
- 2019
- [b3]Klaus-Dieter Schewe, Bernhard Thalheim:
Design and Development of Web Information Systems. Springer 2019, ISBN 978-3-662-58822-2 - [j78]Christoph Beierle, Klaus-Dieter Schewe:
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic. Sci. Comput. Program. 184 (2019) - [j77]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe:
BSP abstract state machines capture bulk synchronous parallel computations. Sci. Comput. Program. 184 (2019) - [c169]Klaus-Dieter Schewe:
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. ICFEM 2019: 219-235 - [c168]Klaus-Dieter Schewe, Andreas Prinz, Egon Börger:
Concurrent Computing with Shared Replicated Memory. MEDI 2019: 219-234 - [e26]Klaus-Dieter Schewe, Neeraj Kumar Singh:
Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings. Lecture Notes in Computer Science 11815, Springer 2019, ISBN 978-3-030-32064-5 [contents] - [i11]Klaus-Dieter Schewe, Andreas Prinz, Egon Börger:
Concurrent Computing with Shared Replicated Memory. CoRR abs/1902.04789 (2019) - [i10]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. CoRR abs/1911.13104 (2019) - [i9]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time. CoRR abs/1912.00010 (2019) - 2018
- [j76]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Ann. Math. Artif. Intell. 83(3-4): 321-349 (2018) - [j75]Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Comput. Lang. Syst. Struct. 54: 297-315 (2018) - [j74]Jorge Martínez Gil, Alejandra Lorena Paoletti, Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Accurate and efficient profile matching in knowledge bases. Data Knowl. Eng. 117: 195-215 (2018) - [j73]Klaus-Dieter Schewe, Károly Bósa, Andreea Buga, Sorana Tania Nemes:
Conceptual Modelling of Service-Oriented Software Systems. Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model. 13(Special): 216-233 (2018) - [j72]Michael J. Butler, Klaus-Dieter Schewe:
Introduction to the ABZ 2016 Special issue. Sci. Comput. Program. 158: 1-2 (2018) - [j71]Verena Geist, Christine Natschläger, Christa Illibauer, Klaus-Dieter Schewe:
Towards functional safety and security for adaptive and flexible business processes. J. Softw. Evol. Process. 30(5) (2018) - [c167]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe:
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. ADBIS 2018: 99-112 - [c166]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang:
Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ 2018: 16-30 - [c165]Christoph Beierle, Klaus-Dieter Schewe:
Abstract State Machines with Exact Real Arithmetic. ABZ 2018: 139-154 - [c164]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
Systematic Refinement of Abstract State Machines with Higher-Order Logic. ABZ 2018: 204-218 - [c163]Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
Capturing Membrane Computing by ASMs. ABZ 2018: 380-385 - [c162]Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis. FoIKS 2018: 322-339 - [c161]Klaus-Dieter Schewe:
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. MEDI 2018: 418-433 - [c160]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. SYNASC 2018: 133-140 - [i8]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. CoRR abs/1806.07127 (2018) - 2017
- [j70]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A complete logic for Database Abstract State Machines1. Log. J. IGPL 25(5): 700-740 (2017) - [j69]Egon Börger, Klaus-Dieter Schewe:
Communication in Abstract State Machines. J. Univers. Comput. Sci. 23(2): 129-145 (2017) - [j68]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
The landing gear case study: challenges and experiments. Int. J. Softw. Tools Technol. Transf. 19(2): 133-140 (2017) - [c159]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An:
Evolving concurrent systems: behavioural theory and logic. ACSW 2017: 77:1-77:10 - [c158]Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC 2017: 1-20 - [c157]Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe:
Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. ER Workshops 2017: 26-35 - [c156]Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe:
Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. ER 2017: 120-133 - [c155]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec:
A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference 2017: 117-131 - [c154]Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI 2017: 277-290 - [c153]Klaus-Dieter Schewe:
Concurrent Reflective Abstract State Machines. SYNASC 2017: 30-35 - [i7]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A Logic for Non-Deterministic Parallel Abstract State Machines. CoRR abs/1705.11097 (2017) - [i6]Egon Börger, Klaus-Dieter Schewe:
Specifying Transaction Control to Serialize Concurrent Program Executions. CoRR abs/1706.01762 (2017) - [i5]Egon Börger, Klaus-Dieter Schewe, Qing Wang:
Serialisable Multi-Level Transaction Control: A Specification and Verification. CoRR abs/1706.04043 (2017) - [i4]Jorge Martínez Gil, Alejandra Lorena Paoletti, Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Accurate and Efficient Profile Matching in Knowledge Bases. CoRR abs/1706.06944 (2017) - 2016
- [b2]Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky, Klaus-Dieter Schewe:
Hagenberg Business Process Modelling Method. Springer 2016, ISBN 978-3-319-30495-3, pp. 1-255 - [j67]Egon Börger, Klaus-Dieter Schewe:
Concurrent abstract state machines. Acta Informatica 53(5): 469-492 (2016) - [j66]Yamine Aït Ameur, Klaus-Dieter Schewe:
Introduction to the ABZ 2014 special issue. Sci. Comput. Program. 131: 1-2 (2016) - [j65]Egon Börger, Klaus-Dieter Schewe, Qing Wang:
Serialisable multi-level transaction control: A specification and verification. Sci. Comput. Program. 131: 42-58 (2016) - [j64]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649: 25-53 (2016) - [c152]Jorge Martínez Gil, Alejandra Lorena Paoletti, Klaus-Dieter Schewe:
A Smart Approach for Matching, Learning and Querying Information from the Human Resources Domain. ADBIS (Short Papers and Workshops) 2016: 157-167 - [c151]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang:
Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality 2016: 365-376 - [c150]Alejandra Lorena Paoletti, Jorge Martínez Gil, Klaus-Dieter Schewe:
Top-k Matching Queries for Filter-Based Profile Matching in Knowledge Bases. DEXA (2) 2016: 295-302 - [c149]Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches. FoIKS 2016: 149-168 - [c148]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS 2016: 334-354 - [c147]Jorge Martínez Gil, Alejandra Lorena Paoletti, Gábor Rácz, Attila Sali, Klaus-Dieter Schewe:
Maintenance of Profile Matchings in Knowledge Bases. MEDI 2016: 132-141 - [e25]Mirjana Ivanovic, Bernhard Thalheim, Barbara Catania, Klaus-Dieter Schewe, Marite Kirikova, Petr Saloun, Ajantha Dahanayake, Tania Cerquitelli, Elena Baralis, Pietro Michiardi:
New Trends in Databases and Information Systems - ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC, Prague, Czech Republic, August 28-31, 2016, Proceedings. Communications in Computer and Information Science 637, Springer 2016, ISBN 978-3-319-44065-1 [contents] - [e24]Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Lecture Notes in Computer Science 9675, Springer 2016, ISBN 978-3-319-33599-5 [contents] - [e23]Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Klaus-Dieter Schewe, Károly Bósa:
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing. Lecture Notes in Computer Science 10130, Springer 2016, ISBN 978-3-662-54053-4 [contents] - [i3]Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec:
A Complete Logic for Non-Deterministic Database Transformations. CoRR abs/1602.07486 (2016) - 2015
- [j63]Christine Natschläger, Felix Kossak, Klaus-Dieter Schewe:
Deontic BPMN: a powerful extension of BPMN with a trusted model transformation. Softw. Syst. Model. 14(2): 765-793 (2015) - [j62]Klaus-Dieter Schewe, Verena Geist, Christa Illibauer, Felix Kossak, Christine Natschläger-Carpella, Theodorich Kopetzky, Jan Kubovy, Bernhard Freudenthaler, Thomas Ziebermayr:
Horizontal Business Process Model Integration. Trans. Large Scale Data Knowl. Centered Syst. 18: 30-52 (2015) - [c146]Qing Wang, Klaus-Dieter Schewe, Woods Wang:
Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality. DASFAA (1) 2015: 474-490 - [c145]Alejandra Lorena Paoletti, Jorge Martínez Gil, Klaus-Dieter Schewe:
Extending Knowledge-Based Profile Matching in the Human Resources Domain. DEXA (2) 2015: 21-35 - [c144]Klaus-Dieter Schewe:
Rigorous Semantics and Renement for Business Processes. ICTERI 2015: 1-2 - [c143]Klaus-Dieter Schewe, Qing Wang, Mariam Rady:
Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid. MEDI 2015: 128-135 - [p5]Klaus-Dieter Schewe, Qing Wang:
What Constitutes a Service on the Web? Correct Software in Web Applications and Web Services 2015: 257-292 - [p4]Bernhard Thalheim, Klaus-Dieter Schewe:
Codesign of Web Information Systems. Correct Software in Web Applications and Web Services 2015: 293-332 - [e22]Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger:
Correct Software in Web Applications and Web Services. Texts and monographs in symbolic computation, Springer 2015, ISBN 978-3-319-17111-1 [contents] - [i2]Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang:
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis. CoRR abs/1504.06203 (2015) - 2014
- [b1]Felix Kossak, Christa Illibauer, Verena Geist, Jan Kubovy, Christine Natschläger, Thomas Ziebermayr, Theodorich Kopetzky, Bernhard Freudenthaler, Klaus-Dieter Schewe:
A Rigorous Semantics for BPMN 2.0 Process Diagrams. Springer 2014, ISBN 978-3-319-09930-9, pp. 1-197 - [j61]Flavio Ferrarotti, Georg Grossmann, Klaus-Dieter Schewe, Qing Wang:
Conceptual Modelling with Specific Focus on Service-Oriented Systems. J. Univers. Comput. Sci. 20(3): 254-256 (2014) - [j60]Klaus-Dieter Schewe, Qing Wang:
A theoretical framework for knowledge-based entity resolution. Theor. Comput. Sci. 549: 101-126 (2014) - [c142]Egon Börger, Klaus-Dieter Schewe:
Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ 2014: 142-157 - [e21]Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe:
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. Communications in Computer and Information Science 433, Springer 2014, ISBN 978-3-319-07511-2 [contents] - [e20]Yamine Aït Ameur, Klaus-Dieter Schewe:
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings. Lecture Notes in Computer Science 8477, Springer 2014, ISBN 978-3-662-43651-6 [contents] - 2013
- [j59]Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Complete Conceptual Schema Algebras. Fundam. Informaticae 124(3): 271-295 (2013) - [j58]Klaus-Dieter Schewe, Qing Wang:
Knowledge-aware identity services. Knowl. Inf. Syst. 36(2): 335-357 (2013) - [c141]Dominic Looser, Hui Ma, Klaus-Dieter Schewe:
Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment. APCCM 2013: 61-68 - [c140]Klaus-Dieter Schewe:
Horizontal and Vertical Business Process Model Integration - (Abstract). DEXA (1) 2013: 1-3 - [c139]Hui Ma, Klaus-Dieter Schewe:
Query Handling in Geometric Conceptual Modelling. EJC 2013: 174-189 - [c138]Bernhard Thalheim, Hannu Jaakkola, Takafumi Nakanishi, Shiori Sasaki, Klaus-Dieter Schewe:
Conceptual Modelling of Collaboration for Information Systems. EJC 2013: 272-305 - [e19]Klaus-Dieter Schewe, Bernhard Thalheim:
Semantics in Data and Knowledge Bases, 5th International Workshop, SDKB 2011, Zürich, Switzerland, July 3, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7693, Springer 2013, ISBN 978-3-642-36007-7 [contents] - [e18]Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou:
Transactions on Large-Scale Data- and Knowledge-Centered Systems X - Special Issue on Database- and Expert-Systems Applications. Lecture Notes in Computer Science 8220, Springer 2013, ISBN 978-3-642-41220-2 [contents] - 2012
- [j57]Christine Natschläger, Klaus-Dieter Schewe:
A Flattening Approach for Attributed Type Graphs with Inheritance in Algebraic Graph Transformation. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012) - [j56]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Conceptual Modelling of Services. J. Univers. Comput. Sci. 18(17): 2361-2363 (2012) - [j55]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
A formal model for the interoperability of service clouds. Serv. Oriented Comput. Appl. 6(3): 189-205 (2012) - [c137]Klaus-Dieter Schewe, Qing Wang:
A Simplified Parallel ASM Thesis. ABZ 2012: 341-344 - [c136]Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe:
Dedication to a Theory of Modelling - Bernhard Thalheim's Scientific Journey. Conceptual Modelling and Its Theoretical Foundations 2012: 1-6 - [c135]Klaus-Dieter Schewe, Qing Wang:
On the Decidability and Complexity of Identity Knowledge Representation. DASFAA (1) 2012: 288-302 - [c134]Klaus-Dieter Schewe, Qing Wang:
Third International Workshop on Conceptual Modelling of Services (CMS 2012). ER Workshops 2012: 1-2 - [c133]Klaus-Dieter Schewe, Qing Wang:
Synchronous Parallel Database Transformations. FoIKS 2012: 370-383 - [c132]Klaus-Dieter Schewe, Qing Wang:
Preferential Refinements of Abstract State Machines for Service Mediators. QSIC 2012: 158-166 - [c131]Ji Ma, Klaus-Dieter Schewe:
A Temporalised Belief Logic for Reasoning about Authentication Protocols. TrustCom 2012: 1721-1728 - [e17]Antje Düsterhöft, Meike Klettke, Klaus-Dieter Schewe:
Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 7260, Springer 2012, ISBN 978-3-642-28278-2 [contents] - [e16]Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou:
Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part I. Lecture Notes in Computer Science 7446, Springer 2012, ISBN 978-3-642-32599-1 [contents] - [e15]Stephen W. Liddle, Klaus-Dieter Schewe, A Min Tjoa, Xiaofang Zhou:
Database and Expert Systems Applications - 23rd International Conference, DEXA 2012, Vienna, Austria, September 3-6, 2012. Proceedings, Part II. Lecture Notes in Computer Science 7447, Springer 2012, ISBN 978-3-642-32596-0 [contents] - [e14]Abdelkader Hameurlain, Josef Küng, Roland R. Wagner, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou:
Transactions on Large-Scale Data- and Knowledge-Centered Systems VI - Special Issue on Database- and Expert-Systems Applications. Lecture Notes in Computer Science 7600, Springer 2012, ISBN 978-3-642-34178-6 [contents] - 2011
- [j54]Attila Sali, Klaus-Dieter Schewe:
Weak Functional Dependencies on Trees with Restructuring. Acta Cybern. 20(2): 285-329 (2011) - [j53]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Cloud Warehousing. J. Univers. Comput. Sci. 17(8): 1183-1201 (2011) - [j52]Klaus-Dieter Schewe, Károly Bósa, Harald Lampesberger, Ji Ma, Mariam Rady, Boris Vleju:
Challenges in Cloud Computing. Scalable Comput. Pract. Exp. 12(4) (2011) - [p3]Antje Düsterhöft, Klaus-Dieter Schewe:
Conceptual Modelling of Application Stories. Handbook of Conceptual Modeling 2011: 359-377 - [p2]Hui Ma, Klaus-Dieter Schewe:
Conceptual Geometric Modelling. Handbook of Conceptual Modeling 2011: 421-440 - [e13]Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou:
Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011. Proceedings, Part I. Lecture Notes in Computer Science 6860, Springer 2011, ISBN 978-3-642-23087-5 [contents] - [e12]Abdelkader Hameurlain, Stephen W. Liddle, Klaus-Dieter Schewe, Xiaofang Zhou:
Database and Expert Systems Applications - 22nd International Conference, DEXA 2011, Toulouse, France, August 29 - September 2, 2011, Proceedings, Part II. Lecture Notes in Computer Science 6861, Springer 2011, ISBN 978-3-642-23090-5 [contents] - [e11]Klaus-Dieter Schewe, Bernhard Thalheim:
Semantics in Data and Knowledge Bases - 4th International Workshops, SDKB 2010, Bordeaux, France, July 5, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6834, Springer 2011, ISBN 978-3-642-23440-8 [contents] - 2010
- [j51]Klaus-Dieter Schewe, Qing Wang:
A Customised ASM Thesis for Database Transformations. Acta Cybern. 19(4): 765-805 (2010) - [j50]Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim:
Using Meta-Structures in Database Design. Informatica (Slovenia) 34(3): 387-403 (2010) - [j49]Hui Ma, Klaus-Dieter Schewe:
Fragmentation of XML Documents. J. Inf. Data Manag. 1(1): 21-34 (2010) - [j48]Hui Ma, Klaus-Dieter Schewe:
Revisiting "Fragmentation of XML Documents". J. Inf. Data Manag. 1(1): 35-36 (2010) - [j47]Markus Kirchberg, Klaus-Dieter Schewe:
Evolving Theories of Conceptual Modelling. J. Univers. Comput. Sci. 16(20): 2902-2903 (2010) - [j46]Klaus-Dieter Schewe, Qing Wang:
XML Database Transformations. J. Univers. Comput. Sci. 16(20): 3043-3072 (2010) - [c130]Klaus-Dieter Schewe, Qing Wang:
Partial Updates in Complex-Value Databases. EJC 2010: 37-56 - [c129]Bernhard Thalheim, Klaus-Dieter Schewe:
NULL 'Value' Algebras and Logics. EJC 2010: 354-367 - [c128]Klaus-Dieter Schewe, Qing Wang:
A Formal Model for Service Mediators. ER Workshops 2010: 76-85 - [c127]Hui Ma, Klaus-Dieter Schewe, Huayang Xie:
Using XML for cloud specification and XQuery for service discovery. iiWAS 2010: 126-133 - [c126]Klaus-Dieter Schewe, Bernhard Thalheim:
About Semantics. SDKB 2010: 1-22 - [c125]Klaus-Dieter Schewe, Bernhard Thalheim:
Pragmatics of Storyboarding - Web Information Systems Portfolios. WEBIST (2) 2010: 40-47 - [c124]Klaus-Dieter Schewe, Bernhard Thalheim:
Web Information Systems Portfolios: A Contribution to Pragmatics. WEBIST (Selected Papers) 2010: 147-161
2000 – 2009
- 2009
- [j45]Christine Parent, Klaus-Dieter Schewe, Veda C. Storey:
26th International Conference on Conceptual Modeling (ER 2007). Data Knowl. Eng. 68(7): 577-578 (2009) - [j44]Klaus-Dieter Schewe:
Logic, Abstract State Machines and Databases. J. Univers. Comput. Sci. 15(1): 1-2 (2009) - [j43]Attila Sali, Klaus-Dieter Schewe:
A Characterisation of Coincidence Ideals for Complex Values. J. Univers. Comput. Sci. 15(1): 304-354 (2009) - [j42]Jane Zhao, Klaus-Dieter Schewe, Henning Köhler:
Dynamic Data Warehouse Design with Abstract State Machines. J. Univers. Comput. Sci. 15(1): 355-397 (2009) - [j41]Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States. J. Univers. Comput. Sci. 15(10): 2028-2057 (2009) - [j40]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
A theory of data-intensive software services. Serv. Oriented Comput. Appl. 3(4): 263-283 (2009) - [j39]Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Customising Web Information Systems According to User Preferences. World Wide Web 12(1): 27-50 (2009) - [c123]Jayson Speer, Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe:
Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery. ADC 2009: 19-28 - [c122]Bernhard Thalheim, Klaus-Dieter Schewe, Hui Ma:
Conceptual Application Domain Modelling. APCCM 2009: 49-57 - [c121]Hui Ma, Klaus-Dieter Schewe, Qing Wang:
An abstract model for service provision, search and composition. APSCC 2009: 95-102 - [c120]Markus Kirchberg, Klaus-Dieter Schewe, Jane Zhao:
Using Abstract State Machines for the Design of Multi-level Transaction Schedulers. Rigorous Methods for Software Construction and Analysis 2009: 65-77 - [c119]Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim:
A Fixed-Point Query Language for XML. EJC 2009: 226-246 - [c118]Hui Ma, René Noack, Klaus-Dieter Schewe:
Algebraic Meta-structure Handling of Huge Database Schemata. ER Workshops 2009: 12-21 - [c117]Markus Kirchberg, Klaus-Dieter Schewe:
Preface to ETheCoM 2009. ER Workshops 2009: 33 - [c116]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim:
Geometrically Enhanced Conceptual Modelling. ER 2009: 219-233 - [c115]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim:
Web information systems design in the era of web 2.0 and beyond. iiWAS 2009: 10 - [c114]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
A service-oriented approach to web warehousing. iiWAS 2009: 96-103 - [c113]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim:
Modelling and Maintenance of Very Large Database Schemata Using Meta-structures. UNISCON 2009: 17-28 - [c112]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim:
Storyboarding - High-Level Engineering of Web Information Systems. WISE 2009: 7-8 - 2008
- [j38]Attila Sali, Klaus-Dieter Schewe:
Keys and Armstrong Databases in Trees with Restructuring. Acta Cybern. 18(3): 529-556 (2008) - [j37]Klaus-Dieter Schewe, Jane Zhao:
Typed Abstract State Machines for data-intensive applications. Knowl. Inf. Syst. 15(3): 381-391 (2008) - [c111]Qing Wang, Klaus-Dieter Schewe:
A Typed Higher-Order Calculus for Querying XML Databases. ADC 2008: 103-113 - [c110]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim:
Context Analysis: Toward Pragmatics of Web Information Systems Design. APCCM 2008: 69-78 - [c109]Qing Wang, Klaus-Dieter Schewe, Bernhard Thalheim:
XML Database Transformations with Tree Updates. ABZ 2008: 342 - [c108]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Abstract State Services. ER Workshops 2008: 406-415 - [c107]Qing Wang, Klaus-Dieter Schewe:
Towards a Logic for Abstract MetaFinite State Machines. FoIKS 2008: 365-380 - [c106]Klaus-Dieter Schewe, Bernhard Thalheim:
Web information systems co-design. iiWAS 2008: 3 - [c105]Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Validation of streaming XML documents with abstract state machines. iiWAS 2008: 147-153 - [c104]Klaus-Dieter Schewe, Bernhard Thalheim:
Facets of Media Types. UNISCON 2008: 296-305 - [c103]Bernhard Thalheim, Klaus-Dieter Schewe:
ASM Foundations of Database Management. UNISCON 2008: 318-331 - [c102]Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe:
A Query Language for Rational Tree Structures. UNISCON 2008: 457-468 - [c101]Klaus-Dieter Schewe, Bernhard Thalheim:
Semantics in Data and Knowledge Bases. SDKB 2008: 1-25 - [e10]Klaus-Dieter Schewe, Bernhard Thalheim:
Semantics in Data and Knowledge Bases, Third International Workshop, SDKB 2008, Nantes, France, March 29, 2008, Revised Selected Papers. Lecture Notes in Computer Science 4925, Springer 2008, ISBN 978-3-540-88593-1 [contents] - [e9]James Bailey, David Maier, Klaus-Dieter Schewe, Bernhard Thalheim, Xiaoyang Sean Wang:
Web Information Systems Engineering - WISE 2008, 9th International Conference, Auckland, New Zealand, September 1-3, 2008. Proceedings. Lecture Notes in Computer Science 5175, Springer 2008, ISBN 978-3-540-85480-7 [contents] - [i1]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang:
Composing Personalised Services on top of Abstract State Services. The Evolution of Conceptual Modeling 2008 - 2007
- [j36]Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov, Richard Wang:
A multi-level architecture for distributed object bases. Data Knowl. Eng. 60(1): 150-184 (2007) - [j35]Hui Ma, Klaus-Dieter Schewe, Qing Wang:
Distribution design for higher-order data models. Data Knowl. Eng. 60(2): 400-434 (2007) - [j34]Klaus-Dieter Schewe, Bernhard Thalheim:
Personalisation of web information systems - A term rewriting approach. Data Knowl. Eng. 62(1): 101-117 (2007) - [j33]Klaus-Dieter Schewe, Bernhard Thalheim:
Pragmatics of storyboarding for web information systems: usage analysis. Int. J. Web Grid Serv. 3(2): 128-169 (2007) - [c100]Hui Ma, Klaus-Dieter Schewe, Qing Wang:
A Heuristic Approach to Cost-Efficient Derived Horizontal Fragmentation of Complex Value Databases. ADC 2007: 103-111 - [c99]Henning Köhler, Klaus-Dieter Schewe, Jane Zhao:
Dynamic Data Warehouse Design as a Refinement in ASM-based Approach. APCCM 2007: 61-69 - [c98]Sven Hartmann, Hui Ma, Klaus-Dieter Schewe:
Cost-Based Vertical Fragmentation for XML. APWeb/WAIM Workshops 2007: 12-24 - [c97]Thomas Moritz, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim:
Principles of Screenography. CAiSE Forum 2007 - [c96]Klaus-Dieter Schewe, Bernhard Thalheim:
Storyboarding Concepts for Edutainment WIS. EJC 2007: 59-78 - [c95]Thomas Moritz, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim:
Intention-Driven Screenography. ISTA 2007: 128-139 - [c94]Klaus-Dieter Schewe, Jane Zhao, Bernhard Thalheim:
Quality Assurance in Web Information Systems Development. QSIC 2007: 219-224 - [c93]Klaus-Dieter Schewe, Bernhard Thalheim:
Life Cases - An Approach to Address Pragmatics in the Design of Web Information Systems. WEBIST (2) 2007: 5-12 - [c92]Klaus-Dieter Schewe, Bernhard Thalheim:
Life Cases: A Kernel Element for Web Information Systems Engineering. WEBIST (Selected Papers) 2007: 139-156 - [c91]Klaus-Dieter Schewe, Bernhard Thalheim:
Term Rewriting for Web Information Systems - Termination and Church-Rosser Property. WISE 2007: 261-272 - [e8]Christine Parent, Klaus-Dieter Schewe, Veda C. Storey, Bernhard Thalheim:
Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings. Lecture Notes in Computer Science 4801, Springer 2007, ISBN 978-3-540-75562-3 [contents] - 2006
- [j32]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Functional and multivalued dependencies in nested databases generated by record and list constructor. Ann. Math. Artif. Intell. 46(1-2): 114-164 (2006) - [j31]Attila Sali, Klaus-Dieter Schewe:
Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels. Fundam. Informaticae 70(3): 277-301 (2006) - [j30]Heinrich C. Mayr, Klaus-Dieter Schewe, Bernhard Thalheim, Tatjana Welzer:
Integration of Bargaining into E-Business Systems. Informatica (Slovenia) 30(3): 335-345 (2006) - [j29]Roland H. Kaschek, Claire Matthews, Klaus-Dieter Schewe, Catherine Wallace:
Information systems design: through adaptivity to ubiquity. Inf. Syst. E Bus. Manag. 4(2): 137-158 (2006) - [j28]Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe, Alexei Tretiakov:
Towards Algebraic Query Optimisation for XQuery. J. Data Semant.: 165-195 (2006) - [j27]Hans-Dieter Ehrich, Klaus-Dieter Schewe, T. H. Tse:
Editorial. J. Syst. Softw. 79(5): 575-576 (2006) - [j26]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Theor. Comput. Sci. 355(2): 167-196 (2006) - [j25]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Erratum to "Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets". Theor. Comput. Sci. 360(1-3): 459 (2006) - [c90]Markus Kirchberg, Faizal Riaz-ud-Din, Klaus-Dieter Schewe, Alexei Tretiakov:
Using reflection for querying XML documents. ADC 2006: 119-128 - [c89]Hui Ma, Klaus-Dieter Schewe, Qing Wang:
A heuristic approach to cost-efficient fragmentation and allocation of complex value databases. ADC 2006: 183-192 - [c88]Klaus-Dieter Schewe, Bernhard Thalheim:
Component-driven engineering of database applications. APCCM 2006: 105-114 - [c87]Hui Ma, Klaus-Dieter Schewe, Markus Kirchberg:
A Heuristic Approach to Fragmentation Incorporating Query Information. DB&IS 2006: 103-116 - [c86]Alexander Bienemann, Klaus-Dieter Schewe, Bernhard Thalheim:
Towards a Theory of Genericity Based on Government and Binding. ER 2006: 311-324 - [c85]Sebastian Link, Klaus-Dieter Schewe, Jane Zhao:
Refinements in Typed Abstract State Machines. Ershov Memorial Conference 2006: 310-321 - [c84]Hui Ma, Klaus-Dieter Schewe, Jane Zhao:
View Integration in Data Warehouse Design Using Typed Abstract State Machines and Strong Data Refinement. QSIC 2006: 175-184 - [c83]Klaus-Dieter Schewe, Bernhard Thalheim:
User Models: A Contribution to Pragmatics of Web Information Systems Design. WISE 2006: 512-523 - 2005
- [j24]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Functional Dependencies over XML Documents with DTDs. Acta Cybern. 17(1): 153-171 (2005) - [j23]Klaus-Dieter Schewe, Bernhard Thalheim:
Conceptual modelling of web information systems. Data Knowl. Eng. 54(2): 147-188 (2005) - [j22]Klaus-Dieter Schewe, Bernhard Thalheim, Aleksander Binemann-Zdanowicz, Roland H. Kaschek, Thomas Kuss, Bernd Tschiedel:
A Conceptual View of Web-Based E-Learning Systems. Educ. Inf. Technol. 10(1-2): 83-110 (2005) - [j21]Klaus-Dieter Schewe, Jose Maria Turull Torres:
A Theory of Local Set Queries. Log. J. IGPL 13(1): 47-68 (2005) - [j20]Klaus-Dieter Schewe, Bernhard Thalheim:
The Co-Design Approach to Web Information Systems Development. Int. J. Web Inf. Syst. 1(1): 5-14 (2005) - [j19]Thomas Moritz, Klaus-Dieter Schewe, Bernhard Thalheim:
Stragetic Modelling of Web Information Systems. Int. J. Web Inf. Syst. 1(4): 223-240 (2005) - [j18]Klaus-Dieter Schewe, Roland H. Kaschek, Catherine Wallace, Claire Matthews:
Emphasizing the communication aspects for the successful development of electronic business systems. Inf. Syst. E Bus. Manag. 3(1): 71-100 (2005) - [j17]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Jane Zhao:
View Integration and Cooperation in Databases, Data Warehouses and Web Information Systems. J. Data Semant.: 213-249 (2005) - [j16]Klaus-Dieter Schewe:
Functional Dependencies with Counting on Trees. J. Univers. Comput. Sci. 11(12): 2063-2075 (2005) - [c82]Klaus-Dieter Schewe:
Redundancy, Dependencies and Normal Forms for XML Databases. ADC 2005: 7-16 - [c81]Klaus-Dieter Schewe, Jane Zhao:
Balancing Redundancy and Query Costs in Distributed Data Warehouses. APCCM 2005: 97-106 - [c80]Klaus-Dieter Schewe, Jane Zhao:
ASM Ground Model and Refinement for Data Warehouses. Abstract State Machines 2005: 369-376 - [c79]Hui Ma, Klaus-Dieter Schewe:
Heuristic Horizontal XML Fragmentation. CAiSE Short Paper Proceedings 2005 - [c78]Klaus-Dieter Schewe, Jose Maria Turull Torres:
Fixed-Point Quantifiers in Higher Order Logics. EJC 2005: 237-244 - [c77]Hui Ma, Klaus-Dieter Schewe:
Query Optimisation as Part of Distribution Design for Complex Value Databases. EJC 2005: 289-296 - [c76]Klaus-Dieter Schewe:
Bargaining in E-Business Systems. ER (Workshops) 2005: 333-342 - [c75]Klaus-Dieter Schewe, Bernhard Thalheim:
Tutorial 4: Reasoning About Web Information Systems. ER (Workshops) 2005: 464-467 - [c74]Hui Ma, Klaus-Dieter Schewe, Jane Zhao:
Cost Optimisation for Distributed Data Warehouses. HICSS 2005 - [c73]Klaus-Dieter Schewe, Bernhard Thalheim, Alexei Tretiakov:
Personalised Web-Based Learning Systems. ICALT 2005: 655-658 - [c72]Aleksander Binemann-Zdanowicz, Klaus-Dieter Schewe, Bernhard Thalheim:
Development of Collaboration Frameworks for Distributed Web Information Systems. iiWAS 2005: 551-562 - [c71]Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov:
Using XML to Support Media Types. ISTA 2005: 101-113 - [c70]Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim:
Integration and Cooperation of Media Types. ISTA 2005: 139-153 - [c69]Klaus-Dieter Schewe:
The Challenges in Web Information Systems Development in 15 Pictures (Invited Talk). ISTA 2005: 204-215 - [c68]Aleksander Binemann-Zdanowicz, Bernhard Thalheim, Klaus-Dieter Schewe, Jane Zhao:
Quality Assurance in the Design of Web Information Systems. QSIC 2005: 91-98 - [c67]Klaus-Dieter Schewe, Bernhard Thalheim:
An Algorithmic Approach to High-Level Personalisation of Web Information Systems. WAIM 2005: 737-742 - 2004
- [j15]Sebastian Link, Klaus-Dieter Schewe:
Distance Functional Dependencies in the Presence of Complex Values. Acta Cybern. 16(3): 459-472 (2004) - [j14]Thomas Eiter, Klaus-Dieter Schewe:
Preface. Ann. Math. Artif. Intell. 40(1-2): 1-3 (2004) - [j13]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe, Bernhard Thalheim:
Error-Robust Functional Dependencies. Fundam. Informaticae 59(4): 365-372 (2004) - [j12]Klaus-Dieter Schewe, Kinshuk, Tiong Goh:
Content adaptivity in wireless web access. Int. J. Mob. Commun. 2(3): 260-270 (2004) - [c66]Roland H. Kaschek, Klaus-Dieter Schewe, Catherine Wallace, Claire Matthews:
Towards Systematic Personalization of Information Spaces. ACIS 2004 - [c65]Klaus-Dieter Schewe, Bernhard Thalheim:
Reasoning About Web Information Systems Using Story Algebras. ADBIS 2004: 54-66 - [c64]Aleksander Binemann-Zdanowicz, Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim:
Context-Aware Web Information Systems. APCCM 2004: 37-48 - [c63]Jane Zhao, Klaus-Dieter Schewe:
Using Abstract State Machines for Distributed Data Warehouse Design. APCCM 2004: 49-58 - [c62]Klaus-Dieter Schewe, Bernhard Thalheim, Roland H. Kaschek:
A Deontic Logic for Group-Oriented Web Information Systems. EMISA 2004: 107-116 - [c61]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Weak Functional Dependencies in Higher-Order Datamodels. FoIKS 2004: 116-133 - [c60]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
Reasoning about Functional and Multi-valued Dependencies in the Presence of Lists. FoIKS 2004: 134-154 - [c59]Aleksander Binemann-Zdanowicz, Klaus-Dieter Schewe, Bernhard Thalheim:
Adaptation to Learning Styles. ICALT 2004 - [c58]Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Gunar Fiedler:
Contextualizing Electronic Learning Systems. ICALT 2004 - [c57]Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Thomas Kuss, Bernd Tschiedel:
Learner Typing for Electronic Learning Systems. ICALT 2004 - [c56]Oleg Rostanin, Klaus-Dieter Schewe, Bernhard Thalheim, Alexei Tretiakov:
Managing the Data in Electronic Learning Systems. ICALT 2004 - [c55]Markus Kirchberg, Klaus-Dieter Schewe, Bernhard Thalheim, Richard Wang:
A Three-Level Architecture for Distributed Web Information Systems. ICWE 2004: 137-141 - [c54]Bernhard Thalheim, Klaus-Dieter Schewe, Irina Romalis, Thomas Raak, Gunar Fiedler:
Website Modeling and Website Generation. ICWE 2004: 577-578 - [c53]Klaus-Dieter Schewe, Bernhard Thalheim, Sergiy Zlatkin:
Modelling Actors and Stories in Web Information Systems. ISTA 2004: 13-23 - [c52]Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov, Alexander Kuckelberg:
On Coding Navigation Paths for In-Memory Navigation in Persistent Object Stores. SBBD 2004: 259-268 - [c51]Klaus-Dieter Schewe:
The Power of Media Types. WISE 2004: 53-58 - [c50]Klaus-Dieter Schewe, Bernhard Thalheim:
The Co-design Approach to WIS Development in E-business and E-learning Applications. WISE Workshops 2004: 181-189 - [e7]Klaus-Dieter Schewe, Hugh E. Williams:
Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, ADC 2004, Dunedin, New Zealand, 18-22 January 2004. CRPIT 27, Australian Computer Society 2004, ISBN 1-920682-06-6 [contents] - 2003
- [j11]Sven Hartmann, Anne Hoffmann, Sebastian Link, Klaus-Dieter Schewe:
Axiomatizing functional dependencies in the Higher-Order Entity-Relationship Model. Inf. Process. Lett. 87(3): 133-137 (2003) - [c49]Roland H. Kaschek, Claire Matthews, Klaus-Dieter Schewe, Catherine Wallace:
Analysing Web Information Systems with the Abstraction Layer Model and Sitelang. ACIS 2003 - [c48]Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim:
Context Modeling for Web Information Systems. CAiSE Short Paper Proceedings 2003 - [c47]Sven Hartmann, Sebastian Link, Klaus-Dieter Schewe:
A New Normal Form for Conceptual Database. EJC 2003: 88-105 - [c46]Markus Kirchberg, Klaus-Dieter Schewe, Alexei Tretiakov:
A Multi-Level Architecture for Distributed Object Bases. ICEIS (1) 2003: 63-70 - [c45]Roland H. Kaschek, Claire Matthews, Catherine Wallace, Klaus-Dieter Schewe:
Increasing Automation in Lending. iiWAS 2003 - [c44]Hui Ma, Klaus-Dieter Schewe:
Fragmentation of XML Documents. SBBD 2003: 200-214 - [c43]Roland H. Kaschek, Klaus-Dieter Schewe, Bernhard Thalheim, Lei Zhang:
Integrating Context in Modelling for Web Information Systems. WES 2003: 77-88 - [e6]Klaus-Dieter Schewe, Xiaofang Zhou:
Database Technologies 2003, Proceedings of the 14th Australasian Database Conference, ADC 2003, Adelaide, South Australia, February 2003. CRPIT 17, Australian Computer Society 2003, ISBN 0-909-92595-X [contents] - [e5]Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim:
Semantics in Databases, Second International Workshop, Dagstuhl Castle, Germany, January 7-12, 2001, Revised Papers. Lecture Notes in Computer Science 2582, Springer 2003, ISBN 3-540-00957-4 [contents] - 2002
- [j10]Sebastian Link, Klaus-Dieter Schewe:
An Arithmetic Theory of Consistency Enforcement. Acta Cybern. 15(3): 379-416 (2002) - [c42]Klaus-Dieter Schewe:
Fragmentation of Object Oriented and Semistructured Data. BalticDB&IS 2002: 253-266 - [c41]Klaus-Dieter Schewe:
Support of Integrated Wireless Web Access through Media Types. ER (Workshops) 2002: 173-181 - [c40]Klaus-Dieter Schewe, Roland H. Kaschek, Claire Matthews, Catherine Wallace:
Modelling Web-Based Banking Systems: Story Boarding and User Profiling. ER (Workshops) 2002: 427-439 - [c39]Sebastian Link, Klaus-Dieter Schewe:
Towards an Arithmetic Theory of Consistency Enforcement based on Preservation of delta-constraints. CATS 2002: 64-83 - [c38]Klaus-Dieter Schewe, Jose Maria Turull Torres:
Computable Queries for Object Oriented Databases. WoLLIC 2002: 296-312 - [e4]Thomas Eiter, Klaus-Dieter Schewe:
Foundations of Information and Knowledge Systems, Second International Symposium, FoIKS 2002 Salzau Castle, Germany, February 20-23, 2002, Proceedings. Lecture Notes in Computer Science 2284, Springer 2002, ISBN 3-540-43220-5 [contents] - 2001
- [c37]Klaus-Dieter Schewe:
Design theory for advanced datamodels. ADC 2001: 3-9 - [c36]Klaus-Dieter Schewe:
On the unification of query algebras and their extension to rational tree structures. ADC 2001: 52-59 - [c35]Markus Kirchberg, Klaus-Dieter Schewe:
A comparison of multi-level concurrency control protocols. ADC 2001: 153-160 - [c34]Klaus-Dieter Schewe:
Querying Web Information Systems. ER 2001: 571-584 - [c33]Leopoldo E. Bertossi, Gyula O. H. Katona, Klaus-Dieter Schewe, Bernhard Thalheim:
Semantics in Databases. Semantics in Databases 2001: 1-6 - [c32]Sebastian Link, Klaus-Dieter Schewe:
Computability and Decidability Issues in the Theory of Consistency Enforcement. CATS 2001: 174-196 - 2000
- [j9]Klaus-Dieter Schewe, Torsten Ripke, Sven Drechsler:
Hybrid Concurrency Control and Recovery for Multi-Level Transactions. Acta Cybern. 14(3): 419-453 (2000) - [j8]Klaus-Dieter Schewe, Bettina Schewe:
Integrating Database and Dialogue Design. Knowl. Inf. Syst. 2(1): 1-12 (2000) - [c31]Klaus-Dieter Schewe:
UML: A Modern Dinosaur? A Critical Analysis of the Unified Modelling Language. EJC 2000: 185-202 - [c30]Klaus-Dieter Schewe:
Discussion Session on Concept Theory and Conceptual Modelling. EJC 2000: 339-345 - [c29]Thomas Lehmann, Klaus-Dieter Schewe:
A Pragmatic Method for the Integration of Higher-Order Entity-Relationship Schemata. ER 2000: 37-51 - [c28]Klaus-Dieter Schewe:
Controlled Automation of Consistency Enforcement. ASE 2000: 265-268 - [c27]Klaus-Dieter Schewe, Bernhard Thalheim:
Modeling Interaction and Media Objects. NLDB 2000: 313-324 - [c26]Thomas Feyer, Odej Kao, Klaus-Dieter Schewe, Bernhard Thalheim:
Design of Data-Intesive Web-based Information Services. WISE 2000: 462-467 - [e3]Klaus-Dieter Schewe, Bernhard Thalheim:
Foundations of Information and Knowledge Systems, First International Symposium, FoIKS 2000, Burg, Germany, February 14-17, 2000, Proceedings. Lecture Notes in Computer Science 1762, Springer 2000, ISBN 3-540-67100-5 [contents]
1990 – 1999
- 1999
- [j7]Klaus-Dieter Schewe, Bernhard Thalheim:
Towards a Theory of Consistency Enforcement. Acta Informatica 36(2): 97-141 (1999) - [c25]Klaus-Dieter Schewe:
On a Galois Correspondence in Object Oriented Databases. ADBIS (Short Papers) 1999: 207-213 - [c24]Klaus-Dieter Schewe:
The Type Concept in OODB Modelling and its Logical Implications. EJC 1999: 256-274 - [c23]Jana Lewerenz, Klaus-Dieter Schewe, Bernhard Thalheim:
Modelling Data Warehouses and OLAP Applications by Means of Dialogue Objects. ER 1999: 354-368 - [c22]Klaus-Dieter Schewe, Bernhard Thalheim:
A Generalization of Dijkstra's Calculus to Typed Program Specifications. FCT 1999: 463-474 - [c21]Klaus-Dieter Schewe:
Recoverability and Strictness for Multi-Level Schedules: Locking and Hybrid Protocols. FMLDO 1999: 1-20 - [e2]Torsten Polle, Torsten Ripke, Klaus-Dieter Schewe:
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. Kluwer 1999, ISBN 0-7923-8450-4 [contents] - 1998
- [j6]Klaus-Dieter Schewe, Bernhard Thalheim:
Limitations of Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications. Acta Cybern. 13(3): 277-304 (1998) - [j5]Klaus-Dieter Schewe:
Consistency Enforcement in Entity-Relationship and Object-Oriented Models. Data Knowl. Eng. 28(1): 121-140 (1998) - [j4]Klaus-Dieter Schewe:
7th International Workshop on Foundations of Models and Languages for Data and Objects (FoMLaDO'98). Datenbank Rundbr. 22: 21-23 (1998) - [c20]Klaus-Dieter Schewe:
Fundamentals of Consistency Enforcement. EJC 1998: 275-291 - [c19]Thomas Feyer, Klaus-Dieter Schewe, Bernhard Thalheim:
Conceptual Design and Development of Information Services. ER 1998: 7-20 - 1997
- [c18]Klaus-Dieter Schewe:
Well-Behaving Rule Systems for Entity-Relationship and Object-Oriented Models. ER 1997: 141-154 - 1996
- [c17]Klaus-Dieter Schewe, Bettina Schewe:
View-Centered Conceptual Modelling - An Object-Oriented Approach. ER 1996: 357-371 - [c16]Klaus-Dieter Schewe:
Tailoring Consistent Specializations as a Natural Approach to Consistency Enforcement (Extended Abstract). FMLDO 1996: 73-85 - [c15]Klaus-Dieter Schewe, Bernhard Thalheim:
Active Consistency Enforcement for Repairable Database Transitions. FMLDO 1996: 87-102 - [c14]Klaus-Dieter Schewe:
Nicht-klassische Objektlogik. Grundlagen von Datenbanken 1996: 81-85 - [e1]Stefan Conrad, Hans-Joachim Klein, Klaus-Dieter Schewe:
Integrity in Databases - 6th International Workshop on Foundations of Models and Languages for Data and Objects, Schloss Dagstuhl, Germany, September 16-20, 1996, Proceedings. University of Magedeburg, Faculty of Computer Science 1996 [contents] - 1995
- [j3]Bettina Schewe, Klaus-Dieter Schewe, Bernhard Thalheim:
Objektorientierter Datenbankentwurf in der Entwicklung datenintensiver Informationssysteme. Inform. Forsch. Entwickl. 10(3): 115-127 (1995) - [c13]Klaus-Dieter Schewe:
Functional Sorts in Data Type Specifications: A Geometric Approach to Semantics. FCT 1995: 424-433 - [c12]Bettina Schewe, Klaus-Dieter Schewe:
A user-centered method for the development of data-intensive dialogue systems: an object-oriented approach. ISCO 1995: 88-103 - 1994
- [c11]Klaus-Dieter Schewe, David W. Stemple, Bernhard Thalheim:
Higher-Level Genericity in Object-Oriented Databases. COMAD 1994 - [c10]Klaus-Dieter Schewe:
Konsistenzerzwingung. Grundlagen von Datenbanken 1994: 112-116 - [c9]Klaus-Dieter Schewe, Bernhard Thalheim:
Achieving Consistency in Active Databases. RIDE-ADS 1994: 71-76 - 1993
- [j2]Klaus-Dieter Schewe, Bernhard Thalheim:
Fundamental Concepts of Object Oriented Databases. Acta Cybern. 11(1-2): 49-83 (1993) - [j1]Bettina Schewe, Klaus-Dieter Schewe, Bernhard Thalheim:
Verfeinerungsschritte im Rahmen einer objektorientierten Entwurfsmethodik. GI Datenbank Rundbrief 12: 7-14 (1993) - [c8]Klaus-Dieter Schewe, Bernhard Thalheim, Ingrid Wetzel:
Integrity Preserving Updates in Object-Oriented Databases. Australian Database Conference 1993: 171-185 - [c7]Thomas Günther, Klaus-Dieter Schewe, Ingrid Wetzel:
On the Derivation of Executable Database Programs from Formal Specifications. FME 1993: 351-366 - 1992
- [c6]Klaus-Dieter Schewe, Bernhard Thalheim, Joachim W. Schmidt, Ingrid Wetzel:
Integrity Enforcement in Object-Oriented Databases. FMLDO 1992: 174-195 - [c5]Klaus-Dieter Schewe, Florian Matthes, Joachim W. Schmidt, Ingrid Wetzel:
Formalisierung Objektorientierter Datenbanken: Design- und Sprachunterstützung. Grundlagen von Datenbanken 1992: 146-151 - [c4]Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel:
Identification, Genericity and Consistency in Object-Oriented Databases. ICDT 1992: 341-356 - [p1]Klaus-Dieter Schewe, Ingrid Wetzel, Joachim W. Schmidt:
Towards a Structured Specification Language for Database Applications. Specifications of Database Systems 1992: 255-274 - 1991
- [c3]Klaus-Dieter Schewe, Joachim W. Schmidt, Ingrid Wetzel:
Specification and Refinement in an Integrated Database Application Environment. VDM Europe (1) 1991: 496-510
1980 – 1989
- 1989
- [c2]Klaus-Dieter Schewe:
Network and Resource Planning for Office Information Systems. Kommunikation in Verteilten Systemen 1989: 789-803 - [c1]Klaus-Dieter Schewe:
Variant Construction Using Constraint Propagation Techniques over Semantic Networks. ÖGAI 1989: 188-197
Coauthor Index
Yamine Aït-Ameur
aka: Yamine Aït Ameur
aka: Yamine Aït Ameur
[b3] [e25] [p4] [e22] [j59] [c138] [e19] [j56] [j55] [j53] [e11] [j50] [c129] [c126] [c125] [c124] [j41] [j40] [j39] [c122] [c119] [c116] [c115] [c114] [c113] [c112] [c110] [c109] [c108] [c106] [c105] [c104] [c103] [c101] [e10] [e9] [i1] [j34] [j33] [c97] [c96] [c95] [c94] [c93] [c92] [c91] [e8] [j30] [c88] [c86] [c83] [j23] [j22] [j20] [j19] [j17] [c75] [c73] [c72] [c70] [c68] [c67] [j13] [c65] [c64] [c62] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c50] [c48] [c43] [e5] [c33] [c27] [c26] [e3] [j7] [c23] [c22] [j6] [c19] [c15] [j3] [c11] [c9] [j2] [j1] [c8] [c6]
José Maria Turull Torres
aka: Jose Maria Turull Torres
aka: Jose Maria Turull Torres
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-05-03 01:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
