> Verlagsreihe
-
2014,05:
Simple temporal networks with partially shrinkable uncertainty (extended version) Andreas Lanz ; Roberto Posenato ; Carlo Combi ; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2015
-
2014,04:
Statistical Computing 2014 - Abstracts der 46. Arbeitstagung Hans A. Kestler; Matthias Schmid; Ludwig Lausser; Johann M. Kraus (eds.)
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2014
-
2014,03:
Conditioned belief propagation revisited (extended version) Thomas Geier; Felix Richter; Susanne Biundo
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2014
-
2014,02:
Coupling tableau algorithms for the DL SROIQ with completion-based saturation procedures [technical report] Andreas Steigmiller; Birte Glimm; Thorsten Liebig
Ulm: Univ., Fak. für Ingenieurwiss. und Informatik, 2014
-
2014,01:
Analyzing the impact of process change operations on time-aware processes Andreas Lanz; Manfred Reichert
Ulm: Universität Ulm; Fakultät für Ingenieurwissenschaften und Informatik, 2014
-
2013,08:
Evaluating benefits of requirement categorization in natural language specifications for review improvements Daniel Ott; Alexander Raschke
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,13:
Theorems from compiler verification: a problem set for automated theorem provers Gerhard Schellhorn; Wolfgang Reif
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
2006,02:
Ein experimenteller Vergleich zwischen einer plan-getriebenen und einer leichtgewichtigen Entwicklungsmethodik zur Spezifikation von eingebetteten Systemen Alexander Raschke; Ramin Tavakoli Kolagari
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
2006,03:
Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg Jens Kohlmeyer; Alexander Raschke; Ramin Tavakoli Kolagari
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
2006,04:
Reasoning with OWL - system support and insights Thorsten Liebig, Thorsten
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,01:
Ein fallbasiertes System für die Interpretation von Literatur zur Knochenheilung - SILK Daniela Damm; Alexander Seitz; Friedrich Wilhelm von Henke; Adelinde Uhrmacher; Lutz Claes; Stephan Wolf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,03:
A guided tour through TYPELAB* Marko Luther; Martin Strecker
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,04:
Visual filling-in and surface property reconstruction Heiko Neumann; Luiz Pessoa
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,05:
Formal verification of a coordinated atomic action based design Ercüment Canver
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
2013,07:
Statistical Computing 2013 - Abstracts der 45. Arbeitstagung Hans A. Kestler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,15:
Predictable atomic multicast in the controller area network (CAN) Mohammad Ali Livani; Jörg Kaiser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
2012,07:
Dealing with variability in Process-Aware Information Systems language requirements, features, and existing proposals Clara Ayora; Victoria Torres; Barbara Weber; Manfred Reichert; Vicente Pelechano
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,06:
On the correspondence between neural folding architectures and tree automata Andreas Küchler, Andreas
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,08:
Synfire graphs: from spike patterns to automata of spiking neurons Thomas Wennekers
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,09:
Variable Migration von Workflows in ADEPT Thomas Bauer; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,11:
Prüfen von C-Code und Statemate-Matlab-Spezifikationen: ein Experiment Frank Houdek; Dietmar Ernst; Thilo Schwinn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,12:
Proving properties of directed graphs: a problem set for automated theorem provers Gerhard Schellhorn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,14:
SHARE: a transparent mechanism for reliable broadcast delivery in CAN Mohammad Ali Livani
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,07:
Interaction of ON and OFF pathways for visual contrast measurement Heiko Neumann; Thorsten Hansen; Luiz Pessoa
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
98,10:
Recurrent V1 - V2 interaction in early visual boundary pocessing Heiko Neumann; Wolfgang Sepp
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013
-
2011,06:
Ensuring business process compliance along the process life cycle David Knuplesch; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2011,05:
PHILharmonicFlows: research and design methodology Vera Künzle; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2012,02:
Statistical Computing 2012 Abstracts der 44. Arbeitstagung der Arbeitsgruppen Statistical Computing (GMDS/IBS-DR), Klassifikation und Datenanalyse in den Biowissenschaften (GfKl); 24.06.-27.06.2012, Schloss Reisensburg (Günzburg) H. A. Kestler ... (eds.)
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2012,01:
Extended caching, backjumping and merging for expressive description logics Andreas Steigmiller; Thorsten Liebig, Thorsten; Birte Glimm
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2012,03:
Influencing factors on multimodal interaction at selection tasks Felix Schüssel; Frank Honold; Michael Weber
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
92,14:
The translation power of top-down tree-to-graph transducers Joost Engelfriet; Heiko Vogler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
94,15:
Namensverwaltung und Adressierung in Distributed Shared Memory-Systemen Alfred Lupper
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
94,16:
Verteilte Unix-Betriebssysteme Robert Regn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
94,17:
Again on recognition and parsing of context free grammars: two exercises in transformational programming Helmut Partsch
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
94,14:
Linking reactive software to the X-Window System Wolfram Schulte; Ton Vullinghs
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
91,03:
Relative termination Alfons Geser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2011,07:
Towards a UML profile on formal semantics for modeling multimodal interactive systems concepts for modeling interactive systems using standard tools of software engineering Marcel Dausend
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2011,01:
Flexibilisierung service-orientierter Architekturen Stephan Buchwald; Thomas Bauer; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
92,03:
17. Workshop über Komplexitätstheorie, effiziente Algorithmen und Datenstrukturen am 26. Mai 1992 in Ulm Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
91,07:
The power of the middle bit Frederic Green; Johannes Köbler; Jacobo Torán
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
92,10:
A slightly improved upper bound on the size of weights sufficient to represent any linearly separable Boolean function Michael Schmitt
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
93,02:
The COCOON object model Marc H. Scholl; Christian Laasch; Christian Rich; Hans-Jörg Schek; Markus Tresch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
94,01:
On the complexity of consistency problems for neurons with binary weights Michael Schmitt
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
92,01:
Bounded truth-table and conjunctive reductions to sparse and tally sets Vikraman Arvind; Johannes Köbler; Martin Mundhenk
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
95,01:
On the largest common subgraph problem Oleg Verbitsky
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
95,09:
On sets Turing reducible to p-selective sets Hans-Jörg Burtschick; Wolfgang Lindner
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
95,10:
Berücksichtigung lokaler Randbedingungen bei globaler Zieloptimierung mit neuronalen Netzen am Beispiel Truck Backer-Upper Boris Hartmann
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2011,08:
Model-driven software development with ACTIVECHARTS - a case study Dominik Gessenharter
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
92,02:
Top-down parsing with simultaneous evaluation of noncircular attribute grammars Thomas Noll; Heiko Vogler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
94,18:
Transformational development of data-parallel algorithms: an example Helmut Partsch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
95,08:
Aufbereitung von gescannten Röntgenbildern zur filmlosen Diagnostik Jürgen Kehrer; Peter Schulthess
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
92,09:
Consistency in stochastic networks Hermann von Hasseln; Laura Martignon
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
96,13:
From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants Klaus Achatz; Helmut Partsch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
91,01:
Instance complexity Ker-I Ko; Pekka Orponen; Uwe Schöning; Osamu Watanabe
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2012,04:
Model-driven user interface generation and adaptation in process-aware information systems Jens Kolb; Paul Hübner; Manfred Reichert
Ulm: Universität Ulm; Fakultät für Ingenieurwissenschaften und Informatik, 2012
-
2010,05:
Statistical computing 2010 - Abstracts der 42. Arbeitstagung / Hans A. Kestler et al. (eds.) Hans A. Kestler [Hrsg.]; Harald Binder; Berthold Lausen; Hans-Peter Klenk; Matthias Schmid; Friedrich Leisch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
2011,04:
Statistical computing 2011 - Abstracts der 43. Arbeitstagung / Hans A. Kestler et al. (eds.) Hans A. Kestler [Hrsg.]; Harald Binder; Matthias Schmid; Friedrich Leisch; Johann M. Kraus
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
2009,09:
Progressive point-light-based global illumination Holger Dammertz; Alexander Keller; Hendrik P. A. Lensch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
2011,03:
Datenflussvarianten in Prozessmodellen: Szenarien, Herausforderungen, Ansätze Stefanie Kaiser; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
2009,10:
Boolean networks for modeling and analysis of gene regulation Dao Zhou; Christoph Müssel; Ludwig Lausser; Martin Hopfensitz; Michael Kühl; Hans A. Kestler
Ulm: Universität Ulm; Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
2009,11:
Two-level ray tracing with recordering for highly complex scenes Johannes Hanika; Hendrik P. A. Lensch; Alexander Keller
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
2010,03:
Case study: engine control application Patrick Frey
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011
-
93,01:
Ein AppleTalk Link Access Protocol basierend auf dem Abstract Personal Communications Manager Alfred Lupper; Konrad Froitzheim
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
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 Ingenieurwissenschaften und Informatik, 2010
-
93,04:
On the correlation of symmetric functions Jin-Yi Cai; Frederic Green; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,04:
Implementation of a deterministic partial E-unification algorithm for macro tree transducers Heinz Faßbender; Heiko Vogler; Andrea Wedel
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,05:
On helping and interactive proof systems Vikraman Arvind; Johannes Köbler; Rainer Schuler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,07:
A classification of multi-database languages Markus Tresch; Marc H. Scholl
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,08:
Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge Friedrich Wilhelm von Henke; Harald Rueß
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,09:
Construction and deduction methods for the formal development of software Friedrich Wilhelm von Henke; Axel Dold; Harald Rueß; D. Schwier; Martin Strecker
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,07:
ADEPT_flex - supporting dynamic changes of workflows without loosing control Manfred Reichert; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,08:
The project NoName - a functional programming language with its development environment Hans Braxmeier; Dietmar Ernst; Andrea Mößle; Heiko Vogler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,17:
EDF consensus on CAN bus access in dynamic real-time applications Mohammad Ali Livani; Jörg Kaiser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,03:
The complexity of generating and checking proofs of membership Harry Buhrman; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,07:
ADEPT: ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger kooperierender Assistenzsysteme in klinischen Anwendungsumgebungen Peter Dadam; Klaus Kuhn; Manfred Reichert; Thomas Beuter; Michael Nathe
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,06:
Incorporating record subtyping into a relational data model Christian Kalus; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,11:
New collapse consequences of NP having small circuits Johannes Köbler; Osamu Watanabe
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,02:
Complexity of Presburger arithmetic with fixed quantifier dimension Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,04:
Structural average case complexity Rainer Schuler; Tomoyuki Yamakami
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,06:
Structure in average case complexity Christoph Karg; Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,04:
Anwendungsspezifische Anforderungen an Workflow-Mangement-Systeme am Beispiel der Domäne Concurrent-Engineering Thomas Beuter; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,10:
Formalizing fixed-point theory in PVS Falk Bartels; Axel Dold; Holger Pfeifer; Friedrich Wilhelm von Henke; Harald Rueß
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,12:
Generic compilation schemes for simple programming constructs Holger Pfeifer; Axel Dold; Friedrich Wilhelm von Henke; Harald Rueß
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,01:
Pattern matching in trace monoids Jochen Messner
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,04:
Interaction expressions - a powerful formalism for describing inter-workflow dependencies Christian Heinlein; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,04:
Model-Checking zur Analyse von Message Sequence Charts über Statecharts Ercüment Canver
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,05:
Derandomizing RP if Boolean circuits are not learnable Johannes Köbler; Wolfgang Lindner; Rainer Schuler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,06:
Architecture of a DataBlade module for the integrated management of multimedia assets Utz Westermann; Wolfgang Klas
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,02:
Solving hard qualitative temporal reasoning problems: evaluating the efficiency of using the ORD-Horn class Bernhard Nebel
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,18:
Average-case intractability vs. worst-case intractability Johannes Köbler; Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,10:
Formalisierung schematischer Algorithmen Axel Dold
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,12:
On average polynomial time Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,13:
Towards average-case complexity analysis of NP optimization problems Rainer Schuler; Osamu Watanabe
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,11:
Prinzipien der Replikationskontrolle in verteilten Systemen Thomas Beuter; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,05:
Architecture independent massive parallelization of Divide-and-Conquer algorithms Klaus Achatz; Wolfram Schulte
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,13:
Efficient Call-by-Value evaluation strategy of primitive recursive program schemes Andrea Mößle; Heiko Vogler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,03:
An introduction to TkGofer Ton Vullinghs; Wolfram Schulte; Thilo Schwinn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,03:
A distributed execution environment for large-scale workflow management systems with subnets and server migration Thomas Bauer; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,09:
Grundlagen von Interaktionsausdrücken Christian Heinlein
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,10:
Graphische Repräsentation von Interaktionsausdrücken Christian Heinlein
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,12:
Proving properties of finite enumerations - a problem set for automated theorem provers Gerhard Schellhorn; Wolfgang Reif
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,13:
Experimenteller Vergleich statischer und dynamischer Softwareprüfung für eingebettete Systeme Dietmar Ernst; Frank Houdek; Wolfram Schulte; Thilo Schwinn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,14:
Theorem proving in large theories Wolfgang Reif; Gerhard Schellhorn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,15:
Asymptotik rekurrenter neuronaler Netze mit zufälligen Kopplungen Thomas Wennekers
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,16:
Clinical workflows - the killer application for process-oriented information systems? Peter Dadam; Manfred Reichert; Klaus Kuhn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,01:
A comparison of multimedia document models concerning advanced requirements Susanne Boll; Wolfgang Klas; Utz Westermann
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,02:
Verteilungsmodelle für Workflow-Management-Systeme - Klassifikation und Simulation Thomas Bauer; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
2010,04:
Basic considerations on business process quality Manfred Reichert; Matthias Lohrmann
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
2010,06:
Object-aware business processes: properties, requirements, existing approaches Barbara Weber; Vera Künzle; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,07:
Enterprise-wide and cross-enterprise workflow management: concepts, systems, applications - workshop proceedings, GI-Workshop Informatik '99, Paderborn, Germany, October 6, 1999 Peter Dadam; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,09:
Efficient distributed workflow management based on variable server assignments Thomas Bauer; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
99,08:
Graph isomorphism is low for ZPP^NP and other lowness results Vikraman Arvind; Johannes Köbler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
2010,01:
A complete and terminating execution model for Constraint Handling Rules Frank Raiser; Hariolf Betz; Thom Frühwirth
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
2010,02:
Speichereffiziente Repräsentation instanzspezifischer Änderungen in Prozess-Management-Systemen Ulrich Kreher; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
2009,12:
Durchgängige Modellierung von Geschäftsprozessen durch Einführung eines Abbildungsmodells: Ansätze, Konzepte, Notationen Stephan Buchwald; Thomas Bauer; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
93,05:
A conceptual approach to an open hospital information system Klaus Kuhn; Manfred Reichert; Michael Nathe; Thomas Beuter; Christian Heinlein; Peter Dadam
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
93,06:
Rechnerunterstützung für die konzeptuelle Modellierung Klaus Gaßner
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
93,07:
Towards customizable, flexible storage structures for complex objects Ullrich Keßler; Peter Dadam
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
94,02:
A pumping lemma for output languages of attributed tree transducers Armin Kühnemann; Heiko Vogler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
95,14:
A generic specification for verifying peephole optimizations Axel Dold; Friedrich Wilhelm von Henke; Holger Pfeifer; Harald Rueß
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,01:
Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE Ercüment Canver; Jan-Tecker Gayen; Adam Moik
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,06:
Satisfiability problems Manindra Agrawal; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
96,09:
Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Bernd Biechele; Dietmar Ernst; Frank Houdek; Joachim Schmid; Wolfram Schulte
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
97,02:
A small span theorem within P Wolfgang Lindner; Rainer Schuler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010
-
2009,01:
The ADEPT project: a decade of research and development for robust and flexible process support Peter Dadam; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2009,06:
Adjustment strategies for non-compliant process instances Stefanie Rinderle-Ma; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2009,03:
Correct configuration of process variants in Provop Manfred Reichert; Alena Hallerbach; Thomas Bauer
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2009,02:
Von ADEPT zur AristaFlow® BPM Suite - eine Vision wird Realität: "Correctness by Construction" und flexible, robuste Ausführung von Unternehmensprozessen Peter Dadam; Manfred Reichert; Stefanie Rinderle-Ma; Kevin Göser; Ulrich Kreher; Martin Jurisch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2009,07:
Statistical computing 2009 - Abstracts der 41. Jahrestagung / Hans A. Kestler et al. (eds.) Hans A. Kestler [Hrsg.]; Berthold Lausen; Harald Binder; Hans-Peter Klenk; Friedrich Leisch; Michael Schmid
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2008,12:
On Toda's Theorem in structural communication complexity Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
91,04:
Graph isomorphism is low for PP Johannes Köbler; Uwe Schöning; Jacobo Toran
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
91,08:
Reductions to sets of low information content Vikraman Arvind; Y. Han; L. Hamachandra; Johannes Köbler; A. Lozano; Martin Mundhenk; A. Ogiwara; Uwe Schöning; R. Silvestri; Thomas Thierauf
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
92,04:
Lowness and the complexity of sparse and tally descriptions Vikraman Arvind; Johannes Köbler; Martin Mundhenk
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
92,06:
Synthesized and inherited functions - a new computational model for syntax-directed semantics Heiko Vogler; Armin Kühnemann
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
92,07:
A universal unification algorithm based on unification-driven leftmost outermost narrowing Heiko Vogler; Heinz Faßbender
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
92,12:
Reliable reductions, high sets and low sets Vikraman Arvind; Johannes Köbler; Martin Mundhenk
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2009,08:
Effiziente Repräsentation von Vorlagen- und Instanzdaten in Prozess-Management-Systemen Ulrich Kreher; Manfred Reichert; Stefanie Rinderle-Ma; Peter Dadam
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
Time patterns for process-aware information systems: a pattern-based analysis Barbara Weber; Andreas Lanz; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
:
-
2009,04:
On reversal and transposition medians Martin Bader
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
96,11:
Mechanized semantics of simple imperative programming constructs Holger Pfeifer; Axel Dold; Friedrich Wilhelm von Henke; Harald Rueß
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
91,02:
Compiler-based implementation of syntax-directed functional programming Katia Gladitz; Heinz Faßbender; Heiko Vogler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009
-
2008,03:
Semi-automatic generation of CHR solvers from global constraint automata Frank Raiser
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,09:
Implicit characterizations of FPTIME and NC revisited Karl-Heinz Niggl; Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,11:
On the different notions of pseudorandomness Markus Maucher; Uwe Schöning; Hans A. Kestler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,01:
On the complexity of intersecting multiple circles for graphical display Jochen Messner; Hans A. Kestler; André Müller; Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,04:
Entscheidungsdokumentation bei der Entwicklung innovativer Systeme für produktlinien-basierte Entwicklungsprozesse Ramin Tavakoli Kolagari; Alexander Raschke; Matthias Schneiderhan; Ian Alexander
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,02:
Architectural design of flexible process management technology Manfred Reichert; Peter Dadam; Martin Jurisch; Ulrich Kreher; Kevin Göser; Markus Lauer
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,06:
WMAN 2008 - KuVS Fachgespräch über Mobile Ad-hoc Netzwerke Matthias Frank; Frank Kargl; Burkhard Stiller
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,08:
Covers have structure Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,10:
On span-Pcc and related classes in structural communication complexity Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,07:
An empirical assessment of local and population based search methods with different degrees of pseudorandomnes Markus Maucher; Uwe Schöning; Hans A. Kestler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2008,13:
Realizing adaptive process-aware information systems with ADEPT2 Manfred Reichert; Peter Dadam
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008
-
2006,01:
Model-Driven Development with ActiveCharts - Tutorial Stefan Sarstedt
Ulm: Univ., Fak. für Informatik, 2006
-
2000,02:
Variable Serverzuordnungen und komplexe Bearbeiterzuordnungen im Workflow-Management-System ADEPT Peter Dadam; Thomas Bauer
Ulm: Universität Ulm, Fakultät für Informatik, 2000
-
2000,09:
Vermeidung von Überlastsituationen durch Replikation von Workflow-Servern in ADEPT Peter Dadam; Thomas Bauer
Ulm: Universität Ulm, Fakultät für Informatik, 2000
-
92,13:
On a monotonic semantic path ordering Alfons Geser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992
-
92,11:
On the power of generalized MOD-classes Johannes Köbler; Seinosuke Toda
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992
-
92,08:
On random reductions from sparse sets to tally sets Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992
-
91,06:
Recent highlights in structural complexity theory Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1991
-
91,05:
Complexity-restricted advice functions Johannes Köbler; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1991