dblp.uni-trier.dewww.uni-trier.de

Johannes Leitner

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
4EESabine Glesner, Johannes Leitner, Jan Olaf Blech: Coinductive Verification of Program Optimizations Using Similarity Relations. Electr. Notes Theor. Comput. Sci. 176(3): 61-77 (2007)
3EEOtwin Becker, Johannes Leitner, Ulrike Leopold-Wildburger: Heuristic modeling of expectation formation in a complex experimental information environment. European Journal of Operational Research 176(2): 975-985 (2007)
2006
2EEHeiner Micko, Johannes Leitner: Network Enabled Decision Support for Civil Emergency Management. Journal of Decision Systems 15(2-3): 287-308 (2006)
2005
1EEJan Olaf Blech, Sabine Glesner, Johannes Leitner, Steffen Mülling: Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL. Electr. Notes Theor. Comput. Sci. 141(2): 33-51 (2005)

Coauthor Index

1Otwin Becker [3]
2Jan Olaf Blech [1] [4]
3Sabine Glesner [1] [4]
4Ulrike Leopold-Wildburger [3]
5Heiner Micko [2]
6Steffen Mülling [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)