Klaus-Dieter Schewe

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 77

Top Venues

CoRR

ABZ

Sci. Comput. Program.

FoIKS

Publications

Flavio Ferrarotti, Klaus-Dieter Schewe
Modal Extensions of the Logic of Abstract State Machines. ABZ (2024)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). CoRR (2024)
Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh, Yamine Aït Ameur
A Complete Fragment of LTL(EB). FoIKS (2024)
Flavio Ferrarotti, Klaus-Dieter Schewe
Choiceless Polynomial Space. CoRR (2024)
Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
Refined Fuzzy Profile Matching. Acta Cybern. 26 (2) (2023)
Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe
Exploration of Reflective ASMs for Security. ABZ (2023)
Flavio Ferrarotti, Klaus-Dieter Schewe
Behavioural Theory of Reflective Algorithms. ABZ (2023)
Klaus-Dieter Schewe, Flavio Ferrarotti
Behavioural theory of reflective algorithms I: Reflective sequential algorithms. Sci. Comput. Program. 223 (2022)
Klaus-Dieter Schewe
Practical Theory of Computation on Structures. TASE (2022)
Zihao Li, Jiazhen Xu, Baoyi He, Klaus-Dieter Schewe
Fast and Exact Subgraph Isomorphism Querying: Using Embedding and Searching Techniques. ACAI (2022)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Uniform Polylogarithmic Space Completeness. Frontiers Comput. Sci. 4 (2022)
Klaus-Dieter Schewe, Flavio Ferrarotti, Senén González
A logic for reflective ASMs. Sci. Comput. Program. 210 (2021)
Klaus-Dieter Schewe
Computation on Structures - Behavioural Theory, Logic, Complexity. Logic, Computation and Rigorous Methods (2021)
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
Realisability of Control-State Choreographies. MEDI (2021)
Klaus-Dieter Schewe
Computation on Structures - The Challenge of Seamless Integration of Theory and Rigorous Scientific Practice. Frontiers Comput. Sci. 3 (2021)
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 (2021)
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)
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)
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) (2020)
Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ (2020)
Klaus-Dieter Schewe
Insignificant Choice Polynomial Time. CoRR (2020)
Egon Börger, Klaus-Dieter Schewe
A Behavioural Theory of Recursive Algorithms. Fundam. Informaticae 177 (1) (2020)
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
Realisability of Choreographies. FoIKS (2020)
Klaus-Dieter Schewe, Flavio Ferrarotti
Behavioural Theory of Reflective Algorithms I: Reflective Sequential Algorithms. CoRR (2020)
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)
Klaus-Dieter Schewe, Flavio Ferrarotti
A Logic for Reflective ASMs. ABZ (2020)
Klaus-Dieter Schewe, Yamine Aït Ameur, Sarah Benyagoub
Realisability of Control-State Choreographies. CoRR (2020)
Egon Börger, Klaus-Dieter Schewe
A Characterization of Distributed ASMs with Partial-Order Runs. ABZ (2020)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Completeness in Polylogarithmic Time and Space. CoRR (2020)
Egon Börger, Klaus-Dieter Schewe
A Behavioural Theory of Recursive Algorithms. CoRR (2020)
Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
Concurrent Computing with Shared Replicated Memory. MEDI (2019)
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 (2019)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
BSP abstract state machines capture bulk synchronous parallel computations. Sci. Comput. Program. 184 (2019)
Christoph Beierle, Klaus-Dieter Schewe
Type-2 effectivity in abstract state machines for algorithms with exact real arithmetic. Sci. Comput. Program. 184 (2019)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
Proper Hierarchies in Polylogarithmic Time and Absence of Complete Problems. CoRR (2019)
Klaus-Dieter Schewe, Andreas Prinz, Egon Börger
Concurrent Computing with Shared Replicated Memory. CoRR (2019)
Klaus-Dieter Schewe
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. ICFEM (2019)
Christoph Beierle, Klaus-Dieter Schewe
Abstract State Machines with Exact Real Arithmetic. ABZ (2018)
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 (2018)
Klaus-Dieter Schewe, Loredana Tec, Qing Wang
Capturing Membrane Computing by ASMs. ABZ (2018)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ (2018)
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)
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)
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)
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 (2018)
Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
Refining Semantic Matching for Job Recruitment: An Application of Formal Concept Analysis. FoIKS (2018)
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) (2018)
Klaus-Dieter Schewe
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. MEDI (2018)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres
The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic. CoRR (2018)
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) (2018)
Michael J. Butler, Klaus-Dieter Schewe
Introduction to the ABZ 2016 Special issue. Sci. Comput. Program. 158 (2018)
Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. ADBIS (2018)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe
Towards Care Systems Using Model-Driven Adaptation and Monitoring of Autonomous Multi-clouds. ER Workshops (2017)
Egon Börger, Klaus-Dieter Schewe
Communication in Abstract State Machines. J. Univers. Comput. Sci. 23 (2) (2017)
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) (2017)
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 (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A Logic for Non-Deterministic Parallel Abstract State Machines. CoRR (2017)
Andreea Buga, Atif Mashkoor, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI (2017)
Egon Börger, Klaus-Dieter Schewe
Specifying Transaction Control to Serialize Concurrent Program Executions. CoRR (2017)
Klaus-Dieter Schewe
Concurrent Reflective Abstract State Machines. SYNASC (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference (2017)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe
Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. ER (2017)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A complete logic for Database Abstract State Machines1. Log. J. IGPL 25 (5) (2017)
Egon Börger, Klaus-Dieter Schewe, Qing Wang
Serialisable Multi-Level Transaction Control: A Specification and Verification. CoRR (2017)
Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop
A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC (2017)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An
Evolving concurrent systems: behavioural theory and logic. ACSW (2017)
Qing Wang, Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
A Complete Logic for Non-Deterministic Database Transformations. CoRR (2016)
Gábor Rácz, Attila Sali, Klaus-Dieter Schewe
Semantic Matching Strategies for Job Recruitment: A Comparison of New and Known Approaches. FoIKS (2016)
Yamine Aït Ameur, Klaus-Dieter Schewe
Introduction to the ABZ 2014 special issue. Sci. Comput. Program. 131 (2016)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS (2016)
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)
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)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649 (2016)
Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality (2016)
Egon Börger, Klaus-Dieter Schewe, Qing Wang
Serialisable multi-level transaction control: A specification and verification. Sci. Comput. Program. 131 (2016)
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)
Egon Börger, Klaus-Dieter Schewe
Concurrent abstract state machines. Acta Informatica 53 (5) (2016)
Klaus-Dieter Schewe, Qing Wang, Mariam Rady
Knowledge-Based Entity Resolution with Contextual Information Defined over a Monoid. MEDI (2015)
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
A New Thesis concerning Synchronised Parallel Computing - Simplified Parallel ASM Thesis. CoRR (2015)
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) (2015)
Alejandra Lorena Paoletti, Jorge Martínez Gil, Klaus-Dieter Schewe
Extending Knowledge-Based Profile Matching in the Human Resources Domain. DEXA (2) (2015)
Klaus-Dieter Schewe
Rigorous Semantics and Renement for Business Processes. ICTERI (2015)
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 (2015)
Qing Wang, Klaus-Dieter Schewe, Woods Wang
Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality. DASFAA (1) (2015)
Flavio Ferrarotti, Georg Grossmann, Klaus-Dieter Schewe, Qing Wang
Conceptual Modelling with Specific Focus on Service-Oriented Systems. J. Univers. Comput. Sci. 20 (3) (2014)
Egon Börger, Klaus-Dieter Schewe
Specifying Transaction Control to Serialize Concurrent Program Executions. ABZ (2014)
Klaus-Dieter Schewe, Qing Wang
A theoretical framework for knowledge-based entity resolution. Theor. Comput. Sci. 549 (2014)
Bernhard Thalheim, Hannu Jaakkola, Takafumi Nakanishi, Shiori Sasaki, Klaus-Dieter Schewe
Conceptual Modelling of Collaboration for Information Systems. EJC (2013)
Klaus-Dieter Schewe, Qing Wang
Knowledge-aware identity services. Knowl. Inf. Syst. 36 (2) (2013)
Hui Ma, René Noack, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
Complete Conceptual Schema Algebras. Fundam. Informaticae 124 (3) (2013)
Dominic Looser, Hui Ma, Klaus-Dieter Schewe
Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment. APCCM (2013)
Hui Ma, Klaus-Dieter Schewe
Query Handling in Geometric Conceptual Modelling. EJC (2013)
Klaus-Dieter Schewe
Horizontal and Vertical Business Process Model Integration - (Abstract). DEXA (1) (2013)
Klaus-Dieter Schewe, Qing Wang
Synchronous Parallel Database Transformations. FoIKS (2012)
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)
Ji Ma, Klaus-Dieter Schewe
A Temporalised Belief Logic for Reasoning about Authentication Protocols. TrustCom (2012)
Klaus-Dieter Schewe, Qing Wang
A Simplified Parallel ASM Thesis. ABZ (2012)
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim, Qing Wang
A formal model for the interoperability of service clouds. Serv. Oriented Comput. Appl. 6 (3) (2012)
Klaus-Dieter Schewe, Qing Wang
Third International Workshop on Conceptual Modelling of Services (CMS 2012). ER Workshops (2012)
Klaus-Dieter Schewe, Qing Wang
Preferential Refinements of Abstract State Machines for Service Mediators. QSIC (2012)

Klaus-Dieter Schewe.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Klaus-Dieter Schewe