> Detailanzeige

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

Ulmer Informatik-Berichte

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Elektronische Schriftenreihe; Monographische Schriftenreihe
Titel: Ulmer Informatik-Berichte
Körperschaft: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik
Erschienen: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 19XX-
Sprache: Deutsch; Englisch
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen:
Zugangsstatus: Freier Zugang

Zugang

Dies ist ein bibliografischer Nachweis.

Titel recherchieren im Bestand der SLUB

Bitte berücksichtigen Sie ggf. auch weitere Hinweise/Informationen unter "Verweise".

Open Access

Verweise

Erscheint auch als (Druckausgabe):
Ulmer Informatik-Berichte (SLUB)

> Verlagsreihe

Lanz, Andreas [Sonstige Person, Familie und Körperschaft]; Posenato, Roberto [Sonstige Person, Familie und Körperschaft]; Combi, Carlo [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Richter, Felix [Sonstige Person, Familie und Körperschaft]; Biundo-Stephan, Susanne [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Steigmiller, Andreas [Sonstige Person, Familie und Körperschaft]; Liebig, Thorsten [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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. [Sonstige Person, Familie und Körperschaft]; Schmid, Matthias [Sonstige Person, Familie und Körperschaft]; Lausser, Ludwig [Sonstige Person, Familie und Körperschaft]; Kraus, Johann M. [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
Reasoning with OWL - system support and insights Thorsten Liebig, Thorsten
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Damm, Daniela [Sonstige Person, Familie und Körperschaft]; Seitz, Alexander [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Uhrmacher, Adelinde [Sonstige Person, Familie und Körperschaft]; Claes, Lutz [Sonstige Person, Familie und Körperschaft]; Wolf, Stephan [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Strecker, Martin [Sonstige Person, Familie und Körperschaft]
A guided tour through TYPELAB* Marko Luther; Martin Strecker
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Neumann, Heiko [Sonstige Person, Familie und Körperschaft]; Pessoa, Luiz [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Ernst, Dietmar [Sonstige Person, Familie und Körperschaft]; Schwinn, Thilo [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Raschke, Alexander [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Dadam, Peter [Sonstige Person, Familie und Körperschaft]
Variable Migration von Workflows in ADEPT Thomas Bauer; Peter Dadam
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Schellhorn, Gerhard [Verfasser:in]
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 [Verfasser:in]; Reif, Wolfgang [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Torres, Victoria [Sonstige Person, Familie und Körperschaft]; Weber, Barbara [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]; Pelechano, Vicente [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Tavakoli Kolagari, Ahmad Ramin [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Raschke, Alexander [Sonstige Person, Familie und Körperschaft]; Tavakoli Kolagari, Ahmad Ramin [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Hansen, Thorsten [Sonstige Person, Familie und Körperschaft]; Pessoa, Luiz [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Sepp, Wolfgang [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Kaiser, Jörg [Sonstige Person, Familie und Körperschaft]
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. [Sonstige Person, Familie und Körperschaft]
Statistical Computing 2013 - Abstracts der 45. Arbeitstagung Hans A. Kestler
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2013

Hartmann, Boris [Verfasser:in]
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 [Verfasser:in]
Relative termination Alfons Geser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Schulte, Wolfram [Verfasser:in]; Vullinghs, Ton [Verfasser:in]
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 [Verfasser:in]; Lindner, Wolfgang [Verfasser:in]
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 [Verfasser:in]; Martignon, Laura [Verfasser:in]
Consistency in stochastic networks Hermann von Hasseln; Laura Martignon
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Kehrer, Jürgen [Verfasser:in]; Schulthess, Peter [Verfasser:in]
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 [Verfasser:in]; Hübner, Paul [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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 [Verfasser:in]; Partsch, Helmut [Verfasser:in]
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 [Verfasser:in]
On the largest common subgraph problem Oleg Verbitsky
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Dausend, Marcel [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Bauer, Thomas [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Honold, Frank [Verfasser:in]; Weber, Michael [Verfasser:in]
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 [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
Transformational development of data-parallel algorithms: an example Helmut Partsch
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

Arvind, Vikraman [Sonstige Person, Familie und Körperschaft]; Köbler, Johannes [Sonstige Person, Familie und Körperschaft]; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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. [Herausgeber:in]
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 [Sonstige Person, Familie und Körperschaft]; Orponen, Pekka [Sonstige Person, Familie und Körperschaft]; Schöning, Uwe [Sonstige Person, Familie und Körperschaft]; Watanabe, Osamu [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Köbler, Johannes [Sonstige Person, Familie und Körperschaft]; Torán, Jacobo [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Vogler, Heiko [Verfasser:in]
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 [Verfasser:in]
Namensverwaltung und Adressierung in Distributed Shared Memory-Systemen Alfred Lupper
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2012

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

Partsch, Helmut [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Liebig, Thorsten [Sonstige Person, Familie und Körperschaft]; Glimm, Birte [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
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. [Sonstige Person, Familie und Körperschaft]; Laasch, Christian [Sonstige Person, Familie und Körperschaft]; Rich, Christian [Sonstige Person, Familie und Körperschaft]; Schek, Hans-Jörg [Sonstige Person, Familie und Körperschaft]; Tresch, Markus [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
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. [Herausgeber:in]; Binder, Harald [Sonstige Person, Familie und Körperschaft]; Lausen, Berthold [Sonstige Person, Familie und Körperschaft]; Klenk, Hans-Peter [Sonstige Person, Familie und Körperschaft]; Schmid, Matthias [Sonstige Person, Familie und Körperschaft]; Leisch, Friedrich [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Keller, Alexander [Sonstige Person, Familie und Körperschaft]; Lensch, Hendrik P. A. [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Müssel, Christoph [Sonstige Person, Familie und Körperschaft]; Lausser, Ludwig [Sonstige Person, Familie und Körperschaft]; Hopfensitz, Martin [Sonstige Person, Familie und Körperschaft]; Kühl, Michael [Sonstige Person, Familie und Körperschaft]; Kestler, Hans A. [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Lensch, Hendrik P. A. [Sonstige Person, Familie und Körperschaft]; Keller, Alexander [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
Case study: engine control application Patrick Frey
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2011

Kaiser, Stefanie [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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. [Herausgeber:in]; Binder, Harald [Sonstige Person, Familie und Körperschaft]; Schmid, Matthias [Sonstige Person, Familie und Körperschaft]; Leisch, Friedrich [Sonstige Person, Familie und Körperschaft]; Kraus, Johann M. [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Schuler, Rainer [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Bauer, Thomas [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Künzle, Vera [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Lohrmann, Matthias Jürgen [Sonstige Person, Familie und Körperschaft]
Basic considerations on business process quality Manfred Reichert; Matthias Lohrmann
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Raiser, Frank [Sonstige Person, Familie und Körperschaft]; Betz, Hariolf [Sonstige Person, Familie und Körperschaft]; Frühwirth, Thom [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
Formalisierung schematischer Algorithmen Axel Dold
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

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

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

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

Dadam, Peter [Verfasser:in]; Reichert, Manfred [Verfasser:in]; Kuhn, Klaus [Verfasser:in]
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 [Verfasser:in]; Klas, Wolfgang [Verfasser:in]; Westermann, Utz [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Verfasser:in]
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 [Verfasser:in]; Köbler, Johannes [Verfasser:in]; Schuler, Rainer [Verfasser:in]
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 [Verfasser:in]; Schuler, Rainer [Verfasser:in]
Structure in average case complexity Christoph Karg; Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

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

Achatz, Klaus [Verfasser:in]; Schulte, Wolfram [Verfasser:in]
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 [Verfasser:in]; Vogler, Heiko [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Ernst, Dietmar [Sonstige Person, Familie und Körperschaft]; Mößle, Andrea [Sonstige Person, Familie und Körperschaft]; Vogler, Heiko [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Houdek, Frank [Sonstige Person, Familie und Körperschaft]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft]; Schwinn, Thilo [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Kaiser, Jörg [Verfasser:in]
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 [Verfasser:in]; Lindner, Wolfgang [Verfasser:in]; Schuler, Rainer [Verfasser:in]
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 [Verfasser:in]; Klas, Wolfgang [Verfasser:in]
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 [Verfasser:in]; Thierauf, Thomas [Verfasser:in]
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 [Verfasser:in]; Toda, Seinosuke [Verfasser:in]; Watanabe, Osamu [Verfasser:in]
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 [Verfasser:in]; Green, Frederic [Verfasser:in]; Thierauf, Thomas [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Verfasser:in]; Watanabe, Osamu [Verfasser:in]
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 [Verfasser:in]
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 [Verfasser:in]; Gayen, Jan-Tecker [Verfasser:in]; Moik, Adam [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
Pattern matching in trace monoids Jochen Messner
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

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

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

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

Schellhorn, Gerhard [Verfasser:in]; Reif, Wolfgang [Verfasser:in]
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 [Verfasser:in]; Schellhorn, Gerhard [Verfasser:in]
Theorem proving in large theories Wolfgang Reif; Gerhard Schellhorn
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Dadam, Peter [Sonstige Person, Familie und Körperschaft]; Kuhn, Klaus [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]; Beuter, Thomas [Sonstige Person, Familie und Körperschaft]; Nathe, Michael [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Verfasser:in]; Dadam, Peter [Verfasser:in]
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 [Verfasser:in]; Scholl, Marc H. [Verfasser:in]
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 [Verfasser:in]; Rueß, Harald [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]; Schwier, Detlef [Sonstige Person, Familie und Körperschaft]; Strecker, Martin [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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 [Verfasser:in]; Köbler, Johannes [Verfasser:in]
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 [Verfasser:in]; Watanabe, Osamu [Verfasser:in]
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 [Verfasser:in]
On average polynomial time Rainer Schuler
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2010

Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Pfeifer, Holger [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Thierauf, Thomas [Verfasser:in]
Satisfiability problems Manindra Agrawal; Thomas Thierauf
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010

Biechele, Bernd [Sonstige Person, Familie und Körperschaft]; Ernst, Dietmar [Sonstige Person, Familie und Körperschaft]; Houdek, Frank [Sonstige Person, Familie und Körperschaft]; Schmid, Joachim [Sonstige Person, Familie und Körperschaft]; Schulte, Wolfram [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
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 [Verfasser:in]; Froitzheim, Konrad [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]; Nathe, Michael [Sonstige Person, Familie und Körperschaft]; Beuter, Thomas [Sonstige Person, Familie und Körperschaft]; Heinlein, Christian [Sonstige Person, Familie und Körperschaft]; Dadam, Peter [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Vogler, Heiko [Verfasser:in]
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 [Verfasser:in]; Vogler, Heiko [Verfasser:in]; Wedel, Andrea [Verfasser:in]
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 [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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. [Herausgeber:in]; Lausen, Berthold [Sonstige Person, Familie und Körperschaft]; Binder, Harald [Sonstige Person, Familie und Körperschaft]; Klenk, Hans-Peter [Sonstige Person, Familie und Körperschaft]; Leisch, Friedrich [Sonstige Person, Familie und Körperschaft]; Schmid, Matthias [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]
On reversal and transposition medians Martin Bader
Ulm: Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik, 2009

Rinderle-Ma, Stefanie [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]; Rinderle-Ma, Stefanie [Sonstige Person, Familie und Körperschaft]; Dadam, Peter [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Hallerbach, Alena Janice [Verfasser:in]; Bauer, Thomas [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]
On Toda's Theorem in structural communication complexity Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2009

Dadam, Peter [Sonstige Person, Familie und Körperschaft]; Reichert, Manfred [Sonstige Person, Familie und Körperschaft]; Rinderle-Ma, Stefanie [Sonstige Person, Familie und Körperschaft]; Göser, Kevin [Sonstige Person, Familie und Körperschaft]; Kreher, Ulrich [Sonstige Person, Familie und Körperschaft]; Jurisch, Martin [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Dold, Axel [Sonstige Person, Familie und Körperschaft]; Henke, Friedrich Wilhelm von [Sonstige Person, Familie und Körperschaft]; Rueß, Harald [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Köbler, Johannes [Verfasser:in]; Mundhenk, Martin [Verfasser:in]
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 [Verfasser:in]; Kühnemann, Armin [Verfasser:in]
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 [Verfasser:in]; Lanz, Andreas [Verfasser:in]; Reichert, Manfred [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]; Thierauf, Thomas [Sonstige Person, Familie und Körperschaft]; Han, Yijie [Sonstige Person, Familie und Körperschaft]; Hamachandra, L. [Sonstige Person, Familie und Körperschaft]; Köbler, Johannes [Sonstige Person, Familie und Körperschaft]; Lozano, Antoni [Sonstige Person, Familie und Körperschaft]; Mundhenk, Martin [Sonstige Person, Familie und Körperschaft]; Ogiwara, A. [Sonstige Person, Familie und Körperschaft]; Schöning, Uwe [Sonstige Person, Familie und Körperschaft]; Silvestri, Riccardo [Sonstige Person, Familie und Körperschaft]
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 [Verfasser:in]; Faßbender, Heinz [Verfasser:in]
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 [Verfasser:in]; Faßbender, Heinz [Verfasser:in]; Vogler, Heiko [Verfasser:in]
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 [Verfasser:in]; Schöning, Uwe [Verfasser:in]; Torán, Jacobo [Verfasser:in]
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 [Verfasser:in]; Köbler, Johannes [Verfasser:in]; Mundhenk, Martin [Verfasser:in]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Dadam, Peter [Sonstige Person, Familie und Körperschaft]; Jurisch, Martin [Sonstige Person, Familie und Körperschaft]; Kreher, Ulrich [Sonstige Person, Familie und Körperschaft]; Göser, Kevin [Sonstige Person, Familie und Körperschaft]; Lauer, Markus [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Kestler, Hans A. [Sonstige Person, Familie und Körperschaft]; Müller, Andre [Sonstige Person, Familie und Körperschaft]; Schuler, Rainer [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
Covers have structure Henning Wunderlich
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2008

Maucher, Markus [Sonstige Person, Familie und Körperschaft]; Schöning, Uwe [Sonstige Person, Familie und Körperschaft]; Kestler, Hans A. [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Kargl, Frank [Sonstige Person, Familie und Körperschaft]; Stiller, Burkhard [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Raschke, Alexander [Sonstige Person, Familie und Körperschaft]; Schneiderhan, Matthias [Sonstige Person, Familie und Körperschaft]; Alexander, Ian [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Schöning, Uwe [Sonstige Person, Familie und Körperschaft]; Kestler, Hans A. [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Wunderlich, Henning [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Dadam, Peter [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
Model-Driven Development with ActiveCharts - Tutorial Stefan Sarstedt
Ulm: Univ., Fak. für Informatik, 2006

Dadam, Peter [Sonstige Person, Familie und Körperschaft]; Bauer, Thomas [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Bauer, Thomas [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]; Toda, Seinosuke [Sonstige Person, Familie und Körperschaft]
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 [Sonstige Person, Familie und Körperschaft]
On a monotonic semantic path ordering Alfons Geser
Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 1992

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

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

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: