Location
Toggle navigation
HOME
INSTITUTE
Mission
Address
Executive Board
Scientific Members of MPG
Scientific Advisory Board
Board of Trustees
NEWS
Latest
Press Releases
Awards
Spotlights
Campus Event Calendar
25th Anniversary
30th Anniversary
Employment
DEPARTMENTS
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Grapics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Automation of Logic
Network and Cloud Systems
Multimodal Language Processing
PUBLICATIONS
Algorithms & Complexity
Computer Vision and Machine Learning
Internet Architecture
Computer Graphics
Databases and Information Systems
Visual Computing and Artificial Intelligence
Research Group Computational Biology
Automation of Logic
Network and Cloud Systems
Research Reports
Scientific Advisory Board
Curatorship Board
25th anniversary
IMPRS-CS
PEOPLE
SOFTWARE
SERVICES
Joint Central Services
Joint Administration
- Library
- International Office
Joint Scientific IT and Technical Services
- Building and Technical Support
Research Coordination
Representative for Equal Opportunities
- Equal Opportunities
Representative for Severely Disabled Persons
Representative for Safety
Ombudsperson for
Good Scientific Practice
and Doctoral Research
Company Physician
CS@MPG
CS@SAAR
Saarland Informatics Campus
Computer Science Department,
Saarland University
Max Planck Institute for
Software Systems (MPI-SWS)
German Center for
Artificial Intelligence (DFKI)
Center for Security, Privacy
and Accountability (CISPA)
VIA - Saarbrücken Center for
Visual Computing, Interaction
and Artificial Intelligence
Graduate School for
Computer Science
Cluster of Excellence (MMCI)
Max Planck Center for Visual
Computing and Communication
Kaiserslautern-Saarbrücken
Computer Science Cluster
IT Incubator
Publications
Home
Intranet
Server
halma.mpi-inf.mpg.de
Publications
Entries sorted by: 3. Type of Publication - 1. All Types
Login to this database
Toggle navigation
Show...
all entries of
this year (2024)
last year (2023)
two years ago (2022)
View...
all entries sorted by
Authors/Editors names
BibTeX citation keys
Type of Publication
only of type thesis
Years published
Submit
Find
Previous
Page |
Next
Page |
Expand All
|
Collapse All
|
Search (Full Text)
Show entries starting with:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
#
Author/Editor
Year
Title
Jacobs, Swen
2004
Instance Generation Methods for Automated Reasoning
Universität des Saarlandes
Jung, Georg
2001
Ein Frontend für die Anwendung von Model Checking auf die Analyse von Array Bounds für C Programme
Universität des Saarlandes
Klotzki, Pia
1995
Wiedemann-Algorithmus zur Lösung dünnbesetzter Gleichungssysteme über Fp
Universität des Saarlandes
Leven, Peter
1998
Integrating Clausal Decision Procedures in a Tactic Based Theorem Prover
Universität des Saarlandes
Meyer, Christoph
1996
Parallel Unit Resulting Resolution
Universität des Saarlandes
Mohr, Erik
1995
Resolution-Based Calculi for Modal Logics
Universität des Saarlandes
Naumann, Stefan
1997
Integration des automatischen Beweisers SPASS in die mathematische Assistenzumgebung OMEGA
Universität des Saarlandes
Piskac, Ruzica
2005
Formal Correctness of Result Checking for Priority Queues
Universität des Saarlandes
Rau, Rainer
1997
Adaption of a Fuzzy Controller for a Cybernetic System through an Evolutionary Algorithm
Universität des Saarlandes
Reinold, Michael
1991
Transformation in dichten Wäldern
Universität des Saarlandes
Rock, Georg
1995
Transformations of First-Order Formulae for Automated Reasoning
Universität des Saarlandes
Rybalchenko, Andrey
2002
A Model Checker based on Abstraction Refinement
Universität des Saarlandes
Schäf, Martin
2006
Abstrakte Übergangsrelationen als Mittel zur Verifikation von Programmeigenschaften
Universität des Saarlandes
Schlobach, Stefan
1996
Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung
Universität des Saarlandes
Schmolzi, Christian
1999
Kooperative koevolutionäre Entwicklung von Fuzzy-Reglern
Universität des Saarlandes
Smaus, Jan-Georg
1996
Finding Resolution K-Transformations
Universität des Saarlandes
Stuber, Jürgen
1991
Inductive Theorem Proving for Horn Clauses
Universität Dortmund
Suchanek, Fabian M.
2005
Ontological Reasoning for Natural Language Understanding
Universität des Saarlandes
Timm, Jan-Georg
1997
Testing the Satisfiability of RPO Constraints
Universität des Saarlandes
Veit, Jörg
1999
Formal Fairness Proofs for Optimistic Contract Signing Protocols
Universität des Saarlandes
Wies, Thomas
2004
Symbolic Shape Analysis
Universität des Saarlandes
26
Thesis - Doctoral dissertation
9
Thesis - Habilitation thesis
1
Thesis - Diploma thesis
11
Unpublished/Draft
4
Miscellaneous
782
Previous
Page |
Next
Page |
Expand All
|
Collapse All
|
Search (Full Text)