


Остановите войну!
for scientists:


default search action
Klaus-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
- 2023
- [c179]Linjie Tong, Ke Xu, Jiarun Hu, Flavio Ferrarotti, Klaus-Dieter Schewe:
Exploration of Reflective ASMs for Security. ABZ 2023: 185-192 - [c178]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) - [c177]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) - [c176]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 - [c175]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 - [c174]Klaus-Dieter Schewe:
Computation on Structures - Behavioural Theory, Logic, Complexity. Logic, Computation and Rigorous Methods 2021: 266-282 - [c173]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) - [c172]Egon Börger, Klaus-Dieter Schewe:
A Characterization of Distributed ASMs with Partial-Order Runs. ABZ 2020: 78-92 - [c171]Klaus-Dieter Schewe, Flavio Ferrarotti:
A Logic for Reflective ASMs. ABZ 2020: 93-106 - [c170]Sarah Benyagoub, Yamine Aït Ameur, Klaus-Dieter Schewe:
Event-B-Supported Choreography-Defined Communicating Systems - Correctness and Completeness. ABZ 2020: 155-168 - [c169]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 - [c168]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) - [c167]Klaus-Dieter Schewe:
Consistency Enforcement for Static First-Order Invariants in Sequential Abstract State Machines. ICFEM 2019: 219-235 - [c166]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) - [c165]Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe:
Efficient SPARQL Evaluation on Stratified RDF Data with Meta-data. ADBIS 2018: 99-112 - [c164]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang
:
Distributed Adaptive Systems - Theory, Specification, Reasoning. ABZ 2018: 16-30 - [c163]Christoph Beierle, Klaus-Dieter Schewe:
Abstract State Machines with Exact Real Arithmetic. ABZ 2018: 139-154 - [c162]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 - [c161]Klaus-Dieter Schewe, Loredana Tec, Qing Wang
:
Capturing Membrane Computing by ASMs. ABZ 2018: 380-385 - [c160]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 - [c159]Klaus-Dieter Schewe:
Extensions to Hybrid Event-B to Support Concurrency in Cyber-Physical Systems. MEDI 2018: 418-433 - [c158]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) - [c157]Klaus-Dieter Schewe, Flavio Ferrarotti
, Loredana Tec, Qing Wang
, Wenya An:
Evolving concurrent systems: behavioural theory and logic. ACSW 2017: 77:1-77:10 - [c156]Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
A Conceptual Model for Systems Engineering and Its Formal Foundation. EJC 2017: 1-20 - [c155]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 - [c154]Andreea Buga, Sorana Tania Nemes, Klaus-Dieter Schewe:
Conceptual Modelling of Autonomous Multi-cloud Interaction with Reflective Semantics. ER 2017: 120-133 - [c153]Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec:
A Behavioural Theory for Reflective Sequential Algorithms. Ershov Informatics Conference 2017: 117-131 - [c152]Andreea Buga, Atif Mashkoor
, Sorana Tania Nemes, Klaus-Dieter Schewe, Pornpan Songprasop:
Conceptual Modelling of Hybrid Systems - Structure and Behaviour. MEDI 2017: 277-290 - [c151]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) - [c150]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 - [c149]Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang:
Towards a Behavioural Theory for Random Parallel Computing. Computational Models of Rationality 2016: 365-376 - [c148]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 - [c147]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 - [c146]Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
:
A Logic for Non-deterministic Parallel Abstract State Machines. FoIKS 2016: 334-354 - [c145]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) - [c144]Qing Wang
, Klaus-Dieter Schewe, Woods Wang:
Provenance-Aware Entity Resolution: Leveraging Provenance to Improve Quality. DASFAA (1) 2015: 474-490 - [c143]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 - [c142]Klaus-Dieter Schewe:
Rigorous Semantics and Renement for Business Processes. ICTERI 2015: 1-2 - [c141]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) - [c140]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) - [c139]Dominic Looser, Hui Ma, Klaus-Dieter Schewe:
Using Formal Concept Analysis for Ontology Maintenance in Human Resource Recruitment. APCCM 2013: 61-68 - [c138]Klaus-Dieter Schewe:
Horizontal and Vertical Business Process Model Integration - (Abstract). DEXA (1) 2013: 1-3 - [c137]Hui Ma, Klaus-Dieter Schewe:
Query Handling in Geometric Conceptual Modelling. EJC 2013: 174-189 - [c136]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) - [c135]Klaus-Dieter Schewe, Qing Wang
:
A Simplified Parallel ASM Thesis. ABZ 2012: 341-344 - [c134]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 - [c133]Klaus-Dieter Schewe, Qing Wang
:
On the Decidability and Complexity of Identity Knowledge Representation. DASFAA (1) 2012: 288-302 - [c132]Klaus-Dieter Schewe, Qing Wang:
Third International Workshop on Conceptual Modelling of Services (CMS 2012). ER Workshops 2012: 1-2 - [c131]Klaus-Dieter Schewe, Qing Wang
:
Synchronous Parallel Database Transformations. FoIKS 2012: 370-383 - [c130]Klaus-Dieter Schewe, Qing Wang
:
Preferential Refinements of Abstract State Machines for Service Mediators. QSIC 2012: 158-166 - [c129]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,