|
[37]
|
Guttmann, W.: Extended Designs Algebraically.
Science of Computer Programming, 78(11):2064-2085, November 2013.
[ http ]
|
|
[36]
|
Guttmann, W.: Unifying Lazy and Strict Computations.
In: Kahl, W. und T. G. Griffin (Herausgeber): Relational and Algebraic Methods in Computer
Science, Band 7560 der Reihe Lecture Notes in
Computer Science, Seiten 17-32. Springer-Verlag, 2012.
[ http ]
|
|
[35]
|
Guttmann, W.: Algebras for Iteration and Infinite Computations.
Acta Informatica, 49(5):343-359, August 2012.
[ http ]
|
|
[34]
|
Guttmann, W.: Typing Theorems of Omega Algebra.
Journal of Logic and Algebraic Programming, 81(6):643-659,
August 2012.
[ http ]
|
|
[33]
|
Guttmann, W.: Unifying Correctness Statements.
In: Gibbons, J. und P. Nogueira (Herausgeber): Mathematics of Program Construction,
Band 7342 der Reihe Lecture Notes in Computer
Science, Seiten 198-219. Springer-Verlag, 2012.
[ http ]
|
|
[32]
|
Guttmann, W., G. Struth und T. Weber:
Automating Algebraic Methods in Isabelle.
In: Qin, S. und Z. Qiu (Herausgeber): Formal Methods and Software Engineering,
Band 6991 der Reihe Lecture Notes in Computer
Science, Seiten 617-632. Springer-Verlag, 2011.
[ http ]
|
|
[31]
|
Guttmann, W.: Fixpoints for General Correctness.
Journal of Logic and Algebraic Programming, 80(6):248-265,
August 2011.
[ http ]
|
|
[30]
|
Guttmann, W., G. Struth und T. Weber: A
Repository for Tarski-Kleene Algebras.
In: Höfner, P., A. McIver und G. Struth (Herausgeber): Automated Theory Engineering,
Band 760 der Reihe CEUR Workshop Proceedings,
Seiten 30-39, 2011.
[ .pdf ]
|
|
[29]
|
Guttmann, W.: Towards a Typed Omega Algebra.
In: Swart, H. de (Herausgeber): Relational
and Algebraic Methods in Computer Science, Band 6663
der Reihe Lecture Notes in Computer Science, Seiten 196-211. Springer-Verlag, 2011.
[ http ]
|
|
[28]
|
Guttmann, W.: Unifying Recursion in Partial, Total and General
Correctness.
In: Qin, S. (Herausgeber): Unifying
Theories of Programming, Third International Symposium, UTP 2010,
Band 6445 der Reihe Lecture Notes in Computer
Science, Seiten 207-225. Springer-Verlag, 2010.
[ http ]
|
|
[27]
|
Guttmann, W.: Imperative Abstractions for Functional Actions.
Journal of Logic and Algebraic Programming, 79(8):768-793,
November 2010.
[ http ]
|
|
[26]
|
Guttmann, W.: Lazy UTP.
In: Butterfield, A. (Herausgeber):
Unifying Theories of Programming, Second International Symposium, UTP 2008,
Band 5713 der Reihe Lecture Notes in Computer
Science, Seiten 82-101. Springer-Verlag, 2010.
[ http ]
|
|
[25]
|
Guttmann, W.: Partial, Total and General Correctness.
In: Bolduc, C., J. Desharnais und B. Ktari (Herausgeber): Mathematics of Program
Construction, Band 6120 der Reihe Lecture Notes
in Computer Science, Seiten 157-177. Springer-Verlag, 2010.
[ http ]
|
|
[24]
|
Guttmann, W. und B. Möller: Normal Design
Algebra.
Journal of Logic and Algebraic Programming, 79(2):144-173,
Februar 2010.
[ http ]
|
|
[23]
|
Kohlmeyer, J. und W. Guttmann: Unifying the
Semantics of UML 2 State, Activity and Interaction Diagrams.
In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System
Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009,
Band 5947 der Reihe Lecture Notes in Computer
Science, Seiten 206-217. Springer-Verlag, 2010.
[ http ]
|
|
[22]
|
Guttmann, W.: General Correctness Algebra.
In: Berghammer, R., A. M. Jaoua und B. Möller (Herausgeber): Relations and Kleene Algebra
in Computer Science, Band 5827 der Reihe Lecture
Notes in Computer Science, Seiten 150-165. Springer-Verlag, 2009.
[ http ]
|
|
[21]
|
Kohlmeyer, J. und W. Guttmann: Unifying the
Semantics of UML 2 State, Activity and Interaction Diagrams.
In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System
Informatics: Proceedings of the Seventh International Andrei Ershov Memorial
Conference, Seiten 159-166. A. P. Ershov Institute of Informatics
Systems, Novosibirsk, Juni 2009.
|
|
[20]
|
Guttmann, W.: Lazy UTP.
In: Butterfield, A. (Herausgeber): Second
International Symposium on the Unifying Theories of Programming (UTP 08),
Seiten 253-272. Trinity College Dublin, Ireland, September
2008.
|
|
[19]
|
Guttmann, W.: Algebraic Foundations of the Unifying Theories of
Programming.
In: Wagner, D. et al. (Herausgeber):
Ausgezeichnete Informatikdissertationen 2007, Band D-8
der Reihe Lecture Notes in Informatics, Seiten 141-150. Gesellschaft für Informatik, 2008.
|
|
[18]
|
Guttmann, W.: Lazy Relations.
In: Berghammer, R., B. Möller
und G. Struth (Herausgeber): Relations and
Kleene Algebra in Computer Science, Band 4988
der Reihe Lecture Notes in Computer Science, Seiten 138-154. Springer-Verlag, 2008.
[ http ]
|
|
[17]
|
Guttmann, W.: Algebraic Foundations of the Unifying Theories of
Programming.
Dissertation, Universität Ulm, Dezember 2007.
[ http ]
|
|
[16]
|
Sarstedt, S. und W. Guttmann: An ASM Semantics of
Token Flow in UML 2 Activity Diagrams.
In: Virbitskaite, I. und
A. Voronkov (Herausgeber): Perspectives of System Informatics:
6th International Andrei Ershov Memorial Conference, PSI 2006,
Band 4378 der Reihe Lecture Notes in Computer
Science, Seiten 349-362. Springer-Verlag, 2007.
[ http ]
|
|
[15]
|
Guttmann, W. und B. Möller: Normal Design
Algebra.
Technischer Bericht 2006-28, Institut für Informatik,
Universität Augsburg, Dezember 2006.
[ http |
.pdf ]
|
|
[14]
|
Guttmann, W. und M. Maucher: Variations on an
Ordering Theme with Constraints.
In: Navarro, G., L. Bertossi und Y. Kohayakawa (Herausgeber): Fourth IFIP International
Conference on Theoretical Computer Science: TCS 2006, Band 209
der Reihe IFIP International Federation for Information
Processing, Seiten 77-90. Springer-Verlag, 2006.
[ http ]
|
|
[13]
|
Sarstedt, S. und W. Guttmann: An ASM Semantics of
Token Flow in UML 2 Activity Diagrams.
In: Virbitskaite, I. und
A. Voronkov (Herausgeber): Perspectives of System Informatics:
Proceedings of the Sixth International Andrei Ershov Memorial Conference,
Seiten 207-213. A. P. Ershov Institute of Informatics Systems,
Novosibirsk, Juni 2006.
|
|
[12]
|
Guttmann, W. und B. Möller: Modal Design
Algebra.
In: Dunne, S. und W. Stoddart (Herausgeber): Unifying Theories of Programming,
Band 4010 der Reihe Lecture Notes in Computer
Science, Seiten 236-256. Springer-Verlag, 2006.
[ http ]
|
|
[11]
|
Guttmann, W.: Non-termination in Unifying Theories of
Programming.
In: MacCaull, W., M. Winter und
I. Düntsch (Herausgeber): Relational Methods in Computer
Science 2005, Band 3929 der Reihe Lecture Notes
in Computer Science, Seiten 108-120. Springer-Verlag, 2006.
[ http ]
|
|
[10]
|
Guttmann, W. und B. Möller: Modal Design
Algebra.
In: Dunne, S. und W. Stoddart (Herausgeber): First International Symposium on the Unifying
Theories of Programming (UTP 06), Seiten 206-225. University of
Teesside, United Kingdom, Februar 2006.
|
|
[9]
|
Guttmann, W. und M. Maucher: Constrained Ordering.
Technischer Bericht UIB-2005-03, Universität Ulm,
Dezember 2005.
[ .html |
http |
.dvi |
.ps |
.pdf ]
|
|
[8]
|
Guttmann, W. und B. Möller: Modal Design
Algebra.
Technischer Bericht 2005-15, Institut für Informatik,
Universität Augsburg, September 2005.
[ http |
.pdf ]
|
|
[7]
|
Guttmann, W.: Non-Termination in Unifying Theories of
Programming.
In: Düntsch, I. und M. Winter (Herausgeber): 8th International Conference on Relational Methods
in Computer Science (RelMiCS 8), Seiten 87-94. Computer Science
Department, Brock University, St. Catharines, Ontario, Canada,
Februar 2005.
|
|
[6]
|
Guttmann, W., H. Partsch, W. Schulte und
T. Vullinghs: Tool Support for the Interactive Derivation of Formally
Correct Functional Programs.
Journal of Universal Computer Science, 9(2):173-188,
März 2003.
[ http ]
|
|
[5]
|
Guttmann, W.: Deriving an Applicative Heapsort Algorithm.
Technischer Bericht UIB-2002-02, Universität Ulm,
Dezember 2002.
[ .html |
http |
http |
.ps |
.pdf ]
|
|
[4]
|
Guttmann, W., H. Partsch, W. Schulte und
T. Vullinghs: Tool Support for the Interactive Derivation of Formally
Correct Functional Programs (Extended Abstract).
In: Haneberg, D., G. Schellhorn und W. Reif (Herausgeber): FM-TOOLS 2002: The Fifth Workshop
on Tools for System Design and Verification, Seiten 15-20.
Institut für Informatik, Universität Augsburg, Juni 2002.
Report 2002-11.
[ .dvi |
.ps |
.pdf ]
|
|
[3]
|
Guttmann, W.: Transformationelle Entwicklung des Kerns eines
Übersetzers für eine logische Programmiersprache.
Diplomarbeit, Universität Ulm, Oktober 2001.
|
|
[2]
|
Guttmann, W.: An Introduction to Ultra.
Universität Ulm, Dezember 2000.
[ http |
.ps.gz ]
|
|
[1]
|
Guttmann, W.: Organisation einer Programmier-Meisterschaft.
Universität Ulm, August 2000.
|
