default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMartin Wirsing
Person information
- affiliation: Ludwig Maximilian University of Munich, Germany
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c131]Mirco Tribastone, Stefan Jähnichen, Martin Wirsing:
Introduction to the REoCAS Colloquium in Honor of Rocco De Nicola's 70th Birthday. ISoLA (1) 2024: 1-12- [c130]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Symbolic Realisation of Epistemic Processes. LPAR 2024: 390-407 - [i8]Guillermo Badia, Daniel Gaina, Alexander Knapp, Tomasz Kowalski
, Martin Wirsing:
Hybrid-Dynamic Ehrenfeucht-Fraïssé Games. CoRR abs/2406.02094 (2024) - [i7]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles in Semantic and Symbolic Environments (Extended Version with Proofs). CoRR abs/2408.01115 (2024) - 2023
- [j47]Martin Wirsing, Alexander Knapp:
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. Log. J. IGPL 31(6): 1047-1068 (2023) - [j46]Manfred Broy, Albrecht Schmidt, Martin Wirsing:
In memory of Heinrich Hussmann, long-time friend and SoSyM editor. Softw. Syst. Model. 22(2): 453-454 (2023) - [j45]Martin Wirsing, Stefan Jähnichen, Rocco De Nicola:
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25(5): 617-624 (2023) - [c129]Martin Wirsing, Lenz Belzner:
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 281-306 - [c128]Lenz Belzner, Thomas Gabor, Martin Wirsing:
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study. AISoLA 2023: 355-374 - 2022
- [c127]Xiyue Sun, Fabian R. Pieroth, Kyrill Schmid, Martin Wirsing, Lenz Belzner:
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives. ICDCS Workshops 2022: 113-118 - [c126]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition. ISoLA (3) 2022: 3-12 - [c125]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Epistemic Ensembles. ISoLA (3) 2022: 110-126 - 2021
- [j44]Lenz Belzner, Martin Wirsing:
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking. Sci. Comput. Program. 206: 102620 (2021) - [j43]Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing:
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23(5): 679-684 (2021) - 2020
- [j42]Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22(4): 389-397 (2020) - [c124]Martin Wirsing, Rocco De Nicola, Stefan Jähnichen:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) 2020: 161-170 - [c123]Rolf Hennicker, Martin Wirsing:
A Dynamic Logic for Systems with Predicate-Based Communication. ISoLA (2) 2020: 224-242 - [i6]Lenz Belzner, Martin Wirsing:
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking. CoRR abs/2005.03898 (2020)
2010 – 2019
- 2019
- [c122]Rolf Hennicker, Martin Wirsing:
A Generic Dynamic Logic with Applications to Interaction-Based Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 172-187 - [c121]Martin Wirsing, Rolf Hennicker:
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 367-387 - [e23]Mauro Calise, Carlos Delgado Kloos, Catherine Mongenet, Justin Reich, José A. Ruipérez-Valiente, Gideon Shimshon, Thomas Staubitz, Martin Wirsing:
Proceedings of Work in Progress Papers of the Research, Experience and Business Tracks at EMOOCs 2019, co-located with the European MOOCs Stakeholders Submmit 2019 Conference, Naples, Italy, May 20-22, 2019. CEUR Workshop Proceedings 2356, CEUR-WS.org 2019 [contents] - [e22]Mauro Calise, Carlos Delgado Kloos, Justin Reich, José A. Ruipérez-Valiente, Martin Wirsing:
Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge - 6th European MOOCs Stakeholders Summit, EMOOCs 2019, Naples, Italy, May 20-22, 2019, Proceedings. Lecture Notes in Computer Science 11475, Springer 2019, ISBN 978-3-030-19874-9 [contents] - 2018
- [j41]Rolf Hennicker, Alexandre Madeira, Martin Wirsing:
Behavioural and abstractor specifications revisited. Theor. Comput. Sci. 741: 32-43 (2018) - [c120]Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) 2018: 3-12 - [c119]Rolf Hennicker, Martin Wirsing:
Dynamic Logic for Ensembles. ISoLA (3) 2018: 32-47 - [c118]Stefan Jähnichen, Rocco De Nicola, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) 2018: 109-117 - [c117]Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing:
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents. ISoLA (3) 2018: 241-256 - [i5]Lenz Belzner, Kyrill Schmid, Thomy Phan, Thomas Gabor, Martin Wirsing:
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents. CoRR abs/1804.10781 (2018) - 2017
- [p12]Dirk Beyer, Rolf Hennicker, Martin Hofmann, Tobias Nipkow, Martin Wirsing:
Software-Verifikation. 50 Jahre Universitäts-Informatik in München 2017: 75-86 - 2016
- [j40]Lenz Belzner, Matthias M. Hölzl, Nora Koch, Martin Wirsing:
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations. LNCS Trans. Found. Mastering Chang. 1: 180-200 (2016) - [c116]Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Track Introduction. ISoLA (1) 2016: 535-538 - [c115]Stefan Jähnichen, Martin Wirsing:
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction. ISoLA (1) 2016: 639-641 - 2015
- [j39]Marianne Busch, Martin Wirsing:
An Ontology for Secure Web Applications. Int. J. Softw. Informatics 9(2): 233-258 (2015) - [j38]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude. Sci. Comput. Program. 99: 24-74 (2015) - [c114]Rolf Hennicker, Annabelle Klarl, Martin Wirsing:
Model-Checking Helena Ensembles with Spin. Logic, Rewriting, and Concurrency 2015: 331-360 - [c113]Stefanie Neubert, Lenz Belzner, Martin Wirsing:
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization. Logic, Rewriting, and Concurrency 2015: 562-579 - [c112]Lenz Belzner, Rolf Hennicker, Martin Wirsing:
OnPlan: A Framework for Simulation-Based Online Planning. FACS 2015: 1-30 - [p11]Roberto Bruni, Andrea Corradini, Fabio Gadducci, Matthias M. Hölzl, Alberto Lluch-Lafuente, Andrea Vandin, Martin Wirsing:
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. The ASCENS Approach 2015: 163-184 - [p10]Matthias M. Hölzl, Nora Koch, Mariachiara Puviani, Martin Wirsing, Franco Zambonelli:
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems. The ASCENS Approach 2015: 325-354 - [e21]Songmao Zhang, Martin Wirsing, Zili Zhang:
Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings. Lecture Notes in Computer Science 9403, Springer 2015, ISBN 978-3-319-25158-5 [contents] - [e20]Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer:
Software Engineering for Collective Autonomic Systems - The ASCENS Approach. Lecture Notes in Computer Science 8998, Springer 2015, ISBN 978-3-319-16309-3 [contents] - 2014
- [j37]Pierre Dillenbourg, Armando Fox, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Manifestos 4(1): 1-27 (2014) - [c111]Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing:
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 2014: 188-211 - [c110]Rolf Hennicker, Alexander Knapp, Martin Wirsing:
Assembly Theories for Communication-Safe Component Systems. FPS@ETAPS 2014: 145-160 - [c109]Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl:
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) 2014: 96-98 - [c108]Marianne Busch, Nora Koch, Martin Wirsing:
SecEval: An Evaluation Framework for Engineering Secure Systems. Modellierung 2014: 337-352 - [c107]Ning Yu, Martin Wirsing:
A SOC-Based Formal Specification and Verification of Hybrid Systems. WADT 2014: 151-169 - [p9]Marianne Busch, Nora Koch, Martin Wirsing:
Evaluation of Engineering Approaches in the Secure Software Development Life Cycle. Engineering Secure Future Internet Services and Systems 2014: 234-265 - [i4]Pierre Dillenbourg, Claude Kirchner, John C. Mitchell, Martin Wirsing:
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112). Dagstuhl Reports 4(3): 47-61 (2014) - [i3]Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli:
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512). Dagstuhl Reports 4(12): 68-113 (2014) - 2013
- [b4]Matthias M. Hölzl, Allaithy Raed, Martin Wirsing:
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java. eXamen.press, Springer 2013, ISBN 978-3-642-28503-5, pp. I-X, 1-252 - [j36]Partha B. Sampathkumaran, Martin Wirsing:
Financial Evaluation and Optimization of Business Processes. Int. J. Inf. Syst. Model. Des. 4(2): 91-120 (2013) - [c106]Fabio Gadducci, Matthias M. Hölzl, Giacoma Valentina Monreale, Martin Wirsing:
Soft Constraints for Lexicographic Orders. MICAI (1) 2013: 68-79 - [c105]Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli:
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops 2013: 71-76 - 2012
- [c104]Jonas Eckhardt, Tobias Mühlbauer, Musab AlTurki, José Meseguer, Martin Wirsing:
Stable Availability under Denial of Service Attacks through Formal Patterns. FASE 2012: 78-93 - [c103]Andreas Schroeder, Martin Wirsing:
Developing Physiological Computing Systems: Challenges and Solutions. Software Engineering 2012: 21-36 - [c102]Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing:
Statistical Model Checking for Composite Actor Systems. WADT 2012: 143-160 - [c101]Martin Wirsing, Jonas Eckhardt, Tobias Mühlbauer, José Meseguer:
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude. WRLA 2012: 54-82 - 2011
- [j35]Martin Wirsing, Ruqian Lu:
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy. Int. J. Softw. Informatics 5(1-2): 1-6 (2011) - [j34]Andreas Schroeder, Sebastian S. Bauer, Martin Wirsing:
A contract-based approach to adaptivity. J. Log. Algebraic Methods Program. 80(3-5): 180-193 (2011) - [j33]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Interface theories for concurrency and data. Theor. Comput. Sci. 412(28): 3101-3121 (2011) - [c100]Matthias M. Hölzl, Martin Wirsing:
Towards a System Model for Ensembles. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 241-261 - [c99]Partha Sampath, Martin Wirsing:
Evaluation of Cost Based Best Practices in Business Processes. BMMDS/EMMSAD 2011: 61-74 - [c98]Martin Wirsing, Matthias M. Hölzl, Mirco Tribastone, Franco Zambonelli:
ASCENS: Engineering Autonomic Service-Component Ensembles. FMCO 2011: 1-24 - [p8]Martin Wirsing, Matthias M. Hölzl, Nora Koch, Philip Mayer:
Sensoria - Software Engineering for Service-Oriented Overlay Computers. Results of the SENSORIA Project 2011: 1-14 - [p7]Matthias M. Hölzl, Nora Koch, Philip Mayer, Martin Wirsing:
Sensoria Patterns. Results of the SENSORIA Project 2011: 719-736 - [e19]Martin Wirsing, Matthias M. Hölzl:
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. Lecture Notes in Computer Science 6582, Springer 2011, ISBN 978-3-642-20400-5 [contents] - 2010
- [j32]M. Birna van Riemsdijk, Martin Wirsing:
Comparing goal-oriented and procedural service orchestration. Multiagent Grid Syst. 6(2): 133-163 (2010) - [c97]Mirco Tribastone, Philip Mayer, Martin Wirsing:
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. ISoLA (2) 2010: 51-65 - [c96]Martin Wirsing:
A Component-Based Approach to Adaptive User-Centric Pervasive Applications. QoSA 2010: 2 - [c95]Alexander Knapp, Grzegorz Marczynski, Martin Wirsing, Artur Zawlocki:
A heterogeneous approach to service-oriented systems specification. SAC 2010: 2477-2484 - [c94]Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing:
Building a Modal Interface Theory for Concurrency and Data. WADT 2010: 1-12 - [c93]Martin Wirsing, Sebastian S. Bauer, Andreas Schroeder:
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. RTRTS 2010: 1-25 - [e18]Martin Wirsing, Martin Hofmann, Axel Rauschmayer:
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6084, Springer 2010, ISBN 978-3-642-15639-7 [contents]
2000 – 2009
- 2009
- [c92]Fernando Orejas, Martin Wirsing:
On the Specification and Verification of Model Transformations. Semantics and Algebraic Specification 2009: 140-161 - [c91]Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing:
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. CALCO 2009: 423-432 - [c90]Roberto Bruni, Matthias M. Hölzl, Nora Koch, Alberto Lluch-Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, Martin Wirsing:
A Service-Oriented UML Profile with Formal Support. ICSOC/ServiceWave 2009: 455-469 - [c89]Partha Sampath, Martin Wirsing:
Computing the Cost of Business Processes. UNISCON 2009: 178-183 - [e17]Marsha Chechik, Martin Wirsing:
Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Lecture Notes in Computer Science 5503, Springer 2009, ISBN 978-3-642-00592-3 [contents] - 2008
- [c88]M. Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, Andreas Schroeder:
Service Specification and Matchmaking Using Description Logic. AMAST 2008: 392-406 - [c87]María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing:
A Heterogeneous Approach to UML Semantics. Concurrency, Graphs and Models 2008: 383-402 - [c86]Martin Wirsing, Matthias M. Hölzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, László Gönczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. ISoLA 2008: 170-190 - [c85]Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing:
What Is a Multi-modeling Language? WADT 2008: 71-87 - [c84]Matthias M. Hölzl, Max Meier, Martin Wirsing:
Which Soft Constraints do you Prefer? WRLA 2008: 189-205 - [p6]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Engineering of Software-Intensive Systems: State of the Art and Research Challenges. Software-Intensive Systems and New Computing Paradigms 2008: 1-44 - [p5]Matthias M. Hölzl, Axel Rauschmayer, Martin Wirsing:
Software Engineering for Ensembles. Software-Intensive Systems and New Computing Paradigms 2008: 45-63 - [e16]Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer:
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Lecture Notes in Computer Science 5380, Springer 2008, ISBN 978-3-540-89436-0 [contents] - 2007
- [j31]Alexander Knapp, Nora Koch, Martin Wirsing, Gefei Zhang:
UWE - Ein Ansatz zur modellgetriebenen Entwicklung von Webanwendungen (UWE - An Approach for the Model-Driven Development of Web Applications). i-com 6(3): 5-12 (2007) - [c83]Alexander Knapp, Stephan Janisch, Rolf Hennicker, Allan Clark, Stephen Gilmore, Florian Hacklinger, Hubert Baumeister, Martin Wirsing:
Modelling the CoCoME with the Java/AComponent Model. CoCoME 2007: 207-237 - [c82]M. Birna van Riemsdijk, Martin Wirsing:
Using Goals for Flexible Service Orchestration. SOCASE 2007: 31-48 - [e15]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007. Dagstuhl Seminar Proceedings 07061, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - [i2]Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, Martin Wirsing:
07061 Abstracts Collection -- Autonomous and Adaptive Web Services. Autonomous and Adaptive Web Services 2007 - 2006
- [j30]Alexander Knapp, Stephan Merz, Martin Wirsing, Júlia Zappe:
Specification and refinement of mobile systems in MTLA and mobile UML. Theor. Comput. Sci. 351(2): 184-202 (2006) - [c81]Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder:
Semantic-Based Development of Service-Oriented Systems. FORTE 2006: 24-45 - [c80]Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50 - [c79]Martin Wirsing, Grit Denker, Carolyn L. Talcott, Andy Poggio, Linda Briesemeister:
A Rewriting Logic Framework for Soft Constraints. WRLA 2006: 181-197 - [e14]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
Foundations of Global Computing, 20.-25. February 2005. Dagstuhl Seminar Proceedings 05081, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2005
- [b3]Iman Hafiz Poernomo, Martin Wirsing, John Newsome Crossley:
Adapting Proofs-as-Programs - The Curry-Howard Protocol. Monographs in Computer Science, Springer 2005, ISBN 978-0-387-23759-6, pp. 1-396 - [j29]Nora Koch, Piero Fraternali, Martin Wirsing:
Editorial. J. Web Eng. 4(1): 1-2 (2005) - [j28]Dirk Pattinson, Martin Wirsing:
A coordination approach to mobile components. Theor. Comput. Sci. 331(2-3): 457-483 (2005) - [c78]Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing:
A Component Model for Architectural Programming. FACS 2005: 75-96 - [e13]Dang Van Hung, Martin Wirsing:
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings. Lecture Notes in Computer Science 3722, Springer 2005, ISBN 3-540-29107-5 [contents] - [i1]José Luiz Fiadeiro, Ugo Montanari, Martin Wirsing:
05081 Abstracts Collection - Foundations of Global Computing. Foundations of Global Computing 2005 - 2004
- [c77]Alexander Knapp, Stephan Merz, Martin Wirsing:
Refining Mobile UML State Machines. AMAST 2004: 274-288 - [c76]Diego Latella, Mieke Massink, Hubert Baumeister, Martin Wirsing:
Mobile UML Statecharts with Localities. Global Computing 2004: 34-58 - [c75]Axel Rauschmayer, Alexander Knapp, Martin Wirsing:
Consistency Checking in an Infrastructure for Large-Scale Generative. ASE 2004: 238-247 - [c74]Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Property-Driven Development. SEFM 2004: 96-102 - [e12]Nora Koch, Piero Fraternali, Martin Wirsing:
Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings. Lecture Notes in Computer Science 3140, Springer 2004, ISBN 3-540-22511-0 [contents] - [e11]Martin Wirsing, Alexander Knapp, Simonetta Balsamo:
Radical Innovations of Software and Systems Engineering in the Future, 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers. Lecture Notes in Computer Science 2941, Springer 2004, ISBN 3-540-21179-9 [contents] - 2003
- [c73]Philipp Meier, Martin Wirsing:
Towards a Formal Specification for the AgentComponent. Objects, Agents, and Features 2003: 175-188 - [c72]Stephan Merz, Martin Wirsing, Júlia Zappe:
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems. FASE 2003: 87-101 - [c71]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Perdita Stevens, Martin Wirsing:
UML for Global Computing. Global Computing 2003: 1-24 - [c70]Richard Krutisch, Philipp Meier, Martin Wirsing:
The Agent Component Approach, Combining Agents, and Components. MATES 2003: 1-12 - [e10]Martin Wirsing, Dirk Pattinson, Rolf Hennicker:
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers. Lecture Notes in Computer Science 2755, Springer 2003, ISBN 3-540-20537-3 [contents] - 2002
- [j27]Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. Theor. Comput. Sci. 285(2): 519-560 (2002) - [c69]Nora Koch, Martin Wirsing:
The Munich Reference Model for Adaptive Hypermedia Applications. AH 2002: 213-222 - [c68]Dirk Pattinson, Martin Wirsing:
Making Components Move: A Separation of Concerns Approach. FMCO 2002: 487-507 - [c67]Hubert Baumeister, Nora Koch, Piotr Kosiuczenko, Martin Wirsing:
Extending Activity Diagrams to Model Mobile Systems. NetObjectDays 2002: 278-293 - [c66]Martin Wirsing, Alexander Knapp:
View Consistency in Software Development. RISSEF 2002: 341-357 - [c65]Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki:
AGILE: Software Architecture for Mobility. WADT 2002: 1-33 - [c64]Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing:
MultiMedia Instruction in Safe and Secure Systems. WADT 2002: 82-117 - 2001
- [j26]Piotr Kosiuczenko, Martin Wirsing:
Towards an Integration of Message sequence Charts and Timed Maude. Trans. SDPS 5(1): 23-44 (2001) - [j25]Mingsheng Ying, Martin Wirsing:
Recursive equations in higher-order process calculi. Theor. Comput. Sci. 266(1-2): 839-852 (2001) - [c63]Bernhard Reus, Martin Wirsing, Rolf Hennicker:
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models. FASE 2001: 300-317 - [c62]Rolf Hennicker, Hubert Baumeister, Alexander Knapp, Martin Wirsing:
Specifying Component Invariants with OCL. GI Jahrestagung (1) 2001: 600-607 - [c61]Iman Poernomo, John N. Crossley, Martin Wirsing:
Programs, Proofs and Parametrized Specifications. WADT 2001: 280-304 - 2000
- [c60]Manfred Broy, Martin Wirsing:
Invited Talk: Algebraic State Machines. AMAST 2000: 89-188 - [c59]Mingsheng Ying, Martin Wirsing:
Approximate Bisimilarity. AMAST 2000: 309-322 - [c58]Martin Wirsing, Martin Gogolla, Hans-Jörg Kreowski, Tobias Nipkow, Wolfgang Reif:
Workshop über Rigorose Entwicklung software-intensiver Systeme. GI Jahrestagung 2000: 465-466
1990 – 1999
- 1999
- [c57]Martin Wirsing, Nora Koch, Gustavo Rossi, Alejandra Garrido, Luis Mandel, Alfred Helmerich, Luis Olsina:
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems. German-Argentinian Workshop on Information Technology 1999: 95- - [c56]Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
An Event-Based Structural Operational Semantics of Multi-Threaded Java. Formal Syntax and Semantics of Java 1999: 157-200 - [c55]Françoise Tort, Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Correct Realization of Interface Constraints with OCL. UML 1999: 399-415 - [c54]John N. Crossley, Iman Poernomo, Martin Wirsing:
Extraction of Structured Programs from Specification Proofs. WADT 1999: 419-437 - [p4]Donald Sannella, Martin Wirsing:
Specification Languages. Algebraic Foundations of Systems Specification 1999: 243-272 - 1998
- [c53]Martin Wirsing, John N. Crossley, Hannes Peterreins:
Proof Normalization of Structured Algebraic Specifications Is Convergent. WADT 1998: 326-340 - [c52]Piotr Kosiuczenko, Martin Wirsing:
Formalizing and Executing Message Sequence Charts via Timed Rewriting. Monterey Workshop 1998: 50-61 - 1997
- [j24]Piotr Kosiuczenko, Martin Wirsing:
Timed Rewriting Logic with an Application to Object-Based Specification. Sci. Comput. Program. 28(2-3): 225-246 (1997) - [j23]Rolf Hennicker, Martin Wirsing, Michel Bidoit:
Proof Systems for Structured Specifications with Observability Operators. Theor. Comput. Sci. 173(2): 393-443 (1997) - [c51]Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing:
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. AMAST 1997: 75-90 - [c50]Rolf Hennicker, Martin Wirsing:
Proof Systems for Struvtured Algebraic Specifications: An Overview. FCT 1997: 19-37 - [c49]Josef Schneeberger, Nora Koch, Andreas Turk, Rainer Lutze, Martin Wirsing, Hartmut Fritzsche, Patrick Closhen:
EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge. GI Jahrestagung 1997: 446-455 - [c48]Martin Wirsing, Josef Schneeberger, Rainer Lutze:
Workshop: Software-Engineering für Multimedia-Systeme. GI Jahrestagung 1997: 631 - [c47]Alexander Knapp, Nora Koch, Martin Wirsing, J. Duckeck, Rainer Lutze, Hartmut Fritzsche, D. Timm, Patrick Closhen, Markus Frisch, Hans-Jürgen Hoffmann, Bernd Gaede, Josef Schneeberger, Herbert Stoyan, Andreas Turk:
EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues. IDMS 1997: 199-209 - [c46]Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing:
Verifying a compiler optimization for Multi-Threaded Java. WADT 1997: 402-417 - 1996
- [c45]Ulrike Lechner, Christian Lengauer, Friederike Nickl, Martin Wirsing:
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly. ECOOP 1996: 232-247 - [c44]John N. Crossley, Luis Mandel, Martin Wirsing:
First-Order Constrained Lambda Calculus. FroCoS 1996: 339-356 - [c43]Martin Wirsing, Alexander Knapp:
A formal approach to object-oriented software engineering. WRLA 1996: 322-360 - [e9]Martin Wirsing, Maurice Nivat:
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101, Springer 1996, ISBN 3-540-61463-X [contents] - 1995
- [j22]María Victoria Cengarle, Martin Wirsing:
A Calculus of Higher-Order Parameterization for Algebraic Specifications. Log. J. IGPL 3(4): 615-641 (1995) - [j21]Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Behavioural and Abstractor Specifications. Sci. Comput. Program. 25(2-3): 149-186 (1995) - [c42]Peter Csaba Ölveczky, Piotr Kosiuczenko, Martin Wirsing:
An Object-Oriented Algebraic Steam-Boiler Control Specification. Formal Methods for Industrial Applications 1995: 379-402 - [p3]Manfred Broy, Martin Wirsing:
Correct Software: From Experiments to Applications. KORSO Book 1995: 1-26 - [p2]Peter Pepper, Martin Wirsing:
A Method for the Development of Correct Software. KORSO Book 1995: 27-57 - 1994
- [c41]Martin Wirsing:
Algebraic Specification Languages: An Overview. COMPASS/ADT 1994: 81-115 - [c40]Ulrike Lechner, Christian Lengauer, Martin Wirsing:
An Object-Oriented Airport: Specification and Refinement in Maude. COMPASS/ADT 1994: 351-367 - [c39]Michel Bidoit, Rolf Hennicker, Martin Wirsing:
Characterizing Behavioural Semantics and Abstractor Semantics. ESOP 1994: 105-119 - [c38]Martin Wirsing:
Ist zuverlässige Software eine Utopie? GI Jahrestagung 1994: 531 - 1993
- [c37]Friederike Nickl, Martin Wirsing:
A Formal Approach to Requirements Engineering (Invited Paper). Formal Methods in Programming and Their Applications 1993: 312-334 - [c36]Manfred Broy, Martin Wirsing:
Korrekte Software: Vom Experiment zur Anwendung. GI Jahrestagung 1993: 29-43 - 1992
- [j20]María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider:
An Approach to the DIN Kernel Lisp Definition. LISP Symb. Comput. 4(4): 319-369 (1992) - [j19]María Victoria Cengarle, Luis Mandel, Martin Wirsing, Heiner Brand, Klaus Däßler, Thekla Schneider:
Answer to Baker's Remarks of July 1991 on Version 1.0. LISP Symb. Comput. 4(4): 399-404 (1992) - [e8]Maurice Bruynooghe, Martin Wirsing:
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings. Lecture Notes in Computer Science 631, Springer 1992, ISBN 3-540-55844-6 [contents] - 1991
- [b2]Friedrich L. Bauer, Martin Wirsing:
Elementare Aussagenlogik. Mathematik für Informatiker, Springer 1991, ISBN 978-3-540-52974-3, pp. I-X, 1-228 - [c35]Rolf Hennicker, Martin Wirsing:
A Formal Method for the Systematic Reuse of Specification Components. Methods of Programming 1991: 49-75 - [c34]Jacek Leszczylowski, Martin Wirsing:
Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective. STACS 1991: 1-15 - [c33]María Victoria Cengarle, Heiner Brand, Luis Mandel, Klaus Däßler, Martin Wirsing, Thekla Schneider:
Knowledge Representation in Kernel Lisp. Wissensbasierte Systeme 1991: 278-286 - [e7]Manfred Broy, Martin Wirsing:
Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544, Springer 1991, ISBN 3-540-54576-X [contents] - [e6]Jan Maluszynski, Martin Wirsing:
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings. Lecture Notes in Computer Science 528, Springer 1991, ISBN 3-540-54444-5 [contents] - 1990
- [c32]Thomas Streicher, Martin Wirsing:
Dependent Types Considered Necessary for Specification Languages. ADT 1990: 323-340 - [p1]Martin Wirsing:
Algebraic Specification. Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) 1990: 675-788
1980 – 1989
- 1989
- [c31]Martin Wirsing, Rolf Hennicker, Robert Stabl:
MENU - An Example for the Systematic Reuse of Specifications. ESEC 1989: 20-41 - [c30]Martin Wirsing:
Algebraic Specification: Semantics, Parameterization and Refinement. Formal Description of Programming Concepts 1989: 259-318 - [c29]Martin Wirsing, Manfred Broy:
A Modular Framework for Specification and Implementation. TAPSOFT, Vol.1 1989: 42-73 - [e5]Martin Wirsing, Jan A. Bergstra:
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]. Lecture Notes in Computer Science 394, Springer 1989, ISBN 3-540-51698-0 [contents] - 1988
- [j18]Friedrich L. Bauer, Martin Wirsing:
Crypt-Equivalent Algebraic Specifications. Acta Informatica 25(2): 111-153 (1988) - [j17]Manfred Broy, Martin Wirsing:
Ultra-loose algebraic specifications. Bull. EATCS 35: 117-127 (1988) - [c28]Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
Algebraic Specification with Built-in Domain Constructions. CAAP 1988: 132-148 - [c27]Martin Wirsing, Rolf Hennicker, Ruth Breu:
Reusable Specification Components. MFCS 1988: 121-137 - [e4]Robert Cori, Martin Wirsing:
STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Lecture Notes in Computer Science 294, Springer 1988, ISBN 3-540-18834-7 [contents] - 1987
- [j16]Manfred Broy, Martin Wirsing, Peter Pepper:
On the Algebraic Definition of Programming Languages. ACM Trans. Program. Lang. Syst. 9(1): 54-99 (1987) - [c26]Bernhard Möller, Andrzej Tarlecki, Martin Wirsing:
Algebraic Specifications of Reachable Higher-Order Algebras. ADT 1987: 154-169 - [e3]Martin Wirsing:
Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986. North-Holland 1987, ISBN 0-444-70253-9 [contents] - [e2]Franz-Josef Brandenburg, Guy Vidal-Naquet, Martin Wirsing:
STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings. Lecture Notes in Computer Science 247, Springer 1987, ISBN 3-540-17219-X [contents] - 1986
- [j15]Martin Wirsing:
Algebraic specification of the abstract data type "Continuum" without hidden operations. Bull. EATCS 29: 46-54 (1986) - [j14]Manfred Broy, Bernhard Möller, Peter Pepper, Martin Wirsing:
Algebraic Implementations Preserve Program Correctness. Sci. Comput. Program. 7(1): 35-53 (1986) - [j13]Martin Wirsing:
Structured Algebraic Specifications: A Kernel Language. Theor. Comput. Sci. 42: 123-249 (1986) - [c25]Martin Wirsing:
Specification Languages versus Programming Languages (Panel). IFIP Congress 1986: 777-778 - [c24]Egidio Astesiano, Gianna Reggio, Martin Wirsing:
Relational Specifications and Observational Semantics. MFCS 1986: 209-217 - 1985
- [b1]Friedrich L. Bauer, Rudolf Berghammer, Manfred Broy, Walter Dosch, Franz Geiselbrechtinger, Rupert Gnatz, E. Hangel, Wolfgang Hesse, Bernd Krieg-Brückner, Alfred Laut, Thomas Matzner, Bernhard Möller, Friederike Nickl, Helmuth Partsch, Peter Pepper, Klaus Samelson, Martin Wirsing, Hans Wössner:
The Munich Project CIP, Volume I: The Wide Spectrum Language CIP-L. Lecture Notes in Computer Science 183, Springer 1985, ISBN 3-540-15187-7 - [c23]Andrzej Tarlecki, Martin Wirsing:
Continuous abstract data types: basic machinery and results. FCT 1985: 431-441 - [c22]Egidio Astesiano, Gianfranco Mascari, Gianna Reggio, Martin Wirsing:
On the Parameterized Algebraic Specification of Concurrent Systems. TAPSOFT, Vol.1 1985: 342-358 - 1984
- [j12]Peter Padawitz, Martin Wirsing:
Completeness of many-sorted equational logic revisited. Bull. EATCS 24: 88-93 (1984) - [j11]Manfred Broy, Martin Wirsing, Claude Pair:
A Systematic Study of Models of Abstract Data Types. Theor. Comput. Sci. 33: 139-174 (1984) - [c21]Rolf Hennicker, Martin Wirsing:
Observational Specification: A Birkhoff Theorem. ADT 1984: 119-135 - 1983
- [j10]Martin Wirsing, Peter Pepper, Helmuth Partsch, Walter Dosch:
On Hierarchies of Abstract Data Types. Acta Informatica 20: 1-33 (1983) - [j9]Manfred Broy, Martin Wirsing:
Algebraic Definition of a Functional Programming Language and Its Semantic Models. RAIRO Theor. Informatics Appl. 17(2): 137-161 (1983) - [c20]Manfred Broy, Martin Wirsing:
Generalized Heterogeneous Algebras. ADT 1983 - [c19]Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation. ADT 1983 - [c18]Manfred Broy, Martin Wirsing:
Generalized Heterogeneous Algebras and Partial Interpretations. CAAP 1983: 1-34 - [c17]Donald Sannella, Martin Wirsing:
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract. FCT 1983: 413-427 - 1982
- [j8]Manfred Broy, Martin Wirsing:
Partial Abstract Types. Acta Informatica 18: 47-64 (1982) - [j7]Peter Pepper, Manfred Broy, Friedrich L. Bauer, Helmuth Partsch, Walter Dosch, Martin Wirsing:
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen. Inform. Spektrum 5(2): 107-119 (1982) - [c16]Martin Wirsing:
Implementation of Parameterized Hierarchical Specifications. ADT 1982 - [c15]Donald Sannella, Martin Wirsing:
Implementation of Parameterised Specifications (Extended Abstract). ICALP 1982: 473-488 - [c14]Manfred Broy, Martin Wirsing:
On the Algebraic Specification of Finitary Infinite. Formal Description of Programming Concepts 1982: 171-198 - [c13]Jacek Leszczylowski, Martin Wirsing:
A system for reasoning within and about algebraic specifications. Symposium on Programming 1982: 257-282 - [c12]Walter Dosch, Gianfranco Mascari, Martin Wirsing:
On the Algebraic Specification of Databases. VLDB 1982: 370-385 - [e1]Manfred Broy, Martin Wirsing:
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany. University of Passau 1982 [contents] - 1981
- [j6]Manfred Broy, Rupert Gnatz, Martin Wirsing:
Nichtdeterminismus - Das aktuelle Schlagwort. Inform. Spektrum 4(2): 125-126 (1981) - [j5]Friedrich L. Bauer, Manfred Broy, Walter Dosch, Rupert Gnatz, Bernd Krieg-Brückner, Alfred Laut, M. Luckmann, Thomas Matzner, Bernhard Möller, Helmuth Partsch, Peter Pepper, Klaus Samelson, Ralf Steinbrüggen, Martin Wirsing, Hans Wössner:
Programming in a Wide Spectrum Language: A Collection of Examples. Sci. Comput. Program. 1(1-2): 73-114 (1981) - [c11]Manfred Broy, Martin Wirsing:
On the Algebraic Specification of Nondeterministic Programming Languages. CAAP 1981: 162-179 - [c10]Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing:
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract). GI Jahrestagung 1981: 109-121 - [c9]Manfred Broy, Martin Wirsing:
On the Algebraic Extensions of Abstract Data Types. ICFPC 1981: 244-251 - [c8]Jan A. Bergstra, Manfred Broy, John V. Tucker, Martin Wirsing:
On the Power of Algebraic Specifications. MFCS 1981: 193-204 - 1980
- [j4]Manfred Broy, Martin Wirsing:
Program Development: From Enumeration to Backtracking. Inf. Process. Lett. 10(4/5): 193-197 (1980) - [c7]Manfred Broy, Martin Wirsing:
Programming languages as abstract data types. CLAAP 1980: 160-177 - [c6]Walter Dosch, Martin Wirsing, Giorgio Ausiello, Gianfranco Mascari:
Polynomials - The Specification, Analysis and Development of an Abstract Data Type. GI Jahrestagung 1980: 306-320 - [c5]Manfred Broy, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Semantic Relations in Programming Languages. IFIP Congress 1980: 101-106 - [c4]Martin Wirsing, Manfred Broy:
Abstract Data Types as Lattices of Finitely Generated Models. MFCS 1980: 673-685 - [c3]Manfred Broy, Peter Pepper, Martin Wirsing:
On Relations Between Programs. Symposium on Programming 1980: 59-78
1970 – 1979
- 1979
- [j3]Manfred Broy, Martin Wirsing, Jean-Pierre Finance, Alain Quéré, Jean-Luc Rémy:
Methodical Solution of the Problem of Ascending Subsequences of Maximum Length Within a Given Sequence. Inf. Process. Lett. 8(5): 224-229 (1979) - [j2]Martin Wirsing:
Small Universal Post Systems. Math. Log. Q. 25(33): 559-564 (1979) - [c2]Manfred Broy, Walter Dosch, Helmuth Partsch, Peter Pepper, Martin Wirsing:
Existential Quantifiers in Abstract Data Types. ICALP 1979: 73-87 - 1978
- [j1]Martin Wirsing:
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen. Arch. Math. Log. 19(1): 97-109 (1978) - [c1]Manfred Broy, Rupert Gnatz, Martin Wirsing:
Semantics of Nondeterministic and Noncontinuous Constructs. Program Construction 1978: 553-592
Coauthor Index
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 2024-10-17 21:29 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:
