Browsing by Ulm Serial "Ulmer Informatik-Berichte"

17. Workshop über Komplexitätstheorie, effiziente Algorithmen und Datenstrukturen am 26. Mai 1992 in Ulm

Schöning, Uwe (2012)

Konferenzband

19th Workshop on (Constraint) Logic Programming W(C)LP 2005

Wolf, Armin; Frühwirth, Thom; Meister, Marc (2005)

Konferenzband

2. Krypto-Tag - Workshop über Kryptographie

Lindner, Wolfgang; Wolf, Christopher (2006)

Konferenzband

3-D visual object classification with hierarchical radial basis function networks

Palm, Günther; Kestler, Hans A.; Schwenker, Friedhelm (2005)

Arbeitspapier

A classification of multi-database languages

Tresch, Markus; Scholl, Marc H. (2010)

Arbeitspapier

A comparison of multimedia document models concerning advanced requirements

Boll, Susanne; Klas, Wolfgang; Westermann, Utz (2010)

Arbeitspapier

A complete and terminating execution model for Constraint Handling Rules

Raiser, Frank; Betz, Hariolf; Frühwirth, Thom (2010)

Bericht

A conceptual approach to an open hospital information system

Kuhn, Klaus et al. (2010)

Arbeitspapier

A distributed execution environment for large-scale workflow management systems with subnets and server migration

Bauer, Thomas; Dadam, Peter (2010)

Arbeitspapier

A formal framework for data-aware process interaction models

Knuplesch, David; Pryss, Rüdiger; Reichert, Manfred (2012)

Bericht

A formal framework for workflow type and instance changes under correctness constraints

Rinderle, Stefanie; Reichert, Manfred; Dadam, Peter (2005)

Arbeitspapier

A formal semantics of time patterns for process-aware information systems

Lanz, Andreas; Reichert, Manfred; Weber, Barbara (2013)

Bericht

A generic specification for verifying peephole optimizations

Dold, Axel et al. (2010)

Arbeitspapier

A guided tour through TYPELAB*

Luther, Marko; Strecker, Martin (2013)

Bericht

A mechanically verified compiling specification for a realistic compiler

Dold, Axel et al. (2005)

Arbeitspapier

A nonadaptive NC checker for permutation group intersection

Arvind, Vikraman; Torán, Jacobo (2010)

Arbeitspapier

A pumping lemma for output languages of attributed tree transducers

Kühnemann, Armin; Vogler, Heiko (2010)

Arbeitspapier

A slightly improved upper bound on the size of weights sufficient to represent any linearly separable Boolean function

Schmitt, Michael (2012)

Bericht

A small span theorem within P

Lindner, Wolfgang; Schuler, Rainer (2010)

Arbeitspapier

A universal unification algorithm based on unification-driven leftmost outermost narrowing

Vogler, Heiko; Faßbender, Heinz (2009)

Arbeitspapier