Martin Wirsing - Böcker

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Adapting Proofs-as-Programs

The Curry--Howard Protocol

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

Software Engineering for Collective Autonomic Systems

The ASCENS Approach

Knowledge Science, Engineering and Management

8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

STACS 87

4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, FRG, February 19-21, 1987

STACS 88

5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings

Recent Trends in Algebraic Development Techniques

16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

Radical Innovations of Software and Systems Engineering in the Future

9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers

Web Engineering

4th International Conference, ICWE 2004, Munich, Germany, July 26-30, 2004, Proceedings

Theoretical Aspects of Computing - ICTAC 2005

Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Algebraic Methods: Theory, Tools and Applications

Elementare Aussagenlogik

Programming Language Implementation and Logic Programming

3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991. Proceedings

Methods of Programming

Selected Papers on the CIP-Project

Programming Language Implementation and Logic Programming

4th International Symposium, PLILP ’92, Leuven, Belgium, August 26–28, 1992 Proceedings

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings

Software-Intensive Systems and New Computing Paradigms

Challenges and Visions

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

Trustworthy Global Computing

5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Rigorous Software Engineering for Service-Oriented Systems

Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing