> Details

Universität Ulm Fakultät für Ingenieurwissenschaften und Informatik

Ulmer Informatik-Berichte

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Bookmarks

Media type: Electronic Serial; Monograph Series
Title: Ulmer Informatik-Berichte
Corporation: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik
Published: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 19XX-
Language: German; English
Keywords: Monografische Reihe
Origination:
Footnote:
Access State: Open Access

Access

This is a bibliographical reference.

Search the title in the SLUB

Please note that other editions also might be available under "References".

Open Access

References

Also available as (Print version):
Ulmer Informatik-Berichte (SLUB)

> Publishers' series

Lanz, Andreas [Other]; Posenato, Roberto [Other]; Combi, Carlo [Other]; Reichert, Manfred [Other]
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

Geier, Thomas [Other]; Richter, Felix [Other]; Biundo-Stephan, Susanne [Other]
Conditioned belief propagation revisited (extended version) Thomas Geier; Felix Richter; Susanne Biundo
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2014

Glimm, Birte [Other]; Steigmiller, Andreas [Other]; Liebig, Thorsten [Other]
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

Lanz, Andreas [Author]; Reichert, Manfred [Author]
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

Kestler, Hans A. [Other]; Schmid, Matthias [Other]; Lausser, Ludwig [Other]; Kraus, Johann M. [Other]
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

Liebig, Thorsten [Author]
Reasoning with OWL - system support and insights Thorsten Liebig, Thorsten
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Damm, Daniela [Other]; Seitz, Alexander [Other]; Henke, Friedrich Wilhelm von [Other]; Uhrmacher, Adelinde [Other]; Claes, Lutz [Other]; Wolf, Stephan [Other]
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

Luther, Marko [Other]; Strecker, Martin [Other]
A guided tour through TYPELAB* Marko Luther; Martin Strecker
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Neumann, Heiko [Other]; Pessoa, Luiz [Other]
Visual filling-in and surface property reconstruction Heiko Neumann; Luiz Pessoa
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Houdek, Frank [Other]; Ernst, Dietmar [Other]; Schwinn, Thilo [Other]
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

Ott, Daniel [Other]; Raschke, Alexander [Other]
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

Wennekers, Thomas [Other]
Synfire graphs: from spike patterns to automata of spiking neurons Thomas Wennekers
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Bauer, Thomas [Other]; Dadam, Peter [Other]
Variable Migration von Workflows in ADEPT Thomas Bauer; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Schellhorn, Gerhard [Author]
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

Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author]
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

Canver, Ercüment [Other]
Formal verification of a coordinated atomic action based design Ercüment Canver
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Küchler, Andreas [Other]
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

Ayora, Clara [Other]; Torres, Victoria [Other]; Weber, Barbara [Other]; Reichert, Manfred [Other]; Pelechano, Vicente [Other]
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

Raschke, Alexander [Other]; Tavakoli Kolagari, Ahmad Ramin [Other]
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

Kohlmeyer, Jens [Other]; Raschke, Alexander [Other]; Tavakoli Kolagari, Ahmad Ramin [Other]
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

Livani, Mohammad Ali [Other]
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

Neumann, Heiko [Other]; Hansen, Thorsten [Other]; Pessoa, Luiz [Other]
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

Neumann, Heiko [Other]; Sepp, Wolfgang [Other]
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

Livani, Mohammad Ali [Other]; Kaiser, Jörg [Other]
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

Kestler, Hans A. [Other]
Statistical Computing 2013 - Abstracts der 45. Arbeitstagung Hans A. Kestler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Hartmann, Boris [Author]
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

Geser, Alfons [Author]
Relative termination Alfons Geser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Schulte, Wolfram [Author]; Vullinghs, Ton [Author]
Linking reactive software to the X-Window System Wolfram Schulte; Ton Vullinghs
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Burtschick, Hans-Jörg [Author]; Lindner, Wolfgang [Author]
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

Hasseln, Hermann von [Author]; Martignon, Laura [Author]
Consistency in stochastic networks Hermann von Hasseln; Laura Martignon
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Kehrer, Jürgen [Author]; Schulthess, Peter [Author]
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

Kolb, Jens [Author]; Hübner, Paul [Author]; Reichert, Manfred [Author]
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

Achatz, Klaus [Author]; Partsch, Helmut [Author]
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

Verbitsky, Oleg [Author]
On the largest common subgraph problem Oleg Verbitsky
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Dausend, Marcel [Author]
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

Knuplesch, David [Other]; Reichert, Manfred [Other]
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

Buchwald, Stephan [Other]; Bauer, Thomas [Other]; Reichert, Manfred [Other]
Flexibilisierung service-orientierter Architekturen Stephan Buchwald; Thomas Bauer; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Schüssel, Felix [Author]; Honold, Frank [Author]; Weber, Michael [Author]
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

Schmitt, Michael [Author]
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

Engelfriet, Joost [Other]; Vogler, Heiko [Other]
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

Partsch, Helmut [Author]
Transformational development of data-parallel algorithms: an example Helmut Partsch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Arvind, Vikraman [Other]; Köbler, Johannes [Other]; Mundhenk, Martin [Other]
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

Gessenharter, Dominik [Author]
Model-driven software development with ACTIVECHARTS - a case study Dominik Gessenharter
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Künzle, Vera [Other]; Reichert, Manfred [Other]
PHILharmonicFlows: research and design methodology Vera Künzle; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Kestler, Hans A. [Editor]
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

Ko, Ker-I [Other]; Orponen, Pekka [Other]; Schöning, Uwe [Other]; Watanabe, Osamu [Other]
Instance complexity Ker-I Ko; Pekka Orponen; Uwe Schöning; Osamu Watanabe
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Green, Frederic [Other]; Köbler, Johannes [Other]; Torán, Jacobo [Other]
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

Noll, Thomas [Author]; Vogler, Heiko [Author]
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

Lupper, Alfred [Author]
Namensverwaltung und Adressierung in Distributed Shared Memory-Systemen Alfred Lupper
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Regn, Robert [Author]
Verteilte Unix-Betriebssysteme Robert Regn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Partsch, Helmut [Author]
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

Steigmiller, Andreas [Other]; Liebig, Thorsten [Other]; Glimm, Birte [Other]
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

Schöning, Uwe [Other]
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

Scholl, Marc H. [Other]; Laasch, Christian [Other]; Rich, Christian [Other]; Schek, Hans-Jörg [Other]; Tresch, Markus [Other]
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

Schmitt, Michael [Author]
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

Kestler, Hans A. [Editor]; Binder, Harald [Other]; Lausen, Berthold [Other]; Klenk, Hans-Peter [Other]; Schmid, Matthias [Other]; Leisch, Friedrich [Other]
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

Dammertz, Holger [Other]; Keller, Alexander [Other]; Lensch, Hendrik P. A. [Other]
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

Zhou, Dao [Other]; Müssel, Christoph [Other]; Lausser, Ludwig [Other]; Hopfensitz, Martin [Other]; Kühl, Michael [Other]; Kestler, Hans A. [Other]
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

Hanika, Johannes [Other]; Lensch, Hendrik P. A. [Other]; Keller, Alexander [Other]
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

Frey, Patrick Christopher [Other]
Case study: engine control application Patrick Frey
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011

Kaiser, Stefanie [Author]; Reichert, Manfred [Author]
Datenflussvarianten in Prozessmodellen: Szenarien, Herausforderungen, Ansätze Stefanie Kaiser; Manfred Reichert
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011

Kestler, Hans A. [Editor]; Binder, Harald [Other]; Schmid, Matthias [Other]; Leisch, Friedrich [Other]; Kraus, Johann M. [Other]
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

Köbler, Johannes [Other]; Schuler, Rainer [Other]
Average-case intractability vs. worst-case intractability Johannes Köbler; Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Kreher, Ulrich [Other]; Reichert, Manfred [Other]
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

Buchwald, Stephan [Other]; Bauer, Thomas [Other]; Reichert, Manfred [Other]
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

Weber, Barbara [Other]; Künzle, Vera [Other]; Reichert, Manfred [Other]
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

Reichert, Manfred [Other]; Lohrmann, Matthias Jürgen [Other]
Basic considerations on business process quality Manfred Reichert; Matthias Lohrmann
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Raiser, Frank [Other]; Betz, Hariolf [Other]; Frühwirth, Thom [Other]
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

Dold, Axel [Author]
Formalisierung schematischer Algorithmen Axel Dold
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Schuler, Rainer [Author]; Yamakami, Tomoyuki [Author]
Structural average case complexity Rainer Schuler; Tomoyuki Yamakami
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Vullinghs, Ton [Author]; Schulte, Wolfram [Author]; Schwinn, Thilo [Author]
An introduction to TkGofer Ton Vullinghs; Wolfram Schulte; Thilo Schwinn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Wennekers, Thomas [Author]
Asymptotik rekurrenter neuronaler Netze mit zufälligen Kopplungen Thomas Wennekers
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Dadam, Peter [Author]; Reichert, Manfred [Author]; Kuhn, Klaus [Author]
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

Boll, Susanne [Author]; Klas, Wolfgang [Author]; Westermann, Utz [Author]
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

Bauer, Thomas [Author]; Dadam, Peter [Author]
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

Nebel, Bernhard [Author]
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

Arvind, Vikraman [Author]; Köbler, Johannes [Author]; Schuler, Rainer [Author]
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

Karg, Christoph [Author]; Schuler, Rainer [Author]
Structure in average case complexity Christoph Karg; Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Beuter, Thomas [Author]; Dadam, Peter [Author]
Prinzipien der Replikationskontrolle in verteilten Systemen Thomas Beuter; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Achatz, Klaus [Author]; Schulte, Wolfram [Author]
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

Mößle, Andrea [Author]; Vogler, Heiko [Author]
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

Bauer, Thomas [Author]; Dadam, Peter [Author]
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

Heinlein, Christian [Author]; Dadam, Peter [Author]
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

Reichert, Manfred [Author]; Dadam, Peter [Author]
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

Braxmeier, Hans [Other]; Ernst, Dietmar [Other]; Mößle, Andrea [Other]; Vogler, Heiko [Other]
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

Ernst, Dietmar [Other]; Houdek, Frank [Other]; Schulte, Wolfram [Other]; Schwinn, Thilo [Other]
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

Livani, Mohammad Ali [Author]; Kaiser, Jörg [Author]
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

Köbler, Johannes [Author]; Lindner, Wolfgang [Author]; Schuler, Rainer [Author]
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

Westermann, Utz [Author]; Klas, Wolfgang [Author]
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

Buhrman, Harry [Author]; Thierauf, Thomas [Author]
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

Thierauf, Thomas [Author]; Toda, Seinosuke [Author]; Watanabe, Osamu [Author]
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

Cai, Jin-Yi [Author]; Green, Frederic [Author]; Thierauf, Thomas [Author]
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

Bauer, Thomas [Author]; Dadam, Peter [Author]
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

Schuler, Rainer [Author]; Watanabe, Osamu [Author]
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

Schöning, Uwe [Author]
Complexity of Presburger arithmetic with fixed quantifier dimension Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Canver, Ercüment [Author]; Gayen, Jan-Tecker [Author]; Moik, Adam [Author]
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

Beuter, Thomas [Author]; Dadam, Peter [Author]
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

Bartels, Falk [Other]; Dold, Axel [Other]; Pfeifer, Holger [Other]; Henke, Friedrich Wilhelm von [Other]; Rueß, Harald [Other]
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

Pfeifer, Holger [Other]; Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Rueß, Harald [Other]
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

Messner, Jochen [Author]
Pattern matching in trace monoids Jochen Messner
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Lindner, Wolfgang [Author]; Schuler, Rainer [Author]
A small span theorem within P Wolfgang Lindner; Rainer Schuler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Heinlein, Christian [Author]
Grundlagen von Interaktionsausdrücken Christian Heinlein
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Heinlein, Christian [Author]
Graphische Repräsentation von Interaktionsausdrücken Christian Heinlein
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Schellhorn, Gerhard [Author]; Reif, Wolfgang [Author]
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

Reif, Wolfgang [Author]; Schellhorn, Gerhard [Author]
Theorem proving in large theories Wolfgang Reif; Gerhard Schellhorn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Dadam, Peter [Other]; Kuhn, Klaus [Other]; Reichert, Manfred [Other]; Beuter, Thomas [Other]; Nathe, Michael [Other]
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

Gassner, Klaus [Author]
Rechnerunterstützung für die konzeptuelle Modellierung Klaus Gaßner
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Keßler, Ullrich [Author]; Dadam, Peter [Author]
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

Kalus, Christian [Author]; Dadam, Peter [Author]
Incorporating record subtyping into a relational data model Christian Kalus; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Tresch, Markus [Author]; Scholl, Marc H. [Author]
A classification of multi-database languages Markus Tresch; Marc H. Scholl
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Henke, Friedrich Wilhelm von [Author]; Rueß, Harald [Author]
Arbeitstreffen Typtheorie - Zusammenfassung der Beiträge Friedrich Wilhelm von Henke; Harald Rueß
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Henke, Friedrich Wilhelm von [Other]; Dold, Axel [Other]; Rueß, Harald [Other]; Schwier, Detlef [Other]; Strecker, Martin [Other]
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

Dadam, Peter [Author]; Reichert, Manfred [Author]
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

Arvind, Vikraman [Author]; Köbler, Johannes [Author]
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

Köbler, Johannes [Author]; Watanabe, Osamu [Author]
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

Schuler, Rainer [Author]
On average polynomial time Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Pfeifer, Holger [Other]; Rueß, Harald [Other]
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

Agrawal, Manindra [Author]; Thierauf, Thomas [Author]
Satisfiability problems Manindra Agrawal; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Biechele, Bernd [Other]; Ernst, Dietmar [Other]; Houdek, Frank [Other]; Schmid, Joachim [Other]; Schulte, Wolfram [Other]
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

Canver, Ercüment [Author]
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

Lupper, Alfred [Author]; Froitzheim, Konrad [Author]
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

Kuhn, Klaus [Other]; Reichert, Manfred [Other]; Nathe, Michael [Other]; Beuter, Thomas [Other]; Heinlein, Christian [Other]; Dadam, Peter [Other]
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

Kühnemann, Armin [Author]; Vogler, Heiko [Author]
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

Faßbender, Heinz [Author]; Vogler, Heiko [Author]; Wedel, Andrea [Author]
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

Dadam, Peter [Author]; Reichert, Manfred [Author]
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

Kestler, Hans A. [Editor]; Lausen, Berthold [Other]; Binder, Harald [Other]; Klenk, Hans-Peter [Other]; Leisch, Friedrich [Other]; Schmid, Matthias [Other]
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

Bader, Martin [Author]
On reversal and transposition medians Martin Bader
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

Rinderle-Ma, Stefanie [Author]; Reichert, Manfred [Author]
Adjustment strategies for non-compliant process instances Stefanie Rinderle-Ma; Manfred Reichert
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

Kreher, Ulrich [Other]; Reichert, Manfred [Other]; Rinderle-Ma, Stefanie [Other]; Dadam, Peter [Other]
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

Reichert, Manfred [Author]; Hallerbach, Alena Janice [Author]; Bauer, Thomas [Author]
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

Wunderlich, Henning [Other]
On Toda's Theorem in structural communication complexity Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009

Dadam, Peter [Other]; Reichert, Manfred [Other]; Rinderle-Ma, Stefanie [Other]; Göser, Kevin [Other]; Kreher, Ulrich [Other]; Jurisch, Martin [Other]
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

Pfeifer, Holger [Other]; Dold, Axel [Other]; Henke, Friedrich Wilhelm von [Other]; Rueß, Harald [Other]
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

