Auf dieser Seite finden Sie sämtliche Publikationen, die an diesem Institut entstanden sind. Wenn Sie nach einem bestimmten Papier suchen, das womöglich geschrieben wurde, bevor der entsprechende Autor an unser Institut gewechselt hat, besuchen Sie bitte seine/ihre Mitarbeiterseite.
Bitte beachten Sie, dass auch eine Auflistung sämtlicher am Institut entstandener studentischer Abschlussarbeiten existiert.
Publikationen des Instituts für Künstliche Intelligenz
1998
72.
J. Rintanen,
"Lexicographic Priorities in Default Logic",
Artificial Intelligence,
vol. 106,
pp. 221--265,
1998.
71.
D. Schwier and
F. von Henke,
"Mechanical Verification of Clock Synchronization Algorithms"
in Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT '98),
Anders P. Ravn and Hans Rischel, Eds.
Springer,
1998,
pp. 262--271.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Schwier98Verification.pdf |
70.
A. Dold,
T. Gaul and
W. Zimmermann,
"Mechanized Verification of Compiler Backends"
in Proceedings of the International Workshop on Software Tools for Technology Transfer (STTT '98),
Aalborg, Denmark,
1998.
Datei: | http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.5876&rep=rep1&type=pdf |
69.
A. M. Uhrmacher,
P. Tyschler and
D. Tyschler,
"Modeling Mobile Agents"
in Proceedings of the International Conference on Web-Based Modeling and Simulation,
1998,
pp. 15--20.
Datei: | http://www.researchgate.net/publication/222803651_Modeling_and_simulation_of_mobile_agents/file/3deec51a51179d6d80.pdf |
68.
H. Pfeifer and
H. Rueß,
"Polytypic Abstraction in Type Theory"
in Workshop on Generic Programming (WGP'98), Roland Backhouse and Tim Sheard, Eds.
Dept. of Computing Science, Chalmers Univ. of Technology, and Göteborg Univ.,
1998.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1998/Pfeifer98PolytypicAbstraction.pdf |
67.
A. Seitz and
A. M. Uhrmacher,
"The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies"
in Advances in Artificial Intelligence, Proceedings of the 22nd German Conference on Artificial Intelligence (KI 1998),
Springer,
1998,
pp. 213--224.
1997
66.
D. Cyrluk,
O. Möller and
H. Rueß,
"An Efficient Decision Procedure for the Theory of Fixed-Sized Bit-Vectors"
in Computer Aided Verification - 9th International Conference, (CAV '97),
Springer Berlin Heidelberg,
1997,
pp. 60--71.
DOI: | 10.1007/3-540-63166-6_9 |
65.
A. M. Uhrmacher,
F. E. Cellier and
R. J. Frye,
"Applying Fuzzy-Based Inductive Reasoning to Analyze Qualitatively the Dynamic Behaviour of an Ecological System",
International Journal on Applied Artificial Intelligence in Natural Resource Management,
vol. 11,
no. 2,
pp. 1--10,
1997.
64.
A. M. Uhrmacher,
"Concepts of Object- and Agent-Oriented Simulation",
Transactions of the Society for Computer Simulation International,
vol. 14,
no. 2,
pp. 59--67,
1997.
http://dl.acm.org/citation.cfm?id=271934.
63.
A. Dold,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Formal Verification of Transformations for Peephole Optimization"
in FME '97: Formal Methods: Their Industrial Application and Strengthened Foundations,
J. Fitzgerald and C. Jones and P. Lucas, Eds.
Springer,
1997,
pp. 459--472.
62.
E. Canver,
J. Gayen and
A. Moik,
"Formale Spezifikation von Steuerungssoftware am Beispiel einer Weiche",
atp -- Automatisierungstechnische Praxis,
vol. 39,
no. 5,
pp. 57--64,
1997.
R. Oldenbourg Verlag.
61.
F. von Henke,
H. Pfeifer and
H. Rueß,
"Guided Tour Through a Mechanized Semantics of Simple Imperative Programming Constructs" ,
1997.
60.
M. Strecker and
M. Sorea,
"Integrating an Equality Prover into a Software Development System Based on Type Theory"
in Advances in Artificial Intelligence - Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI '97),
Springer Berlin Heidelberg,
1997,
pp. 147--158.
DOI: | 10.1007/3540634932_11 |
59.
F. Bartels,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Mechanizing Domain Theory" ,
1997.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1997/Bartels97MechanizingDomainTheory.pdf |
58.
F. von Henke,
M. Luther and
M. Strecker,
"Typelab: An Environment for Modular Program Development"
in Theory and Practice of Software Development (TAPSOFT '97) - Proceedings of the 7th International Joint Conference CAAP/FASE,
Springer Berlin Heidelberg,
1997,
pp. 849--854.
DOI: | 10.1007/BFb0030645 |
1996
57.
D. Cyrluk,
O. Möller and
H. Rueß,
"An Efficient Decision Procedure for a Theory of Fixed-Sized Bitvectors with Composition and Extraction" ,
1996.
56.
B. Nebel,
"Artificial Intelligence: A Computational Perspective"
in Principles of Knowledge Representation, G. Brewka, Eds.
CSLI Publications,
1996,
pp. 237--266.
55.
W. Goerigk,
A. Dold,
T. Gaul,
G. Goos,
A. Heberle,
F. von Henke,
U. Hoffmann,
H. Langmaack,
H. Pfeifer,
H. Rueß and
W. Zimmermann,
"Compiler Correctness and Implementation Verification: The \em Verifix Approach"
in Proceedings of the Poster Session of CC '96 -- International Conference on Compiler Construction,
P. Fritzson, Eds.
IDA Technical Report LiTH-IDA-R-96-12, Linkøping, Sweden,
1996,
pp. 65--73.
Datei: | http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/1996/Goerigk96Verifix.pdf |
54.
A. M. Uhrmacher,
"Concepts of Object- and Agent-Oriented Simulation"
in Workshop on Multiagent Systems and Simulation,
1996,
pp. 1--8.
Datei: | http://wwwmosi.informatik.uni-rostock.de/diemosiris/static/Papers_archiv/scs97.pdf |
53.
A. Seitz and
A. M. Uhrmacher,
"Fälle statt Modellwissen - Eine Anwendung auf dem Gebiet der Knochenheilung"
in 4th German Workshop on Case-Based Reasoning,
1996.
52.
E. Canver,
J. Gayen and
A. Moik,
"Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE" ,
1996.
Datei: | http://vts.uni-ulm.de/docs/2009/7066/vts_7066_9889.pdf |
51.
A. Dold,
F. von Henke,
H. Pfeifer and
H. Rueß,
"Generic Compilation Schemes for Simple Programming Constructs" ,
1996.
50.
H. Rueß,
"Hierarchical verification of two-dimensional high-speed multiplication in PVS: A case study"
in Formal Methods in Computer-Aided Design, Srivas, Mandayam and Camilleri, Albert, Eds.
Springer Berlin Heidelberg,
1996,
pp. 79--93.
DOI: | 10.1007/BFb0031801 |
ISBN: | 978-3-540-61937-6 |
49.
H. Rueß,
N. Shankar and
M. K. Srivas,
"Modular Verification of SRT Division"
in Proceedings of the 8th International Conference on Computer Aided Verification (CAV '96),
Springer Berlin Heidelberg,
1996,
pp. 123--134.
DOI: | 10.1007/3-540-61474-5_63 |
48.
A. M. Uhrmacher,
"Object-Oriented and Agent-Oriented Simulation-Implications for Social Science Applications"
in Social Science Micro Simulation- A Challenge for Computer Science, Doran, J. and Gilbert, N. and Müller, U. and Troitzsch, K.G., Eds.
Springer,
1996,
pp. 432--447.