> Publishers' series
-
2000,06:
Fehlersuche in Formalen Spezifikationen Wolfgang Reif; Gerhard Schellhorn; Andreas Thums
Ulm: Univ., Fak. für Informatik, 2000
-
2000-10:
Adaptives und verteiltes Workflow-Management Thomas Bauer; Manfred Reichert; Peter Dadam. Universität Ulm, Fakultät für Informatik
Ulm: Univ., Fak. für Informatik, 2000
-
2000-11:
Workflow and process synchronization with interaction expressions and graphs Christian Heinlein. Universität Ulm, Fakultät für Informatik
Ulm: Univ., Fak. für Informatik, 2000
-
2000,09:
Vermeidung von Überlastsituationen durch Replikation von Workflow-Servern in ADEPT Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 2000
-
2000,08:
Effiziente Durchführung von Prozessmigrationen in verteilten Workflow-Management-Systemen Thomas Bauer; Manfred Reichert; Peter Dadam
Ulm: Univ., Fak. für Informatik, 2000
-
2000,02:
Variable Serverzuordnungen und komplexe Bearbeiterzuordnungen im Workflow-Management-System ADEPT Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 2000
-
2000,03:
Combined space-variant maps for optical flow based navigation Gregory Baratoff; Christian Toepfer; Heiko Neumann
Ulm: Univ., Fak. für Informatik, 2000
-
2000-04:
Ein Rahmenwerk zur Einführung von Leistungspunktesystemen Wolfgang Gehring. [Hrsg.: Fakultät für Informatik, Universität Ulm]
Ulm: Univ., Fak. für Informatik, 2000
-
2000-05:
Intelligent prefetching and buffering for interactive streaming of MPEG videos Universität Ulm, Fakultät für Informatik. Susanne Boll
Ulm: Univ., Fak. für Informatik, 2000
-
99,06:
Architecture of a datablade module for the integrated management of multimedia assets Utz Westermann; Wolfgang Klas
Ulm: Univ., Fak. für Informatik, 1999
-
99,01:
A comparison of multimedia document models concerning advanced requirements Susanne Boll; Wolfgang Klas; Utz Westermann
Ulm: Univ., Fak. für Informatik, 1999
-
99,05:
Derandomizing RP if Boolean circuits are not learnable Johannes Köbler; Wolfgang Lindner; Rainer Schuler
Ulm: Univ., Fak. für Informatik, 1999
-
99,04:
Model-Checking zur Analyse von Message Sequence Charts über Statecharts Ercument Canver
Ulm: Univ., Fak. für Informatik, 1999
-
99,08:
Graph isomorphism is Low for ZPPnp and other Lowness results Vikraman Arvind; Johannes Köbler
Ulm: Univ., Fak. für Informatik, 1999
-
99,03:
On the complexity of constraint satisfaction problems Uwe Schöning
Ulm: Univ., Fak. für Informatik, 1999
-
99,02:
Verteilungsmodelle für Workflow-Management-Systeme - Klassifikation und Simulation Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1999
-
99,09:
Efficient distributed workflow management based on variable server assignments Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1999
-
98,15:
Predictable atomic multicast in the controller area network (CAN) Mohammad Ali Livani; Jörg Kaiser
Ulm: Univ., Fak. für Informatik, 1998
-
98,14:
SHARE: A transparent mechanism for reliable broadcast delivery in CAN Mohammad Ali Livani
Ulm: Univ., Fak. für Informatik, 1998
-
98,05:
Formal verification of a coordinated atomic action based design Ercüment Canver
Ulm: Univ., Fak. für Informatik, 1998
-
98,09:
Variable Migration von Workflows in ADEPT Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1998
-
98,08:
Synfire graphs: from spike patterns to automata of spiking neurons Thomas Wennekers
Ulm: Univ., Fak. für Informatik, 1998
-
98,01:
Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung SILK; Technischer Bericht Daniela Damm
Ulm: Univ., Fak. für Informatik, 1998
-
98,03:
A guided tour through TYPELAB Marko Luther; Martin Strecker
Ulm: Univ., Fak. für Informatik, 1998
-
98,13:
Theorems from compiler verification a problem set for automated theorem provers Gerhard Schellhorn; Wolfgang Reif
Ulm: Univ., Fak. für Informatik, 1998
-
98,11:
Prüfen von C-Code und Statemate-Matlab-Spezifikationen ein Experiment Frank Houdek; Thilo Schwinn; Dietmar Ernst
Ulm: Univ., Fak. für Informatik, 1998
-
98,12:
Proving properties of directed graphs a problem set for automated theorem provers Gerhard Schellhorn
Ulm: Univ., Fak. für Informatik, 1998
-
98,10:
Recurrent V1-V2 interaction in early visual boundary processing Heiko Neumann; Wolfgang Sepp
Ulm: Univ., Fak. für Informatik, 1998
-
98,02:
Architekturen für skalierbare Workflow-Management-Systeme - Klassifikation und Analyse Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1998
-
98,06:
On the correspondence between neural folding architectures and tree automata Andreas Küchler
Ulm: Univ., Fak. für Informatik, 1998
-
98,04:
Visual filling-in and surface property reconstruction Heiko Neumann; Luiz Pessoa
Ulm: Univ., Fak. für Informatik, 1998
-
98,07:
Interaction of on and off pathways for visual contrast measurement Heiko Neumann; Thorsten Hansen; Luiz Pessoa
Ulm: Univ., Fak. für Informatik, 1998
-
97,12:
Proving properties of finite enumerations a problem set for automated theorem provers Gerhard Schellhorn; Wolfgang Reif
Ulm: Univ., Fak. für Informatik, 1997
-
97,14:
Theorem proving in large theories Wolfgang Reif; Gerhard Schellhorn
Ulm: Univ., Fak. für Informatik, 1997
-
97,15:
Asymptotik rekurrenter neuronaler Netze mit zufälligen Kopplungen Thomas Wennekers
Ulm: Univ., Fak. für Informatik, 1997
-
97,13:
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme Dietmar Ernst
Ulm: Univ., Fak. für Informatik, 1997
-
97,17:
EDF consensus on CAN bus access in dynamic real-time applications Mohammad Ali Livani; Jörg Kaiser
Ulm: Univ., Fak. für Informatik, 1997
-
97,18:
Using efficient average case algorithms to collapse worst case complexity classes Johannes Köbler; Rainer Schuler
Ulm: Univ., Fak. für Informatik, 1997
-
97,03:
A distributed execution environment for large-scale workflow management systems with subnets and server migration Thomas Bauer; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1997
-
97,01:
Pattern matching in trace monoids Jochen Messner
Ulm: Univ., Fakultät für Informatik, 1997
-
97,04:
Interaction expressions - a powerful formalism for describing inter-workflow dependencies Christian Heinlein; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1997
-
97,02:
A small span theorem within P Wolfgang Lindner; Rainer Schuler
Ulm: Univ., Fak. für Informatik, 1997
-
97,05:
On pseudorandomness and resource-bounded measure Vikraman Arvind; Johannes Köbler
Ulm: Univ., Fak. für Informatik, 1997
-
97,16:
Clinical workflows - the killer application for process-oriented information systems? Peter Dadam; Manfred Reichert; Klaus Kuhn
Ulm: Univ., Fak. für Informatik, 1997
-
97,07:
ADEPT flex - supporting dynamic changes of workflows without loosing control Manfred Reichert; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1997
-
97,06:
Punkt-zu-Punkt- und Mehrpunkt-basierende LAN-Integrationsstrategien für den digitalen Mobilfunkstandard DECT Gerhard Partsch
Ulm: Univ., Fak. für Informatik, 1997
-
97,08:
The project NoName a functional programming language with its development environment Hans Braxmeier
Ulm: Univ., Fak. für Informatik, 1997
-
97,10:
Graphische Repräsentation von Interaktionsausdrücken Christian Heinlein
Ulm: Univ., Fak. für Informatik, 1997
-
97,09:
Grundlagen von Interaktionsausdrücken Christian Heinlein
Ulm: Univ., Fak. für Informatik, 1997
-
97,11:
Sprachtheoretische Semantik von Interaktionsausdrücken Christian Heinlein
Ulm: Univ., Fak. für Informatik, 1997
-
96,05:
Verification of a prolog compiler - first steps with KIV Gerhard Schellhorn; Wolfgang Ahrendt
Ulm: Univ., Fak. für Informatik, 1996
-
96,01:
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE Ercüment Canver; Jan-Tecker Gayen; Adam Moik
Ulm: Univ., Fak. für Informatik, 1996
-
96,02:
Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class Bernhard Nebel
Ulm: Univ., Fak. für Informatik, 1996
-
96,03:
An introduction to TkGofer Ton Vullinghs; Wolfram Schulte; Thilo Schwinn
Ulm: Univ., Fak. für Informatik, 1996
-
96,07:
A nonadaptive NC checker for permutation group intersection Vikraman Arvind; Jacobo Torán
Ulm: Univ., Fak. für Informatik, 1996
-
96,08:
An efficient decision procedure for a theory of fix-sized bitvectors with composition and extraction David Cyrluk; Oliver Möller; Harald Rueß
Ulm: Univ., Fak. für Informatik, 1996
-
96,09:
Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Bernd Biechele
Ulm: Univ., Fak. für Informatik, 1996
-
96,10:
Formalizing fixed-point theory in PVS Falk Bartels
Ulm: Univ., Fak. für Informatik, 1996
-
96,13:
From descriptive specifications to operational ones a powerful transformation rule, its applications and variants Klaus Achatz; Helmuth Partsch
Ulm: Univ., Fakultät für Informatik, 1996
-
96,11:
Mechanized semantics of simple imperative programming constructs Axel Dold
Ulm: Univ., Fak. für Informatik, 1996
-
96,04:
Anwendungsspezifische Anforderungen an Workflow-Management-Systeme am Beispiel der Domäne Concurrent-Engineering Thomas Beuter; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1996
-
96,06:
Satisfiability problems Manindra Agrawal; Thomas Thierauf
Ulm: Univ., Fak. für Informatik, 1996
-
96,12:
Generic compilation schemes for simple programming constructs Axel Dold
Ulm: Univ., Fak. für Informatik, 1996
-
95,01:
On the largest common subgraph problem Universität Ulm, Fakultät für Informatik. Oleg Verbitsky
Ulm: Univ., Fak. für Informatik, 1995
-
95,02:
Complexity of Presburger arithmetic with fixed quantifier dimension Universität Ulm, Fakultät für Informatik. Uwe Schöning
Ulm: Univ., Fak. für Informatik, 1995
-
95,03:
The complexity of generating and checking proofs of membership Universität Ulm, Fakultät für Informatik. Harry Buhrman; Thomas Thierauf
Ulm: Univ., Fak. für Informatik, 1995
-
95,04:
Structural average case complexity Rainer Schuler; Tomoyuki Yamakami. Universität Ulm, Fakultät für Informatik
Ulm: Univ., Fak. für Informatik, 1995
-
95,06:
Structure in average case complexity Christoph Karg; Rainer Schuler
Ulm: Univ., Fak. für Informatik, 1995
-
95,07:
ADEPT: ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger kooperierender Assistenzsysteme in klinischen Anwendungsumgebungen Peter Dadam
Ulm: Univ., Fak. für Informatik, 1995
-
95,09:
On sets Turing reducible to p-selective sets Hans-Jörg Burtschick; Wolfgang Lindner
Ulm: Univ., Fak. für Informatik, 1995
-
95,10:
Berücksichtigung lokaler Randbedingungen bei globaler Zieloptimierung mit neuronalen Netzen am Beispiel Truck Backer-Upper Boris Hartmann
Ulm: Univ., Fak. für Informatik, 1995
-
95,08:
Aufbereitung von gescannten Röntgenbildern zur filmlosen Diagnostik Universität Ulm, Fakultät für Informatik. Jürgen Kehrer; Peter Schulthess
Ulm: Univ., Fak. für Informatik, 1995
-
95,05:
Architecture independent massive parallelization of Divide-and-Conquer algorithms Klaus Achatz; Wolfram Schulte
Ulm: Univ., Fak. für Informatik, 1995
-
95,14:
A generic specification for verifying peephole optimizations Axel Dold
Ulm: Univ., Fak. für Informatik, 1995
-
95,11:
Prinzipien der Replikationskontrolle in verteilten Systemen Thomas Beuter; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1995
-
95,12:
Massive parallelization of Divide and Conquer algorithms over powerlists Klaus Achatz; Wolfram Schulte
Ulm: Univ., Fak. für Informatik, 1995
-
95,13:
Efficient call by value evaluation strategy of primitive recursive program schemes Andrea Mößle; Heiko Vogler
Ulm: Univ., Fak. für Informatik, 1995
-
94,18:
Transformational development of data-parallel algorithms: an example Helmuth Partsch
Ulm: Univ., Fak. für Informatik, 1994
-
94,14:
Linking reactive software to the x-window system Wolfram Schulte; Ton Vullinghs
Ulm: Univ., Fak. für Informatik, 1994
-
94,08:
Arbeitstreffen Typtheorie: Zusammenfassung der Beiträge F. W. von Henke ... (eds.)
Ulm: Univ., Fak. für Informatik, 1994
-
94,12:
On average polynomial time Rainer Schuler
Ulm: Univ., Fak. für Informatik, 1994
-
94,11:
New collapse consequences of NP having small circuits Johannes Köbler; Osamu Watanabe
Ulm: Univ., Fak. für Informatik, 1994
-
94,13:
Towards average-case complexity analysis of NP optimization problems Rainer Schuler; Osamu Watanabe
Ulm: Univ., Fak. für Informatik, 1994
-
94,15:
Namensverwaltung und Adressierung in distributed shared Memory-Systemen Alfred Lupper
Ulm: Univ., Fak. für Informatik, 1994
-
94,16:
Verteilte Unix-Betriebssysteme Robert Regn
Ulm: Univ., Fak. für Informatik, 1994
-
94,07:
A classification of multi-database languages Markus Tresch; Marc H. Scholl
Ulm: Univ., Fak. für Informatik, 1994
-
94,17:
Again on recognition and parsing of context free grammars two exercises in transformational programming Helmuth Partsch
Ulm: Univ., Fak. für Informatik, 1994
-
94,05:
On helping and interactive proof systems V. Arvind; J. Köbler; R. Schuler
Ulm: Univ., Fak. für Informatik, 1994
-
94,06:
Incorporating record subtyping into a relational data model Christian Kalus; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1994
-
94,10:
Formalisierung schematischer Algorithmen Axel Dold
Ulm: Univ., Fak. für Informatik, 1994
-
94,02:
A pumping lemma for output languages of attributed tree transducers Armin Kühnemann; Heiko Vogler
Ulm: Univ., Fak. für Informatik, 1994
-
94,09:
Construction and deduction methods for the formal development of software Universität Ulm, Fakultät für Informatik. F. W. von Henke
Ulm: Univ., Fak. für Informatik, 1994
-
94,01:
On the complexity of consistency problems for neurons with binary weights Michael Schmitt
Ulm: Univ., Fak. für Informatik, 1994
-
94,03:
On functions computable with nonadaptive queries to NP Harry Buhrman; Jim Kadin; Thomas Thierauf
Ulm: Univ., Fak. für Informatik, 1994
-
94,04:
Implementation of a deterministic partial E-unification algorithm for macro tree transducers Heinz Faßbender; Heiko Vogler; Andrea Wedel
Ulm: Univ., Fak. für Informatik, 1994
-
93,07:
Towards customizable, flexible storage structures for complex objects Ullrich Keßler; Peter Dadam
Ulm: Univ., Fak. für Informatik, 1993
-
93,05:
A conceptual approach to an open hospital information system Universität Ulm, Fakultät für Informatik. K. Kuhn
Ulm: Univ., Fak. für Informatik, 1993
-
93,01:
Ein AppleTalk Link Access Protocol basierend auf dem Abstract Personal Communications Manager Alfred Lupper; Konrad Froitzheim
Ulm: Univ., Fak. für Informatik, 1993
-
93,04:
On the correlation of symmetric functions Jin-Yi Cai; Frederic Green; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Informatik, 1993
-
93,03:
On sets bounded truth-table reducible to P-selective sets Thomas Thierauf; Seinosuke Toda; Osamu Watanabe
Ulm: Universität Ulm, Fakultät für Informatik, 1993
-
93,02:
The COCOON object model M. H. Scholl
Ulm: Universität Ulm, Fakultät für Informatik, 1993
-
93-06:
Rechnerunterstützung für die konzeptuelle Modellierung Klaus Gassner. Universität Ulm, Fakultät für Informatik
Ulm: Univ., Fak. für Informatik, 1993
-
92,02:
Top-down parsing with simultaneous evaluation of noncircular attribute grammars Thomas Noll; Heiko Vogler
Ulm: Univ., Fak. für Informatik, 1992
-
92,08:
On random reductions from sparse sets to tally sets Uwe Schöning
Ulm: Univ., Fak. für Informatik, 1992
-
92,09:
Consistency in stochastic networks Hermann von Hasseln; Laura Martignon
Ulm: Univ., Fak. für Informatik, 1992
-
92,11:
On the power of generalized MOD-classes Johannes Köbler; Seinosuke Toda
Ulm: Univ., Fak. für Informatik, 1992
-
92,10:
A slightly improved upper bound on the size of weights sufficient to represent any linearly separable boolean function Michael Schmitt
Ulm: Univ., Fak. für Informatik, 1992
-
92,06:
Synthesized and inherited functions a new computational model for syntax directed semantics Armin Kühnemann; Heiko Vogler. Universität Ulm, Fakultät für Informatik
Ulm: Univ., Fak. für Informatik, 1992
-
92,03:
Programm und Abstracts / 17. Workshop über Komplexitätstheorie, Effiziente Algorithmen und Datenstrukturen am 26. Mai 1992 in Ulm
Ulm: Univ., Fak. für Informatik, 1992
-
92,14:
The translation power of top-down tree-to-graph transducers Joost Engelfriet; Heiko Vogler
Ulm: Univ., Fak. für Informatik, 1992
-
92,13:
On a monotonic semantic path ordering Alfons Geser
Ulm: Univ., Fak. für Informatik, 1992
-
92,12:
Reliable reductions, high sets and low sets V. Arvind; J. Köbler; M. Mundhenk
Ulm: Univ., Fak. für Informatik, 1992