Arvind, Vikraman [Author]; Köbler, Johannes [Author]; Mundhenk, Martin [Author]
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

Vogler, Heiko [Author]; Kühnemann, Armin [Author]
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

Weber, Barbara [Author]; Lanz, Andreas [Author]; Reichert, Manfred [Author]
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

Arvind, Vikraman [Other]; Thierauf, Thomas [Other]; Han, Yijie [Other]; Hamachandra, L. [Other]; Köbler, Johannes [Other]; Lozano, Antoni [Other]; Mundhenk, Martin [Other]; Ogiwara, A. [Other]; Schöning, Uwe [Other]; Silvestri, Riccardo [Other]
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

Vogler, Heiko [Author]; Faßbender, Heinz [Author]
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

Gladitz, Katia [Author]; Faßbender, Heinz [Author]; Vogler, Heiko [Author]
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

Köbler, Johannes [Author]; Schöning, Uwe [Author]; Torán, Jacobo [Author]
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

Arvind, Vikraman [Author]; Köbler, Johannes [Author]; Mundhenk, Martin [Author]
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

Raiser, Frank [Other]
Semi-automatic generation of CHR solvers from global constraint automata Frank Raiser
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008

Reichert, Manfred [Other]; Dadam, Peter [Other]; Jurisch, Martin [Other]; Kreher, Ulrich [Other]; Göser, Kevin [Other]; Lauer, Markus [Other]
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

Messner, Jochen [Other]; Kestler, Hans A. [Other]; Müller, Andre [Other]; Schuler, Rainer [Other]
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

Wunderlich, Henning [Other]
Covers have structure Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008

Maucher, Markus [Other]; Schöning, Uwe [Other]; Kestler, Hans A. [Other]
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

Frank, Matthias [Other]; Kargl, Frank [Other]; Stiller, Burkhard [Other]
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

Tavakoli Kolagari, Ahmad Ramin [Other]; Raschke, Alexander [Other]; Schneiderhan, Matthias [Other]; Alexander, Ian [Other]
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

Maucher, Markus [Other]; Schöning, Uwe [Other]; Kestler, Hans A. [Other]
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

Niggl, Karl-Heinz [Other]; Wunderlich, Henning [Other]
Implicit characterizations of FPTIME and NC revisited Karl-Heinz Niggl; Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008

Wunderlich, Henning [Other]
On span-Pcc and related classes in structural communication complexity Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008

Reichert, Manfred [Other]; Dadam, Peter [Other]
Realizing adaptive process-aware information systems with ADEPT2 Manfred Reichert; Peter Dadam
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2008

Sarstedt, Stefan [Other]
Model-Driven Development with ActiveCharts - Tutorial Stefan Sarstedt
Ulm: Univ., Fak. für Informatik, 2006

Dadam, Peter [Other]; Bauer, Thomas [Other]
Variable Serverzuordnungen und komplexe Bearbeiterzuordnungen im Workflow-Management-System ADEPT Peter Dadam; Thomas Bauer
Ulm: Universität Ulm, Fakultät für Informatik, 2000

Dadam, Peter [Other]; Bauer, Thomas [Other]
Vermeidung von Überlastsituationen durch Replikation von Workflow-Servern in ADEPT Peter Dadam; Thomas Bauer
Ulm: Universität Ulm, Fakultät für Informatik, 2000

Schöning, Uwe [Other]
On random reductions from sparse sets to tally sets Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992

Köbler, Johannes [Other]; Toda, Seinosuke [Other]
On the power of generalized MOD-classes Johannes Köbler; Seinosuke Toda
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992

Geser, Alfons [Other]
On a monotonic semantic path ordering Alfons Geser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992

Schöning, Uwe [Other]
Recent highlights in structural complexity theory Uwe Schöning
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1991

Köbler, Johannes [Other]; Thierauf, Thomas [Other]
Complexity-restricted advice functions Johannes Köbler; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1991

Search in field:

Recently searched for: