Martin Wirsing
Ludwig Maximilian University of Munich, Germany
https://www.sosy-lab.org/people/wirsing
https://scholar.google.com/citations?user=QonRHo8AAAAJ
https://dl.acm.org/profile/81100144903
https://zbmath.org/authors/?q=ai:wirsing.martin
https://mathgenealogy.org/id.php?id=21918
https://en.wikipedia.org/wiki/Martin_Wirsing
https://www.wikidata.org/entity/Q25337169
https://id.loc.gov/authorities/names/n85281290
https://d-nb.info/gnd/14353582X
https://mathscinet.ams.org/mathscinet/MRAuthorID/183690
Martin Wirsing
Alexander Knapp
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic.
1047-1068
2023
November
31
Log. J. IGPL
6
https://doi.org/10.1093/jigpal/jzac078
db/journals/igpl/igpl31.html#WirsingK23
Manfred Broy
Albrecht Schmidt 0001
Martin Wirsing
In memory of Heinrich Hussmann, long-time friend and SoSyM editor.
453-454
2023
April
22
Softw. Syst. Model.
2
https://doi.org/10.1007/s10270-023-01099-0
db/journals/sosym/sosym22.html#BroySW23
Martin Wirsing
Stefan Jähnichen
Rocco De Nicola
Rigorous engineering of collective adaptive systems - 2nd special section.
617-624
2023
December
25
Int. J. Softw. Tools Technol. Transf.
5
https://doi.org/10.1007/s10009-023-00734-x
db/journals/sttt/sttt25.html#WirsingJN23
Martin Wirsing
Lenz Belzner
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning.
281-306
2023
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
https://doi.org/10.1007/978-3-031-31476-6_16
conf/birthday/2023hermenegildo
db/conf/birthday/hermenegildo2023.html#WirsingB23
Lenz Belzner
Thomas Gabor
Martin Wirsing
Large Language Model Assisted Software Engineering: Prospects, Challenges, and a Case Study.
355-374
2023
AISoLA
https://doi.org/10.1007/978-3-031-46002-9_23
conf/aisola/2023
db/conf/aisola/aisola2023.html#BelznerGW23
Xiyue Sun
Fabian R. Pieroth
Kyrill Schmid
Martin Wirsing
Lenz Belzner
On Learning Stable Cooperation in the Iterated Prisoner's Dilemma with Paid Incentives.
113-118
2022
ICDCS Workshops
https://doi.org/10.1109/ICDCSW56584.2022.00031
conf/icdcs/2022w
db/conf/icdcs/icdcs2022w.html#SunPSWB22
Martin Wirsing
Rocco De Nicola
Stefan Jähnichen
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition.
3-12
2022
ISoLA (3)
https://doi.org/10.1007/978-3-031-19759-8_1
conf/isola/2022-3
db/conf/isola/isola2022-3.html#WirsingNJ22
Rolf Hennicker
Alexander Knapp
Martin Wirsing
Epistemic Ensembles.
110-126
2022
ISoLA (3)
https://doi.org/10.1007/978-3-031-19759-8_8
conf/isola/2022-3
db/conf/isola/isola2022-3.html#HennickerKW22
Lenz Belzner
Martin Wirsing
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking.
102620
2021
206
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2021.102620
db/journals/scp/scp206.html#BelznerW21
Simon Bliudze
Panagiotis Katsaros
Saddek Bensalem
Martin Wirsing
On methods and tools for rigorous system design.
679-684
2021
23
Int. J. Softw. Tools Technol. Transf.
5
https://doi.org/10.1007/s10009-021-00632-0
db/journals/sttt/sttt23.html#BliudzeKBW21
Rocco De Nicola
Stefan Jähnichen
Martin Wirsing
Rigorous engineering of collective adaptive systems: special section.
389-397
2020
22
Int. J. Softw. Tools Technol. Transf.
4
https://doi.org/10.1007/s10009-020-00565-0
db/journals/sttt/sttt22.html#NicolaJW20
Martin Wirsing
Rocco De Nicola
Stefan Jähnichen
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.
161-170
2020
ISoLA (2)
https://doi.org/10.1007/978-3-030-61470-6_10
conf/isola/2020-2
db/conf/isola/isola2020-2.html#WirsingNJ20
Rolf Hennicker
Martin Wirsing
A Dynamic Logic for Systems with Predicate-Based Communication.
224-242
2020
ISoLA (2)
https://doi.org/10.1007/978-3-030-61470-6_14
conf/isola/2020-2
db/conf/isola/isola2020-2.html#HennickerW20
Lenz Belzner
Martin Wirsing
Synthesizing Safe Policies under Probabilistic Constraints with Reinforcement Learning and Bayesian Model Checking.
2020
abs/2005.03898
CoRR
https://arxiv.org/abs/2005.03898
db/journals/corr/corr2005.html#abs-2005-03898
Rolf Hennicker
Martin Wirsing
A Generic Dynamic Logic with Applications to Interaction-Based Systems.
172-187
2019
From Software Engineering to Formal Methods and Tools, and Back
https://doi.org/10.1007/978-3-030-30985-5_11
conf/birthday/2019gnesi
db/conf/birthday/gnesi2019.html#HennickerW19
Martin Wirsing
Rolf Hennicker
Process Calculi for Modelling Mobile, Service-Oriented, and Collective Autonomic Systems.
367-387
2019
Models, Languages, and Tools for Concurrent and Distributed Programming
https://doi.org/10.1007/978-3-030-21485-2_20
conf/birthday/2019denicola
db/conf/birthday/denicola2019.html#WirsingH19
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.
EMOOCs-WIP
CEUR-WS.org
CEUR Workshop Proceedings
2356
2019
https://ceur-ws.org/Vol-2356
https://nbn-resolving.org/urn:nbn:de:0074-2356-1
db/conf/emoocs/wip2019.html
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
EMOOCs
Springer
2019
Lecture Notes in Computer Science
11475
978-3-030-19874-9
978-3-030-19875-6
https://doi.org/10.1007/978-3-030-19875-6
db/conf/emoocs/emoocs2019.html
Rolf Hennicker
Alexandre Madeira
Martin Wirsing
Behavioural and abstractor specifications revisited.
32-43
2018
741
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2018.02.033
db/journals/tcs/tcs741.html#HennickerMW18
Rocco De Nicola
Stefan Jähnichen
Martin Wirsing
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.
3-12
2018
ISoLA (3)
https://doi.org/10.1007/978-3-030-03424-5_1
conf/isola/2018-3
db/conf/isola/isola2018-3.html#NicolaJW18
Rolf Hennicker
Martin Wirsing
Dynamic Logic for Ensembles.
32-47
2018
ISoLA (3)
https://doi.org/10.1007/978-3-030-03424-5_3
conf/isola/2018-3
db/conf/isola/isola2018-3.html#HennickerW18
Stefan Jähnichen
Rocco De Nicola
Martin Wirsing
The Meaning of Adaptation: Mastering the Unforeseen?
109-117
2018
ISoLA (3)
https://doi.org/10.1007/978-3-030-03424-5_8
conf/isola/2018-3
db/conf/isola/isola2018-3.html#JahnichenNW18
Lenz Belzner
Kyrill Schmid
Thomy Phan
Thomas Gabor
Martin Wirsing
The Sharer's Dilemma in Collective Adaptive Systems of Self-interested Agents.
241-256
2018
ISoLA (3)
https://doi.org/10.1007/978-3-030-03424-5_16
conf/isola/2018-3
db/conf/isola/isola2018-3.html#BelznerSPGW18
Lenz Belzner
Kyrill Schmid
Thomy Phan
Thomas Gabor
Martin Wirsing
The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents.
2018
abs/1804.10781
CoRR
http://arxiv.org/abs/1804.10781
db/journals/corr/corr1804.html#abs-1804-10781
Dirk Beyer 0001
Rolf Hennicker
Martin Hofmann 0001
Tobias Nipkow
Martin Wirsing
Software-Verifikation.
75-86
2017
50 Jahre Universitäts-Informatik in München
https://doi.org/10.1007/978-3-662-54712-0_5
books/sp/17/BBBM2017
db/books/collections/BBBM2017.html#0001H0NW17
Lenz Belzner
Matthias M. Hölzl
Nora Koch
Martin Wirsing
Collective Autonomic Systems: Towards Engineering Principles and Their Foundations.
180-200
2016
1
LNCS Trans. Found. Mastering Chang.
https://doi.org/10.1007/978-3-319-46508-1_10
journals/fomac/2016-1
db/journals/fomac/fomac1.html#BelznerHKW16
Stefan Jähnichen
Martin Wirsing
Rigorous Engineering of Collective Adaptive Systems Track Introduction.
535-538
2016
ISoLA (1)
https://doi.org/10.1007/978-3-319-47166-2_37
conf/isola/2016-1
db/conf/isola/isola2016-1.html#JahnichenW16
Stefan Jähnichen
Martin Wirsing
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel - Panel Introduction.
639-641
2016
ISoLA (1)
https://doi.org/10.1007/978-3-319-47166-2_44
conf/isola/2016-1
db/conf/isola/isola2016-1.html#JahnichenW16a
Marianne Busch
Martin Wirsing
An Ontology for Secure Web Applications.
233-258
2015
9
Int. J. Softw. Informatics
2
http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i216
db/journals/ijsi/ijsi9.html#BuschW15
Jonas Eckhardt
Tobias Mühlbauer
José Meseguer 0001
Martin Wirsing
Semantics, distributed implementation, and formal analysis of KLAIM models in Maude.
24-74
2015
99
Sci. Comput. Program.
https://doi.org/10.1016/j.scico.2014.10.001
db/journals/scp/scp99.html#EckhardtMMW15
Rolf Hennicker
Annabelle Klarl
Martin Wirsing
Model-Checking Helena Ensembles with Spin.
331-360
2015
Logic, Rewriting, and Concurrency
https://doi.org/10.1007/978-3-319-23165-5_16
conf/birthday/2015meseguer
db/conf/birthday/meseguer2015.html#HennickerKW15
Stefanie Neubert
Lenz Belzner
Martin Wirsing
Algebraic Reinforcement Learning - Hypothesis Induction for Relational Reinforcement Learning Using Term Generalization.
562-579
2015
Logic, Rewriting, and Concurrency
https://doi.org/10.1007/978-3-319-23165-5_26
conf/birthday/2015meseguer
db/conf/birthday/meseguer2015.html#NeubertBW15
Lenz Belzner
Rolf Hennicker
Martin Wirsing
OnPlan: A Framework for Simulation-Based Online Planning.
1-30
2015
FACS
https://doi.org/10.1007/978-3-319-28934-2_1
conf/facs2/2015
db/conf/facs2/facs2015.html#BelznerHW15
Roberto Bruni
Andrea Corradini 0001
Fabio Gadducci
Matthias M. Hölzl
Alberto Lluch-Lafuente
Andrea Vandin
Martin Wirsing
Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation.
163-184
2015
The ASCENS Approach
https://doi.org/10.1007/978-3-319-16310-9_4
https://www.wikidata.org/entity/Q56493427
series/lncs/8998
db/series/lncs/lncs8998.html#BruniCGHLVW15
Matthias M. Hölzl
Nora Koch
Mariachiara Puviani
Martin Wirsing
Franco Zambonelli
The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems.
325-354
2015
The ASCENS Approach
https://doi.org/10.1007/978-3-319-16310-9_9
series/lncs/8998
db/series/lncs/lncs8998.html#HolzlKPWZ15
Songmao Zhang
Martin Wirsing
Zili Zhang
Knowledge Science, Engineering and Management - 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings
KSEM
Springer
2015
Lecture Notes in Computer Science
9403
978-3-319-25158-5
https://doi.org/10.1007/978-3-319-25159-2
db/conf/ksem/ksem2015.html
Martin Wirsing
Matthias M. Hölzl
Nora Koch
Philip Mayer
Software Engineering for Collective Autonomic Systems - The ASCENS Approach
The ASCENS Approach
Springer
2015
Lecture Notes in Computer Science
8998
978-3-319-16309-3
https://doi.org/10.1007/978-3-319-16310-9
db/series/lncs/lncs8998.html
Pierre Dillenbourg
Armando Fox
Claude Kirchner
John C. Mitchell
Martin Wirsing
Massive Open Online Courses: Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).
1-27
2014
4
Dagstuhl Manifestos
1
https://doi.org/10.4230/DagMan.4.1.1
db/journals/dagstuhl-manifestos/dagstuhl-manifestos4.html#DillenbourgFKMW14
Lenz Belzner
Rocco De Nicola
Andrea Vandin
Martin Wirsing
Reasoning (on) Service Component Ensembles in Rewriting Logic.
188-211
2014
Specification, Algebra, and Software
https://doi.org/10.1007/978-3-642-54624-2_10
conf/birthday/2014futatsugi
db/conf/birthday/futatsugi2014.html#BelznerNVW14
Rolf Hennicker
Alexander Knapp
Martin Wirsing
Assembly Theories for Communication-Safe Component Systems.
145-160
2014
FPS@ETAPS
https://doi.org/10.1007/978-3-642-54848-2_10
conf/etaps/2014fps
db/conf/etaps/fps2014.html#HennickerKW14
Martin Wirsing
Rocco De Nicola
Matthias M. Hölzl
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.
96-98
2014
ISoLA (1)
https://doi.org/10.1007/978-3-662-45234-9_7
conf/isola/2014-1
db/conf/isola/isola2014-1.html#WirsingNH14
Marianne Busch
Nora Koch
Martin Wirsing
SecEval: An Evaluation Framework for Engineering Secure Systems.
337-352
2014
Modellierung
conf/modellierung/2014
db/conf/modellierung/modellierung2014.html#BuschKW14
https://dl.gi.de/handle/20.500.12116/17060
http://subs.emis.de/LNI/Proceedings/Proceedings225/article24.html
Ning Yu 0003
Martin Wirsing
A SOC-Based Formal Specification and Verification of Hybrid Systems.
151-169
2014
WADT
https://doi.org/10.1007/978-3-319-28114-8_9
conf/wadt/2014
db/conf/wadt/wadt2014.html#YuW14
Marianne Busch
Nora Koch
Martin Wirsing
Evaluation of Engineering Approaches in the Secure Software Development Life Cycle.
234-265
2014
Engineering Secure Future Internet Services and Systems
https://doi.org/10.1007/978-3-319-07452-8_10
series/lncs/8431
db/series/lncs/lncs8431.html#BuschKW14
Pierre Dillenbourg
Claude Kirchner
John C. Mitchell
Martin Wirsing
Massively Open Online Courses, Current State and Perspectives (Dagstuhl Perspectives Workshop 14112).
47-61
2014
4
Dagstuhl Reports
3
https://doi.org/10.4230/DagRep.4.3.47
db/journals/dagstuhl-reports/dagstuhl-reports4.html#DillenbourgKMW14
Jane Hillston
Jeremy Pitt
Martin Wirsing
Franco Zambonelli
Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512).
68-113
2014
4
Dagstuhl Reports
12
https://doi.org/10.4230/DagRep.4.12.68
db/journals/dagstuhl-reports/dagstuhl-reports4.html#HillstonPWZ14
Matthias M. Hölzl
Allaithy Raed
Martin Wirsing
Java kompakt - Eine Einführung in die Software-Entwicklung mit Java.
I-X, 1-252
Springer
2013
eXamen.press
978-3-642-28503-5
http://www.springer.com/computer/swe/book/978-3-642-28503-5
Partha B. Sampathkumaran
Martin Wirsing
Financial Evaluation and Optimization of Business Processes.
91-120
2013
4
Int. J. Inf. Syst. Model. Des.
2
https://doi.org/10.4018/jismd.2013040105
db/journals/ijismd/ijismd4.html#SampathkumaranW13
Fabio Gadducci
Matthias M. Hölzl
Giacoma Valentina Monreale
Martin Wirsing
Soft Constraints for Lexicographic Orders.
68-79
2013
MICAI (1)
https://doi.org/10.1007/978-3-642-45114-0_6
conf/micai/2013-1
db/conf/micai/micai2013-1.html#GadducciHMW13
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.
71-76
2013
SASO Workshops
https://doi.org/10.1109/SASOW.2013.23
https://doi.ieeecomputersociety.org/10.1109/SASOW.2013.23
https://www.wikidata.org/entity/Q57650603
conf/saso/2013w
db/conf/saso/saso2013w.html#BuresNGHKKMMPSWZ13
Jonas Eckhardt
Tobias Mühlbauer
Musab AlTurki
José Meseguer 0001
Martin Wirsing
Stable Availability under Denial of Service Attacks through Formal Patterns.
78-93
2012
FASE
https://doi.org/10.1007/978-3-642-28872-2_6
conf/fase/2012
db/conf/fase/fase2012.html#EckhardtMAMW12
Andreas Schroeder 0001
Martin Wirsing
Developing Physiological Computing Systems: Challenges and Solutions.
21-36
2012
Software Engineering
conf/se/2012
db/conf/se/se2012.html#SchroederW12
https://dl.gi.de/handle/20.500.12116/18360
http://subs.emis.de/LNI/Proceedings/Proceedings198/article6653.html
Jonas Eckhardt
Tobias Mühlbauer
José Meseguer 0001
Martin Wirsing
Statistical Model Checking for Composite Actor Systems.
143-160
2012
WADT
https://doi.org/10.1007/978-3-642-37635-1_9
conf/wadt/2012
db/conf/wadt/wadt2012.html#EckhardtMMW12
Martin Wirsing
Jonas Eckhardt
Tobias Mühlbauer
José Meseguer 0001
Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.
54-82
2012
WRLA
https://doi.org/10.1007/978-3-642-34005-5_4
conf/wrla/2012
db/conf/wrla/wrla2012.html#WirsingEMM12
Martin Wirsing
Ruqian Lu
Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy.
1-6
2011
5
Int. J. Softw. Informatics
1-2
http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i90
db/journals/ijsi/ijsi5.html#WirsingL11
Andreas Schroeder 0001
Sebastian S. Bauer
Martin Wirsing
A contract-based approach to adaptivity.
180-193
2011
80
J. Log. Algebraic Methods Program.
3-5
https://doi.org/10.1016/j.jlap.2010.09.001
db/journals/jlp/jlp80.html#SchroederBW11
Sebastian S. Bauer
Rolf Hennicker
Martin Wirsing
Interface theories for concurrency and data.
3101-3121
2011
412
Theor. Comput. Sci.
28
https://doi.org/10.1016/j.tcs.2011.04.007
db/journals/tcs/tcs412.html#BauerHW11
Matthias M. Hölzl
Martin Wirsing
Towards a System Model for Ensembles.
241-261
2011
Formal Modeling: Actors, Open Systems, Biological Systems
https://doi.org/10.1007/978-3-642-24933-4_12
conf/birthday/2011talcott
db/conf/birthday/talcott2011.html#HolzlW11
Partha Sampath
Martin Wirsing
Evaluation of Cost Based Best Practices in Business Processes.
61-74
2011
BMMDS/EMMSAD
https://doi.org/10.1007/978-3-642-21759-3_5
conf/caise/2011bpmds
db/conf/caise/bpmds2011.html#SampathW11
Martin Wirsing
Matthias M. Hölzl
Mirco Tribastone
Franco Zambonelli
ASCENS: Engineering Autonomic Service-Component Ensembles.
1-24
2011
FMCO
https://doi.org/10.1007/978-3-642-35887-6_1
conf/fmco/2011
db/conf/fmco/fmco2011.html#WirsingHTZ11
Martin Wirsing
Matthias M. Hölzl
Nora Koch
Philip Mayer
Sensoria - Software Engineering for Service-Oriented Overlay Computers.
1-14
2011
Results of the SENSORIA Project
https://doi.org/10.1007/978-3-642-20401-2_1
books/sp/sensoria11
db/books/collections/sensoria2011.html#WirsingHKM11
Matthias M. Hölzl
Nora Koch
Philip Mayer
Martin Wirsing
Sensoria Patterns.
719-736
2011
Results of the SENSORIA Project
https://doi.org/10.1007/978-3-642-20401-2_35
books/sp/sensoria11
db/books/collections/sensoria2011.html#HolzlKMW11
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
6582
2011
Springer
Lecture Notes in Computer Science
https://doi.org/10.1007/978-3-642-20401-2
https://www.wikidata.org/entity/Q56501540
978-3-642-20400-5
Results of the SENSORIA Project
db/books/collections/sensoria2011.html
M. Birna van Riemsdijk
Martin Wirsing
Comparing goal-oriented and procedural service orchestration.
133-163
2010
6
Multiagent Grid Syst.
2
https://doi.org/10.3233/MGS-2010-0145
db/journals/mags/mags6.html#RiemsdijkW10
Mirco Tribastone
Philip Mayer
Martin Wirsing
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.
51-65
2010
ISoLA (2)
https://doi.org/10.1007/978-3-642-16561-0_12
https://www.wikidata.org/entity/Q57791036
conf/isola/2010-2
db/conf/isola/isola2010-2.html#TribastoneMW10
Martin Wirsing
A Component-Based Approach to Adaptive User-Centric Pervasive Applications.
2
2010
QoSA
https://doi.org/10.1007/978-3-642-13821-8_2
conf/qosa/2010
db/conf/qosa/qosa2010.html#Wirsing10
Alexander Knapp
Grzegorz Marczynski
Martin Wirsing
Artur Zawlocki
A heterogeneous approach to service-oriented systems specification.
2477-2484
2010
SAC
https://doi.org/10.1145/1774088.1774600
conf/sac/2010
db/conf/sac/sac2010.html#KnappMWZ10
Sebastian S. Bauer
Rolf Hennicker
Martin Wirsing
Building a Modal Interface Theory for Concurrency and Data.
1-12
2010
WADT
https://doi.org/10.1007/978-3-642-28412-0_1
conf/wadt/2010
db/conf/wadt/wadt2010.html#BauerHW10
Martin Wirsing
Sebastian S. Bauer
Andreas Schroeder 0001
Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude
RTRTS
2010
1-25
https://doi.org/10.4204/EPTCS.36.1
http://arxiv.org/abs/1009.4259
journals/corr/abs-1009-3982
db/series/eptcs/eptcs36.html#abs-1009-4259
Martin Wirsing
Martin Hofmann 0001
Axel Rauschmayer
Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers
6084
2010
https://doi.org/10.1007/978-3-642-15640-3
https://www.wikidata.org/entity/Q56501676
978-3-642-15639-7
TGC
Lecture Notes in Computer Science
Springer
db/conf/tgc/tgc2010.html
Fernando Orejas
Martin Wirsing
On the Specification and Verification of Model Transformations.
140-161
2009
Semantics and Algebraic Specification
https://doi.org/10.1007/978-3-642-04164-8_8
conf/birthday/2009mosses
db/conf/birthday/mosses2009.html#OrejasW09
Matthias M. Hölzl
Grit Denker
Max Meier
Martin Wirsing
Constraint-Muse: A Soft-Constraint Based System for Music Therapy.
423-432
2009
CALCO
https://doi.org/10.1007/978-3-642-03741-2_29
conf/calco/2009
db/conf/calco/calco2009.html#HolzlDMW09
Roberto Bruni
Matthias M. Hölzl
Nora Koch
Alberto Lluch-Lafuente
Philip Mayer
Ugo Montanari
Andreas Schroeder 0001
Martin Wirsing
A Service-Oriented UML Profile with Formal Support.
455-469
2009
ICSOC/ServiceWave
https://doi.org/10.1007/978-3-642-10383-4_34
https://www.wikidata.org/entity/Q56501691
conf/icsoc/2009
db/conf/icsoc/icsoc2009.html#BruniHKLMMSW09
Partha Sampath
Martin Wirsing
Computing the Cost of Business Processes.
178-183
2009
UNISCON
https://doi.org/10.1007/978-3-642-01112-2_18
conf/ista/2009
db/conf/ista/uniscon2009.html#SampathW09
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
5503
2009
https://doi.org/10.1007/978-3-642-00593-0
978-3-642-00592-3
FASE
Lecture Notes in Computer Science
Springer
db/conf/fase/fase2009.html
M. Birna van Riemsdijk
Rolf Hennicker
Martin Wirsing
Andreas Schroeder 0001
Service Specification and Matchmaking Using Description Logic.
392-406
2008
AMAST
https://doi.org/10.1007/978-3-540-79980-1_29
conf/amast/2008
db/conf/amast/amast2008.html#RiemsdijkHWS08
María Victoria Cengarle
Alexander Knapp
Andrzej Tarlecki
Martin Wirsing
A Heterogeneous Approach to UML Semantics.
383-402
2008
Concurrency, Graphs and Models
https://doi.org/10.1007/978-3-540-68679-8_23
conf/birthday/2008montanari
db/conf/birthday/montanari2008.html#CengarleKTW08
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 0001
Francesco Tiezzi 0001
Mirco Tribastone
Dániel Varró
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
170-190
2008
ISoLA
https://doi.org/10.1007/978-3-540-88479-8_13
conf/isola/2008
db/conf/isola/isola2008.html#WirsingHABCFGGGKLMMPSTTV08
Artur Boronat
Alexander Knapp
José Meseguer 0001
Martin Wirsing
What Is a Multi-modeling Language?
71-87
2008
WADT
https://doi.org/10.1007/978-3-642-03429-9_6
conf/wadt/2008
db/conf/wadt/wadt2008.html#BoronatKMW08
Matthias M. Hölzl
Max Meier
Martin Wirsing
Which Soft Constraints do you Prefer?
189-205
2008
conf/wrla/2008
WRLA
https://doi.org/10.1016/j.entcs.2009.05.020
db/conf/wrla/wrla2008.html#HolzlMW09
Matthias M. Hölzl
Axel Rauschmayer
Martin Wirsing
Engineering of Software-Intensive Systems: State of the Art and Research Challenges.
1-44
2008
Software-Intensive Systems and New Computing Paradigms
https://doi.org/10.1007/978-3-540-89437-7_1
series/lncs/5380
db/series/lncs/lncs5380.html#HolzlRW08
Matthias M. Hölzl
Axel Rauschmayer
Martin Wirsing
Software Engineering for Ensembles.
45-63
2008
Software-Intensive Systems and New Computing Paradigms
https://doi.org/10.1007/978-3-540-89437-7_2
series/lncs/5380
db/series/lncs/lncs5380.html#HolzlRW08a
Martin Wirsing
Jean-Pierre Banâtre
Matthias M. Hölzl
Axel Rauschmayer
Software-Intensive Systems and New Computing Paradigms - Challenges and Visions
Software-Intensive Systems and New Computing Paradigms
5380
2008
978-3-540-89436-0
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/978-3-540-89437-7
db/series/lncs/lncs5380.html
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).
5-12
2007
6
i-com
3
https://doi.org/10.1524/icom.2007.6.3.5
db/journals/icom/icom6.html#KnappKWZ07
Alexander Knapp
Stephan Janisch
Rolf Hennicker
Allan Clark
Stephen Gilmore
Florian Hacklinger
Hubert Baumeister
Martin Wirsing
Modelling the CoCoME with the Java/AComponent Model.
207-237
2007
CoCoME
https://doi.org/10.1007/978-3-540-85289-6_9
conf/dagstuhl/2007cocome
db/conf/dagstuhl/cocome2007.html#KnappJHCGHBW07
M. Birna van Riemsdijk
Martin Wirsing
Using Goals for Flexible Service Orchestration.
31-48
2007
conf/socase/2007
SOCASE
https://doi.org/10.1007/978-3-540-72619-7_3
db/conf/socase/socase2007.html#RiemsdijkW07
Jana Koehler
Marco Pistore
Amit P. Sheth
Paolo Traverso
Martin Wirsing
Autonomous and Adaptive Web Services, 04.02. - 09.02.2007
Autonomous and Adaptive Web Services
07061
2007
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P7061.html
http://drops.dagstuhl.de/portals/07061/
Jana Koehler
Marco Pistore
Amit P. Sheth
Paolo Traverso
Martin Wirsing
07061 Abstracts Collection -- Autonomous and Adaptive Web Services.
2007
Autonomous and Adaptive Web Services
http://drops.dagstuhl.de/opus/volltexte/2007/1035
conf/dagstuhl/2007P7061
db/conf/dagstuhl/P7061.html#KoehlerPSTW07
Alexander Knapp
Stephan Merz
Martin Wirsing
Júlia Zappe
Specification and refinement of mobile systems in MTLA and mobile UML.
184-202
2006
351
Theor. Comput. Sci.
2
https://doi.org/10.1016/j.tcs.2005.09.067
db/journals/tcs/tcs351.html#KnappMWZ06
Martin Wirsing
Allan Clark
Stephen Gilmore
Matthias M. Hölzl
Alexander Knapp
Nora Koch
Andreas Schroeder 0001
Semantic-Based Development of Service-Oriented Systems.
24-45
2006
conf/forte/2006
FORTE
https://doi.org/10.1007/11888116_3
db/conf/forte/forte2006.html#WirsingCGHKKS06
Martin Wirsing
Rocco De Nicola
Stephen Gilmore
Matthias M. Hölzl
Roberto Lucchi
Mirco Tribastone
Gianluigi Zavattaro
SensoriaProcess Calculi for Service-Oriented Computing.
30-50
2006
conf/tgc/2006
TGC
https://doi.org/10.1007/978-3-540-75336-0_3
db/conf/tgc/tgc2006.html#WirsingNGHLTZ06
Martin Wirsing
Grit Denker
Carolyn L. Talcott
Andy Poggio
Linda Briesemeister
A Rewriting Logic Framework for Soft Constraints.
181-197
2006
conf/wrla/2006
WRLA
https://doi.org/10.1016/j.entcs.2007.06.015
db/conf/wrla/wrla2006.html#WirsingDTPB07
Foundations of Global Computing, 20.-25. February 2005
Foundations of Global Computing
José Luiz Fiadeiro
Ugo Montanari
Martin Wirsing
05081
2006
Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany
Dagstuhl Seminar Proceedings
db/conf/dagstuhl/P5081.html
http://drops.dagstuhl.de/portals/05081/
Iman Hafiz Poernomo
Martin Wirsing
John Newsome Crossley
Adapting Proofs-as-Programs - The Curry-Howard Protocol
2005
1-396
Springer
Monographs in Computer Science
978-0-387-23759-6
978-0-387-28183-4
https://doi.org/10.1007/0-387-28183-5
Nora Koch
Piero Fraternali
Martin Wirsing
Editorial.
1-2
2005
4
J. Web Eng.
1
db/journals/jwe/jwe4.html#KochFW05
http://www.rintonpress.com/xjwe4/jwe-4-1/001-002.pdf
Dirk Pattinson
Martin Wirsing
A coordination approach to mobile components.
457-483
2005
331
Theor. Comput. Sci.
2-3
https://doi.org/10.1016/j.tcs.2004.09.025
db/journals/tcs/tcs331.html#PattinsonW05
Hubert Baumeister
Florian Hacklinger
Rolf Hennicker
Alexander Knapp
Martin Wirsing
A Component Model for Architectural Programming.
75-96
2005
conf/facs2/2005
FACS
https://doi.org/10.1016/j.entcs.2006.05.015
db/journals/entcs/entcs160.html#BaumeisterHHKW06
Dang Van Hung
Martin Wirsing
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
3722
2005
3-540-29107-5
ICTAC
Lecture Notes in Computer Science
Springer
https://doi.org/10.1007/11560647
db/conf/ictac/ictac2005.html
José Luiz Fiadeiro
Ugo Montanari
Martin Wirsing
05081 Abstracts Collection - Foundations of Global Computing.
2005
conf/dagstuhl/2005P5081
Foundations of Global Computing
http://drops.dagstuhl.de/opus/volltexte/2006/459
db/conf/dagstuhl/P5081.html#FiadeiroMW05
Alexander Knapp
Stephan Merz
Martin Wirsing
Refining Mobile UML State Machines.
274-288
https://doi.org/10.1007/978-3-540-27815-3_23
2004
conf/amast/2004
AMAST
db/conf/amast/amast2004.html#KnappMW04
Diego Latella
Mieke Massink
Hubert Baumeister
Martin Wirsing
Mobile UML Statecharts with Localities.
34-58
https://doi.org/10.1007/978-3-540-31794-4_3
2004
conf/gc/2004
Global Computing
db/conf/gc/gc2004.html#LatellaMBW04
Axel Rauschmayer
Alexander Knapp
Martin Wirsing
Consistency Checking in an Infrastructure for Large-Scale Generative.
238-247
2004
conf/kbse/2004
ASE
https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10005
db/conf/kbse/ase2004.html#RauschmayerKW04
Hubert Baumeister
Alexander Knapp
Martin Wirsing
Property-Driven Development.
96-102
2004
conf/sefm/2004
SEFM
https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.35
db/conf/sefm/sefm2004.html#BaumeisterKW04
Nora Koch
Piero Fraternali
Martin Wirsing
Web Engineering - 4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings
ICWE
Lecture Notes in Computer Science
3140
Springer
2004
3-540-22511-0
https://doi.org/10.1007/b99180
db/conf/icwe/icwe2004.html
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
RISSEF
Lecture Notes in Computer Science
2941
Springer
2004
3-540-21179-9
https://doi.org/10.1007/b96009
https://www.wikidata.org/entity/Q59640380
db/conf/rissef/rissef2002.html
Philipp Meier
Martin Wirsing
Towards a Formal Specification for the AgentComponent.
175-188
https://doi.org/10.1007/978-3-540-25930-5_11
2003
conf/dagstuhl/2003oaf
Objects, Agents, and Features
db/conf/dagstuhl/oaf2003.html#MeierW03
Stephan Merz
Martin Wirsing
Júlia Zappe
A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems.
87-101
2003
conf/fase/2003
FASE
https://doi.org/10.1007/3-540-36578-8_7
db/conf/fase/fase2003.html#MerzWZ03
Hubert Baumeister
Nora Koch
Piotr Kosiuczenko
Perdita Stevens
Martin Wirsing
UML for Global Computing.
1-24
https://doi.org/10.1007/978-3-540-40042-4_1
2003
conf/global/2003
Global Computing
db/conf/global/global2003.html#BaumeisterKKSW03
Richard Krutisch
Philipp Meier
Martin Wirsing
The Agent Component Approach, Combining Agents, and Components.
1-12
https://doi.org/10.1007/978-3-540-39869-1_1
2003
conf/mates/2003
MATES
db/conf/mates/mates2003.html#KrutischMW03
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
WADT
Lecture Notes in Computer Science
2755
Springer
2003
3-540-20537-3
https://doi.org/10.1007/b94458
db/conf/wadt/wadt2002.html
Martin Wirsing
Alexander Knapp
A formal approach to object-oriented software engineering.
519-560
2002
285
Theor. Comput. Sci.
2
db/journals/tcs/tcs285.html#WirsingK02
https://doi.org/10.1016/S0304-3975(01)00367-X
Nora Koch
Martin Wirsing
The Munich Reference Model for Adaptive Hypermedia Applications.
213-222
2002
conf/ah/2002
AH
https://doi.org/10.1007/3-540-47952-X_23
db/conf/ah/ah2002.html#KochW02
Dirk Pattinson
Martin Wirsing
Making Components Move: A Separation of Concerns Approach.
487-507
https://doi.org/10.1007/978-3-540-39656-7_21
2002
conf/fmco/2002
FMCO
db/conf/fmco/fmco2002.html#PattinsonW02
Hubert Baumeister
Nora Koch
Piotr Kosiuczenko
Martin Wirsing
Extending Activity Diagrams to Model Mobile Systems.
278-293
2002
conf/jit/2002node
NetObjectDays
https://doi.org/10.1007/3-540-36557-5_21
db/conf/jit/netobject2002.html#BaumeisterKKW02
Martin Wirsing
Alexander Knapp
View Consistency in Software Development.
341-357
https://doi.org/10.1007/978-3-540-24626-8_24
2002
conf/rissef/2002
RISSEF
db/conf/rissef/rissef2002.html#WirsingK02
Luís Andrade 0001
Paolo Baldan
Hubert Baumeister
Roberto Bruni
Andrea Corradini 0001
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.
1-33
https://doi.org/10.1007/978-3-540-40020-2_1
2002
conf/wadt/2002
WADT
db/conf/wadt/wadt2002.html#AndradeBBBCNFGGHKKLLLLMMMOPTWWZ02
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.
82-117
https://doi.org/10.1007/978-3-540-40020-2_4
2002
conf/wadt/2002
WADT
db/conf/wadt/wadt2002.html#Krieg-BrucknerHLLMMMPRRSW02
Piotr Kosiuczenko
Martin Wirsing
Towards an Integration of Message sequence Charts and Timed Maude.
23-44
2001
5
Trans. SDPS
1
http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-03
db/journals/jid/jid5.html#KosiuczenkoW01
Mingsheng Ying
Martin Wirsing
Recursive equations in higher-order process calculi.
839-852
2001
266
Theor. Comput. Sci.
1-2
db/journals/tcs/tcs266.html#YingW01
https://doi.org/10.1016/S0304-3975(00)00378-9
Bernhard Reus
Martin Wirsing
Rolf Hennicker
A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models.
300-317
2001
conf/fase/2001
FASE
https://doi.org/10.1007/3-540-45314-8_22
db/conf/fase/fase2001.html#ReusWH01
Rolf Hennicker
Hubert Baumeister
Alexander Knapp
Martin Wirsing
Specifying Component Invariants with OCL.
600-607
2001
conf/gi/2001-1
GI Jahrestagung (1)
db/conf/gi/gi2001-1.html#HennickerBKW01
Iman Poernomo
John N. Crossley
Martin Wirsing
Programs, Proofs and Parametrized Specifications.
280-304
2001
conf/wadt/2001
WADT
https://doi.org/10.1007/3-540-45645-7_14
db/conf/wadt/wadt2001.html#PoernomoCW01
Manfred Broy
Martin Wirsing
Invited Talk: Algebraic State Machines.
89-188
2000
conf/amast/2000
AMAST
https://doi.org/10.1007/3-540-45499-3_9
db/conf/amast/amast2000.html#BroyW00
Mingsheng Ying
Martin Wirsing
Approximate Bisimilarity.
309-322
2000
conf/amast/2000
AMAST
https://doi.org/10.1007/3-540-45499-3_23
db/conf/amast/amast2000.html#YingW00
Martin Wirsing
Martin Gogolla
Hans-Jörg Kreowski
Tobias Nipkow
Wolfgang Reif
Workshop über Rigorose Entwicklung software-intensiver Systeme.
465-466
2000
GI Jahrestagung
https://doi.org/10.1007/978-3-642-58322-3_35
conf/gi/2000
db/conf/gi/gi2000.html#WirsingGKNR00
Martin Wirsing
Nora Koch
Gustavo Rossi
Alejandra Garrido 0001
Luis Mandel
Alfred Helmerich
Luis Olsina
Specification and Modelling of Multimedia and Hypermedia Applications in Distributed Systems.
95-
1999
conf/gait/1999
German-Argentinian Workshop on Information Technology
db/conf/gait/gait1999.html#WirsingKRGMHO99
Pietro Cenciarelli
Alexander Knapp
Bernhard Reus
Martin Wirsing
An Event-Based Structural Operational Semantics of Multi-Threaded Java.
157-200
https://doi.org/10.1007/3-540-48737-9_5
1999
conf/java/1999formal
Formal Syntax and Semantics of Java
db/conf/java/formal99.html#CenciarelliKRW99
Françoise Tort
Michel Bidoit
Rolf Hennicker
Martin Wirsing
Correct Realization of Interface Constraints with OCL.
399-415
1999
conf/uml/1999
UML
db/conf/uml/uml1999.html#TortBHW99
https://doi.org/10.1007/3-540-46852-8_29
John N. Crossley
Iman Poernomo
Martin Wirsing
Extraction of Structured Programs from Specification Proofs.
419-437
1999
conf/wadt/1999
WADT
db/conf/wadt/wadt1999.html#CrossleyPW99
https://doi.org/10.1007/978-3-540-44616-3_24
Donald Sannella
Martin Wirsing
Specification Languages.
243-272
1999
Algebraic Foundations of Systems Specification
https://doi.org/10.1007/978-3-642-59851-7_8
series/ifip/afss1999
db/series/ifip/afss1999.html#SannellaW99
Martin Wirsing
John N. Crossley
Hannes Peterreins
Proof Normalization of Structured Algebraic Specifications Is Convergent.
326-340
https://doi.org/10.1007/3-540-48483-3_21
1998
conf/wadt/1998
WADT
db/conf/wadt/wadt98.html#WirsingCP98
Piotr Kosiuczenko
Martin Wirsing
Formalizing and Executing Message Sequence Charts via Timed Rewriting.
1998
conf/monterey/1998
Monterey Workshop
https://doi.org/10.1016/S1571-0661(04)00131-8
db/journals/entcs/entcs25.html#KosiuczenkoW99
50-61
Piotr Kosiuczenko
Martin Wirsing
Timed Rewriting Logic with an Application to Object-Based Specification.
225-246
1997
28
Sci. Comput. Program.
2-3
db/journals/scp/scp28.html#KosiuczenkoW97
https://doi.org/10.1016/S0167-6423(96)00024-X
Rolf Hennicker
Martin Wirsing
Michel Bidoit
Proof Systems for Structured Specifications with Observability Operators.
393-443
1997
173
Theor. Comput. Sci.
2
db/journals/tcs/tcs173.html#HennickerWB97
https://doi.org/10.1016/S0304-3975(96)00162-4
Pietro Cenciarelli
Alexander Knapp
Bernhard Reus
Martin Wirsing
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics.
75-90
1997
conf/amast/1997
AMAST
db/conf/amast/amast97.html#CenciarelliKRW97
https://doi.org/10.1007/BFb0000464
Rolf Hennicker
Martin Wirsing
Proof Systems for Struvtured Algebraic Specifications: An Overview.
19-37
1997
conf/fct/1997
FCT
db/conf/fct/fct97.html#HennickerW97
https://doi.org/10.1007/BFb0036169
Josef Schneeberger
Nora Koch
Andreas Turk
Rainer Lutze
Martin Wirsing
Hartmut Fritzsche
Patrick Closhen
EPK-fix: Software-Engineering und Werkzeuge für elektronische Produktkataloge.
446-455
1997
conf/gi/1997
GI Jahrestagung
db/conf/gi/gi97.html#SchneebergerKTLWFC97
https://doi.org/10.1007/978-3-642-60831-5_57
Martin Wirsing
Josef Schneeberger
Rainer Lutze
Workshop: Software-Engineering für Multimedia-Systeme.
631
1997
conf/gi/1997
GI Jahrestagung
db/conf/gi/gi97.html#WirsingSL97
https://doi.org/10.1007/978-3-642-60831-5_88
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.
199-209
1997
conf/idms/1997
IDMS
db/conf/idms/idms97.html#KnappKWDLFTCFHGSST97
https://doi.org/10.1007/BFb0000352
Bernhard Reus
Alexander Knapp
Pietro Cenciarelli
Martin Wirsing
Verifying a compiler optimization for Multi-Threaded Java.
402-417
1997
conf/wadt/1997
WADT
db/conf/wadt/wadt97.html#ReusKCW97
https://doi.org/10.1007/3-540-64299-4_47
Ulrike Lechner
Christian Lengauer
Friederike Nickl
Martin Wirsing
(Objects + Concurrency) & Reusability - A Proposal to Circumvent the Inheritance Anomaly.
232-247
https://doi.org/10.1007/BFb0053064
1996
conf/ecoop/1996
ECOOP
db/conf/ecoop/ecoop96.html#LechnerLNW96
John N. Crossley
Luis Mandel
Martin Wirsing
First-Order Constrained Lambda Calculus.
339-356
1996
conf/frocos/1996
FroCoS
db/conf/frocos/frocos1996.html#CrossleyMW96
Martin Wirsing
Alexander Knapp
A formal approach to object-oriented software engineering.
1996
conf/wrla/1996
WRLA
https://doi.org/10.1016/S1571-0661(04)00046-5
db/journals/entcs/entcs4.html#WirsingK96
322-360
Martin Wirsing
Maurice Nivat
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings
AMAST
Lecture Notes in Computer Science
1101
Springer
1996
3-540-61463-X
https://doi.org/10.1007/BFb0014301
db/conf/amast/amast96.html
María Victoria Cengarle
Martin Wirsing
A Calculus of Higher-Order Parameterization for Algebraic Specifications.
615-641
1995
3
Log. J. IGPL
4
https://doi.org/10.1093/jigpal/3.4.615
db/journals/igpl/igpl3.html#CengarleW95
Michel Bidoit
Rolf Hennicker
Martin Wirsing
Behavioural and Abstractor Specifications.
149-186
1995
25
Sci. Comput. Program.
2-3
db/journals/scp/scp25.html#BidoitHW95
https://doi.org/10.1016/0167-6423(95)00014-3
Peter Csaba Ölveczky
Piotr Kosiuczenko
Martin Wirsing
An Object-Oriented Algebraic Steam-Boiler Control Specification.
379-402
1995
conf/dagstuhl/1995fm
Formal Methods for Industrial Applications
db/conf/dagstuhl/fm1995.html#OveczkyKW95
https://doi.org/10.1007/BFb0027246
Manfred Broy
Martin Wirsing
Correct Software: From Experiments to Applications.
1-26
1995
conf/korso/1995
KORSO Book
db/conf/korso/korso1995.html#BroyW95
https://doi.org/10.1007/BFb0015453
Peter Pepper
Martin Wirsing
A Method for the Development of Correct Software.
27-57
1995
conf/korso/1995
KORSO Book
db/conf/korso/korso1995.html#PepperW95
https://doi.org/10.1007/BFb0015454
Martin Wirsing
Algebraic Specification Languages: An Overview.
81-115
1994
conf/compass/1994
COMPASS/ADT
db/conf/compass/compass94.html#Wirsing94
https://doi.org/10.1007/BFb0014423
Ulrike Lechner
Christian Lengauer
Martin Wirsing
An Object-Oriented Airport: Specification and Refinement in Maude.
351-367
1994
conf/compass/1994
COMPASS/ADT
db/conf/compass/compass94.html#LechnerLW94
https://doi.org/10.1007/BFb0014438
Michel Bidoit
Rolf Hennicker
Martin Wirsing
Characterizing Behavioural Semantics and Abstractor Semantics.
105-119
1994
conf/esop/1994
ESOP
db/conf/esop/esop94.html#BidoitHW94
https://doi.org/10.1007/3-540-57880-3_7
Martin Wirsing
Ist zuverlässige Software eine Utopie?
531
1994
conf/gi/1994
GI Jahrestagung
db/conf/gi/gi1994.html#Wirsing94
Friederike Nickl
Martin Wirsing
A Formal Approach to Requirements Engineering (Invited Paper).
312-334
1993
conf/ershov/1993
Formal Methods in Programming and Their Applications
db/conf/ershov/ershov1993.html#NicklW93
https://doi.org/10.1007/BFb0039717
Manfred Broy
Martin Wirsing
Korrekte Software: Vom Experiment zur Anwendung.
29-43
1993
conf/gi/1993
GI Jahrestagung
db/conf/gi/gi93.html#BroyW93
https://doi.org/10.1007/978-3-642-78486-6_4
María Victoria Cengarle
Luis Mandel
Martin Wirsing
Heiner Brand
Klaus Däßler
Thekla Schneider
An Approach to the DIN Kernel Lisp Definition.
319-369
1992
4
LISP Symb. Comput.
4
db/journals/lisp/lisp4.html#CengarleMWBDS92
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.
399-404
1992
4
LISP Symb. Comput.
4
db/journals/lisp/lisp4.html#CengarleMWBDS92a
Maurice Bruynooghe
Martin Wirsing
Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings
PLILP
Lecture Notes in Computer Science
631
Springer
1992
3-540-55844-6
https://doi.org/10.1007/3-540-55844-6
db/conf/plilp/plilp92.html
Friedrich L. Bauer
Martin Wirsing
Elementare Aussagenlogik.
I-X, 1-228
Springer
1991
Mathematik für Informatiker
978-3-540-52974-3
Rolf Hennicker
Martin Wirsing
A Formal Method for the Systematic Reuse of Specification Components.
49-75
1991
conf/cip/1991
Methods of Programming
db/conf/cip/cip1991.html#HennickerW91
https://doi.org/10.1007/BFb0018269
Jacek Leszczylowski
Martin Wirsing
Polymorphism, Parameterization and Typing: An Algebraic Specification Perspective.
1-15
1991
conf/stacs/1991
STACS
db/conf/stacs/stacs91.html#LeszczylowskiW91
https://doi.org/10.1007/BFb0020783
María Victoria Cengarle
Heiner Brand
Luis Mandel
Klaus Däßler
Martin Wirsing
Thekla Schneider
Knowledge Representation in Kernel Lisp.
278-286
1991
conf/wi/1991
Wissensbasierte Systeme
db/conf/wi/wi1991.html#CengarleBMDWS91
https://doi.org/10.1007/978-3-642-76980-1_25
Manfred Broy
Martin Wirsing
Method of Programming, Selected Papers on the CIP-Project
Method of Programming
Lecture Notes in Computer Science
544
Springer
1991
3-540-54576-X
https://doi.org/10.1007/BFb0018265
db/conf/cip/cip1991.html
Jan Maluszynski
Martin Wirsing
Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings
PLILP
Lecture Notes in Computer Science
528
Springer
1991
3-540-54444-5
0-387-54444-5
https://doi.org/10.1007/3-540-54444-5
https://www.worldcat.org/oclc/311688610
db/conf/plilp/plilp91.html
Thomas Streicher
Martin Wirsing
Dependent Types Considered Necessary for Specification Languages.
323-340
1990
conf/adt/1990
ADT
db/conf/adt/adt1990.html#StreicherW90
https://doi.org/10.1007/3-540-54496-8_17
Martin Wirsing
Algebraic Specification.
675-788
1990
books/el/Leeuwen90a
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B)
db/books/collections/leeuwen90a.html#Wirsing90
https://doi.org/10.1016/b978-0-444-88074-1.50018-4
Martin Wirsing
Rolf Hennicker
Robert Stabl
MENU - An Example for the Systematic Reuse of Specifications.
20-41
1989
conf/esec/1989
ESEC
db/conf/esec/esec89.html#WirsingHS89
https://doi.org/10.1007/3-540-51635-2_30
Martin Wirsing
Algebraic Specification: Semantics, Parameterization and Refinement.
259-318
1989
Formal Description of Programming Concepts
conf/ifip2/1989
db/conf/ifip2/fdpc1989.html#Wirsing89
Martin Wirsing
Manfred Broy
A Modular Framework for Specification and Implementation.
42-73
1989
conf/tapsoft/1989-1
TAPSOFT, Vol.1
db/conf/tapsoft/tapsoft89-1.html#WirsingB89
https://doi.org/10.1007/3-540-50939-9_124
Martin Wirsing
Jan A. Bergstra
Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]
Algebraic Methods
Lecture Notes in Computer Science
394
Springer
1989
3-540-51698-0
https://doi.org/10.1007/BFb0015032
db/conf/am/am1987.html
Friedrich L. Bauer
Martin Wirsing
Crypt-Equivalent Algebraic Specifications.
111-153
1988
25
Acta Informatica
2
db/journals/acta/acta25.html#BauerW88
https://doi.org/10.1007/BF00263582
Manfred Broy
Martin Wirsing
Ultra-loose algebraic specifications.
117-127
1988
35
Bull. EATCS
db/journals/eatcs/eatcs35.html#BroyW88
Bernhard Möller
Andrzej Tarlecki
Martin Wirsing
Algebraic Specification with Built-in Domain Constructions.
132-148
1988
conf/caap/1988
CAAP
db/conf/caap/caap88.html#MollerTW88
https://doi.org/10.1007/BFb0026101
Martin Wirsing
Rolf Hennicker
Ruth Breu
Reusable Specification Components.
121-137
1988
conf/mfcs/1988
MFCS
db/conf/mfcs/mfcs88.html#WirsingHB88
https://doi.org/10.1007/BFb0017136
Robert Cori
Martin Wirsing
STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings
STACS
Lecture Notes in Computer Science
294
Springer
1988
https://doi.org/10.1007/BFb0035825
db/conf/stacs/stacs88.html
3-540-18834-7
Manfred Broy
Martin Wirsing
Peter Pepper
On the Algebraic Definition of Programming Languages.
54-99
1987
9
ACM Trans. Program. Lang. Syst.
1
https://doi.org/10.1145/9758.10501
db/journals/toplas/toplas9.html#BroyWP87
Bernhard Möller
Andrzej Tarlecki
Martin Wirsing
Algebraic Specifications of Reachable Higher-Order Algebras.
154-169
1987
conf/adt/1987
ADT
db/conf/adt/adt1987.html#MollerTW87
https://doi.org/10.1007/3-540-50325-0_8
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
0-444-70253-9
db/conf/ifip2/fdpc1987.html
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
STACS
Lecture Notes in Computer Science
247
Springer
1987
https://doi.org/10.1007/BFb0039590
db/conf/stacs/stacs87.html
3-540-17219-X
Martin Wirsing
Algebraic specification of the abstract data type "Continuum" without hidden operations.
46-54
1986
29
Bull. EATCS
db/journals/eatcs/eatcs29.html#Wirsing86
Manfred Broy
Bernhard Möller
Peter Pepper
Martin Wirsing
Algebraic Implementations Preserve Program Correctness.
35-53
1986
7
Sci. Comput. Program.
1
db/journals/scp/scp7.html#BroyMPW86
https://doi.org/10.1016/0167-6423(86)90004-3
Martin Wirsing
Structured Algebraic Specifications: A Kernel Language.
123-249
1986
42
Theor. Comput. Sci.
db/journals/tcs/tcs42.html#Wirsing86
https://doi.org/10.1016/0304-3975(86)90051-4
Martin Wirsing
Specification Languages versus Programming Languages (Panel).
777-778
1986
conf/ifip/1986
IFIP Congress
db/conf/ifip/ifip86.html#Wirsing86
Egidio Astesiano
Gianna Reggio
Martin Wirsing
Relational Specifications and Observational Semantics.
209-217
1986
conf/mfcs/1986
MFCS
db/conf/mfcs/mfcs86.html#AstesianoRW86
https://doi.org/10.1007/BFb0016244
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
3-540-15187-7
https://doi.org/10.1007/3-540-15187-7
Andrzej Tarlecki
Martin Wirsing
Continuous abstract data types: basic machinery and results.
431-441
1985
conf/fct/1985
FCT
db/conf/fct/fct1985.html#TarleckiW85
https://doi.org/10.1007/BFb0028827
Egidio Astesiano
Gianfranco Mascari
Gianna Reggio
Martin Wirsing
On the Parameterized Algebraic Specification of Concurrent Systems.
342-358
1985
conf/tapsoft/1985-1
TAPSOFT, Vol.1
db/conf/tapsoft/tapsoft85-1.html#AstesianoMRW85
https://doi.org/10.1007/3-540-15198-2_22
Peter Padawitz
Martin Wirsing
Completeness of many-sorted equational logic revisited.
88-93
1984
24
Bull. EATCS
db/journals/eatcs/eatcs24.html#PadawitzW84
Manfred Broy
Martin Wirsing
Claude Pair
A Systematic Study of Models of Abstract Data Types.
139-174
1984
33
Theor. Comput. Sci.
db/journals/tcs/tcs33.html#BroyWP84
https://doi.org/10.1016/0304-3975(84)90086-0
https://www.wikidata.org/entity/Q111465597
Rolf Hennicker
Martin Wirsing
Observational Specification: A Birkhoff Theorem.
119-135
1984
conf/adt/1984
ADT
db/conf/adt/adt1984.html#HennickerW84
https://doi.org/10.1007/978-3-662-09691-8_10
Martin Wirsing
Peter Pepper
Helmuth Partsch
Walter Dosch
On Hierarchies of Abstract Data Types.
1-33
1983
20
Acta Informatica
db/journals/acta/acta20.html#WirsingPPD83
https://doi.org/10.1007/BF00264293
Manfred Broy
Martin Wirsing
Algebraic Definition of a Functional Programming Language and Its Semantic Models.
137-161
1983
17
RAIRO Theor. Informatics Appl.
2
db/journals/ita/ita17.html#BroyW83
https://doi.org/10.1051/ita/1983170201371
Manfred Broy
Martin Wirsing
Generalized Heterogeneous Algebras.
1983
conf/adt/1983
ADT
db/conf/adt/adt1983.html#BroyW83
Donald Sannella
Martin Wirsing
A Kernel Language for Algebraic Specification and Implementation.
1983
conf/adt/1983
ADT
db/conf/adt/adt1983.html#SannellaW83
Manfred Broy
Martin Wirsing
Generalized Heterogeneous Algebras and Partial Interpretations.
1-34
1983
conf/caap/1983
CAAP
db/conf/caap/caap83.html#BroyW83
https://doi.org/10.1007/3-540-12727-5_1
Donald Sannella
Martin Wirsing
A Kernel Language for Algebraic Specification and Implementation - Extended Abstract.
413-427
1983
conf/fct/1983
FCT
db/conf/fct/fct83.html#SannellaW83
https://doi.org/10.1007/3-540-12689-9_122
Manfred Broy
Martin Wirsing
Partial Abstract Types.
47-64
1982
18
Acta Informatica
db/journals/acta/acta18.html#BroyW82
https://doi.org/10.1007/BF00625280
Peter Pepper
Manfred Broy
Friedrich L. Bauer
Helmuth Partsch
Walter Dosch
Martin Wirsing
Abstrakte Datentypen: Die algebraische Spezifikation von Rechenstrukturen.
107-119
1982
5
Inform. Spektrum
2
db/journals/insk/insk5.html#PepperBBPDW82
Martin Wirsing
Implementation of Parameterized Hierarchical Specifications.
1982
conf/adt/1982
ADT
db/conf/adt/adt1982.html#Wirsing82
Donald Sannella
Martin Wirsing
Implementation of Parameterised Specifications (Extended Abstract).
473-488
1982
conf/icalp/1982
ICALP
db/conf/icalp/icalp82.html#SannellaW82
https://doi.org/10.1007/BFb0012793
Manfred Broy
Martin Wirsing
On the Algebraic Specification of Finitary Infinite.
171-198
1982
Formal Description of Programming Concepts
conf/ifip2/1982
db/conf/ifip2/fdpc1982.html#BroyW82
Jacek Leszczylowski
Martin Wirsing
A system for reasoning within and about algebraic specifications.
257-282
1982
conf/programm/1982
Symposium on Programming
db/conf/programm/programm1982.html#LeszczylowskiW82
https://doi.org/10.1007/3-540-11494-7_18
conf/vldb/82
Walter Dosch
Gianfranco Mascari
Martin Wirsing
On the Algebraic Specification of Databases.
370-385
1982
VLDB
db/conf/vldb/vldb82.html#DoschMW82
http://www.vldb.org/conf/1982/P370.PDF
...
conf/mfcs/AusielloBM80
...
...
...
...
...
...
conf/sigmod/BunemanF79
...
...
journals/jcss/ChandraH80
journals/cacm/Codd70
conf/gi/EhrigF81
conf/vldb/EhrigKW78
...
conf/vldb/Gallaire81
...
conf/sigmod/HammerB80
conf/vldb/HammerM75
...
journals/tods/LockemannMWW79
conf/icalp/Makowsky81
...
...
conf/er/SantosNF79
journals/is/SchielFNC84
...
journals/tods/SmithS77
conf/vldb/VelosoCF81
...
journals/acta/WirsingPPD83
Manfred Broy
Martin Wirsing
Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany
1982
ADT
University of Passau
db/conf/adt/adt1983.html
Manfred Broy
Rupert Gnatz
Martin Wirsing
Nichtdeterminismus - Das aktuelle Schlagwort.
125-126
1981
4
Inform. Spektrum
2
db/journals/insk/insk4.html#BroyGW81
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.
73-114
1981
1
Sci. Comput. Program.
1-2
db/journals/scp/scp1.html#BauerBDGKLLMMPPSSWW81
https://doi.org/10.1016/0167-6423(81)90006-X
Manfred Broy
Martin Wirsing
On the Algebraic Specification of Nondeterministic Programming Languages.
162-179
1981
conf/caap/1981
CAAP
db/conf/caap/caap81.html#BroyW81
https://doi.org/10.1007/3-540-10828-9_61
Manfred Broy
Walter Dosch
Bernhard Möller
Martin Wirsing
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
109-121
1981
conf/gi/1981
GI Jahrestagung
db/conf/gi/gi81.html#BroyDMW81
https://doi.org/10.1007/978-3-662-01089-1_13
Manfred Broy
Martin Wirsing
On the Algebraic Extensions of Abstract Data Types.
244-251
1981
conf/icfpc/1981
ICFPC
db/conf/icfpc/icfpc1981.html#BroyW81
https://doi.org/10.1007/3-540-10699-5_101
Jan A. Bergstra
Manfred Broy
John V. Tucker
Martin Wirsing
On the Power of Algebraic Specifications.
193-204
1981
conf/mfcs/1981
MFCS
db/conf/mfcs/mfcs81.html#BergstraBTW81
https://doi.org/10.1007/3-540-10856-4_85
Manfred Broy
Martin Wirsing
Program Development: From Enumeration to Backtracking.
193-197
1980
10
Inf. Process. Lett.
4/5
db/journals/ipl/ipl10.html#BroyW80
https://doi.org/10.1016/0020-0190(80)90138-6
Manfred Broy
Martin Wirsing
Programming languages as abstract data types.
160-177
1980
CLAAP
conf/caap/1980
db/conf/caap/caap80.html#BroyW80
Walter Dosch
Martin Wirsing
Giorgio Ausiello
Gianfranco Mascari
Polynomials - The Specification, Analysis and Development of an Abstract Data Type.
306-320
1980
conf/gi/1980
GI Jahrestagung
db/conf/gi/gi80.html#DoschWAM80
https://doi.org/10.1007/978-3-642-67838-7_28
Manfred Broy
Helmuth Partsch
Peter Pepper
Martin Wirsing
Semantic Relations in Programming Languages.
101-106
1980
conf/ifip/1980
IFIP Congress
db/conf/ifip/ifip80.html#BroyPPW80
Martin Wirsing
Manfred Broy
Abstract Data Types as Lattices of Finitely Generated Models.
673-685
1980
conf/mfcs/1980
MFCS
db/conf/mfcs/mfcs80.html#WirsingB80
https://doi.org/10.1007/BFb0022542
Manfred Broy
Peter Pepper
Martin Wirsing
On Relations Between Programs.
59-78
1980
conf/programm/1980
Symposium on Programming
db/conf/programm/programm80.html#BroyPW80
https://doi.org/10.1007/3-540-09981-6_5
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.
224-229
1979
8
Inf. Process. Lett.
5
db/journals/ipl/ipl8.html#BroyWFQR79
https://doi.org/10.1016/0020-0190(79)90111-X
Martin Wirsing
Small Universal Post Systems.
559-564
1979
25
Math. Log. Q.
33
https://doi.org/10.1002/malq.19790253307
db/journals/mlq/mlq25.html#Wirsing79
Manfred Broy
Walter Dosch
Helmuth Partsch
Peter Pepper
Martin Wirsing
Existential Quantifiers in Abstract Data Types.
73-87
1979
conf/icalp/1979
ICALP
db/conf/icalp/icalp79.html#BroyDPPW79
https://doi.org/10.1007/3-540-09510-1_7
Martin Wirsing
Kleine unentscheidbare Klassen der Prädikatenlogik mit Identität und Funktionszeichen.
97-109
1978
19
Arch. Math. Log.
1
https://doi.org/10.1007/BF02011871
db/journals/aml/aml19.html#Wirsing78
Manfred Broy
Rupert Gnatz
Martin Wirsing
Semantics of Nondeterministic and Noncontinuous Constructs.
553-592
1978
conf/pc/1978
Program Construction
db/conf/pc/pc1978.html#BroyGW78
https://doi.org/10.1007/BFb0014683
Lucia Acciai
Musab AlTurki
Luís Filipe AndradeLuís Andrade 0001
Egidio Astesiano
Giorgio Ausiello
Paolo Baldan
Simonetta Balsamo
Jean-Pierre Banâtre
Federico Banti
Friedrich L. Bauer
Sebastian S. Bauer
Hubert Baumeister
Lenz Belzner
Saddek Bensalem
Rudolf Berghammer
Jan A. Bergstra
Dirk Beyer 0001
Michel Bidoit
Simon Bliudze
Artur Boronat
Heiner Brand
Franz-Josef Brandenburg
Ruth Breu
Linda Briesemeister
Manfred Broy
Roberto Bruni
Maurice Bruynooghe
Tomás Bures
Marianne Busch
Mauro Calise
Pietro Cenciarelli
María Victoria Cengarle
Marsha Chechik
Allan Clark
Patrick Closhen
Robert Cori
Andrea Corradini 0001
John Newsome CrossleyJohn N. Crossley
Klaus Däßler
Grit Denker
Pierre Dillenbourg
Walter Dosch
J. Duckeck
Jonas Eckhardt
Alessandro Fantechi
José Luiz Fiadeiro
Jean-Pierre Finance
Armando Fox
Piero Fraternali
Markus Frisch
Hartmut Fritzsche
Thomas Gabor
Fabio Gadducci
Bernd Gaede
Alejandra Garrido 0001
Franz Geiselbrechtinger
Ilias Gerostathopoulos
Stephen Gilmore
Rupert Gnatz
Stefania Gnesi
Martin Gogolla
László Gönczy
Florian Hacklinger
E. Hangel
Alfred Helmerich
Rolf Hennicker
Wolfgang Hesse
Jane Hillston
Nicklas Hoch
Piotr Hoffman
Hans-Jürgen Hoffmann
Martin Hofmann 0001
Matthias M. Hölzl
Dang Van Hung
Dieter Hutter
Stefan Jähnichen
Stephan Janisch
Panagiotis Katsaros
Claude Kirchner
Michal Kit
Annabelle Klarl
Carlos Delgado Kloos
Alexander Knapp
Nora Koch
Jana Koehler
Piotr Kosiuczenko
Hans-Jörg Kreowski
Bernd Krieg-Brückner
Richard Krutisch
Alessandro Lapadula
Diego Latella
Alfred Laut
Ulrike Lechner
Christian Lengauer
Jacek Leszczylowski
Arne Lindow
Alberto Lluch-Lafuente
Antónia Lopes
Michele Loreti
Ruqian Lu
Roberto Lucchi
M. Luckmann
Christoph Lüth
Rainer Lutze
Alexandre Madeira
Achim Mahnke
Jan Maluszynski
Luis Mandel
Grzegorz Marczynski
Gianfranco Mascari
Mieke Massink
Thomas Matzner
Philip Mayer
Franco Mazzanti
Max Meier
Philipp Meier
Erica Melis
Stephan Merz
José Meseguer 0001
John C. Mitchell
Bernhard Möller
Catherine Mongenet
Giacoma Valentina Monreale
Ugo Montanari
Tobias Mühlbauer
Stefanie Neubert
Friederike Nickl
Rocco De Nicola
Tobias Nipkow
Maurice Nivat
Cristóvão Oliveira
Luis Olsina
Peter Csaba Ölveczky
Fernando Orejas
Peter Padawitz
Claude Pair
Helmuth Partsch
Dirk Pattinson
Peter Pepper
Hannes Peterreins
Thomy Phan
Fabian R. Pieroth
Marco Pistore
Jeremy V. PittJeremy Pitt
Iman PoernomoIman Hafiz Poernomo
Arnd Poetzsch-Heffter
Andy Poggio
Rosario Pugliese
Mariachiara Puviani
Alain Quéré
Allaithy Raed
Axel Rauschmayer
Gianna Reggio
Justin Reich
Wolfgang Reif
Jean-Luc Rémy
Bernhard Reus
M. Birna van Riemsdijk
Markus Roggenbach
Gustavo Rossi
George Russell
Klaus Samelson
Partha Sampath
Partha B. Sampathkumaran
Donald Sannella
Kyrill Schmid
Albrecht Schmidt 0001
Josef Schneeberger
Thekla Schneider
Andreas Schroeder 0001
Nikola B. Serbedzija
Amit P. Sheth
Gideon Shimshon
Jan-Georg Smaus
Robert Stabl
Thomas Staubitz
Ralf Steinbrüggen
Perdita Stevens
Herbert Stoyan
Thomas Streicher
Xiyue Sun
Carolyn L. Talcott
Andrzej Tarlecki
Francesco Tiezzi 0001
D. Timm
Françoise Tort
Paolo Traverso
Mirco Tribastone
John V. Tucker
Andreas Turk
José A. Ruipérez Valiente
Andrea Vandin
Dániel Varró
Guy Vidal-Naquet
Michel Wermelinger
Hans Wössner
Mingsheng Ying
Ning Yu 0003
Franco Zambonelli
Júlia Zappe
Gianluigi Zavattaro
Artur Zawlocki
Gefei Zhang
Songmao Zhang
Zili Zhang