Skip to contents Geser, Alfons [Author] On a monotonic semantic path ordering Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T15:19:55Z Reif, Wolfgang [Author]; Schellhorn, Gerhard [Author]; Thums, Andreas [Author] Fehlersuche in Formalen Spezifikationen Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:42Z Dold, Axel [Author] Formalisierung schematischer Algorithmen Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:45Z Houdek, Frank [Author]; Ernst, Dietmar [Author]; Schwinn, Thilo [Author] Prüfen von C-Code und Statemate-Matlab-Spezifikationen: ein Experiment Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:53Z Engelfriet, Joost [Author]; Vogler, Heiko [Author] The translation power of top-down tree-to-graph transducers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:39Z Lindner, Wolfgang [Contributor]; Wolf, Christopher [Contributor] 2. Krypto-Tag - Workshop über Kryptographie Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:44Z Reichert, Manfred [Author]; Dadam, Peter [Author] ADEPT_flex - supporting dynamic changes of workflows without loosing control Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:17Z Boll, Susanne [Author]; Klas, Wolfgang [Author]; Westermann, Utz [Author] A comparison of multimedia document models concerning advanced requirements Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:18Z Köbler, Johannes [Author]; Thierauf, Thomas [Author] Complexity-restricted advice functions Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T15:19:54Z Köbler, Johannes [Author]; Lindner, Wolfgang [Author]; Schuler, Rainer [Author] Derandomizing RP if Boolean circuits are not learnable Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:18Z Bauer, Thomas [Author]; Dadam, Peter [Author] Efficient distributed workflow management based on variable server assignments Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:50Z Dadam, Peter [Contributor]; Reichert, Manfred [Contributor] Enterprise-wide and cross-enterprise workflow management: concepts, systems, applications - workshop proceedings, GI-Workshop Informatik '99, Paderborn, Germany, October 6, 1999 Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:50Z Schellhorn, Gerhard [Contributor]; Reif, Wolfgang [Contributor] FM-Tools 2000: the 4th Workshop on Tools for System Design and Verification Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:42Z Canver, Ercüment [Author] Formal verification of a coordinated atomic action based design Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:52Z Achatz, Klaus [Author]; Partsch, Helmut [Author] From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:43Z Buhrman, Harry [Author]; Kadin, Jim [Author]; Thierauf, Thomas [Author] Functions computable with nonadaptive queries to NP Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:15Z Köbler, Johannes [Author]; Schöning, Uwe [Author]; Toran, Jacobo [Author] Graph isomorphism is low for PP Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T15:19:54Z Kalus, Christian [Author]; Dadam, Peter [Author] Incorporating record subtyping into a relational data model Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:45Z Ko, Ker-I [Author]; Orponen, Pekka [Author]; Schöning, Uwe [Author]; Watanabe, Osamu [Author] Instance complexity Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:38Z Boll, Susanne [Contributor]; Heinlein, Christian [Contributor]; Klas, Wolfgang [Contributor]; Wandel, Jochen [Contributor] Intelligent prefetching and buffering for interactive streaming of MPEG Videos Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:42Z
Geser, Alfons [Author] On a monotonic semantic path ordering Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T15:19:55Z
Reif, Wolfgang [Author]; Schellhorn, Gerhard [Author]; Thums, Andreas [Author] Fehlersuche in Formalen Spezifikationen Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:42Z
Dold, Axel [Author] Formalisierung schematischer Algorithmen Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:45Z
Houdek, Frank [Author]; Ernst, Dietmar [Author]; Schwinn, Thilo [Author] Prüfen von C-Code und Statemate-Matlab-Spezifikationen: ein Experiment Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:53Z
Engelfriet, Joost [Author]; Vogler, Heiko [Author] The translation power of top-down tree-to-graph transducers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:39Z
Lindner, Wolfgang [Contributor]; Wolf, Christopher [Contributor] 2. Krypto-Tag - Workshop über Kryptographie Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:44Z
Reichert, Manfred [Author]; Dadam, Peter [Author] ADEPT_flex - supporting dynamic changes of workflows without loosing control Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:17Z
Boll, Susanne [Author]; Klas, Wolfgang [Author]; Westermann, Utz [Author] A comparison of multimedia document models concerning advanced requirements Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:18Z
Köbler, Johannes [Author]; Thierauf, Thomas [Author] Complexity-restricted advice functions Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T15:19:54Z
Köbler, Johannes [Author]; Lindner, Wolfgang [Author]; Schuler, Rainer [Author] Derandomizing RP if Boolean circuits are not learnable Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:18Z
Bauer, Thomas [Author]; Dadam, Peter [Author] Efficient distributed workflow management based on variable server assignments Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:50Z
Dadam, Peter [Contributor]; Reichert, Manfred [Contributor] Enterprise-wide and cross-enterprise workflow management: concepts, systems, applications - workshop proceedings, GI-Workshop Informatik '99, Paderborn, Germany, October 6, 1999 Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:50Z
Schellhorn, Gerhard [Contributor]; Reif, Wolfgang [Contributor] FM-Tools 2000: the 4th Workshop on Tools for System Design and Verification Electronic Resources View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:42Z
Canver, Ercüment [Author] Formal verification of a coordinated atomic action based design Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:52Z
Achatz, Klaus [Author]; Partsch, Helmut [Author] From descriptive specifications to operational ones: a powerful transformation rule, its applications and variants Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:43Z
Buhrman, Harry [Author]; Kadin, Jim [Author]; Thierauf, Thomas [Author] Functions computable with nonadaptive queries to NP Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T11:04:15Z
Köbler, Johannes [Author]; Schöning, Uwe [Author]; Toran, Jacobo [Author] Graph isomorphism is low for PP Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T15:19:54Z
Kalus, Christian [Author]; Dadam, Peter [Author] Incorporating record subtyping into a relational data model Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T06:22:45Z
Ko, Ker-I [Author]; Orponen, Pekka [Author]; Schöning, Uwe [Author]; Watanabe, Osamu [Author] Instance complexity Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-15T09:03:38Z
Boll, Susanne [Contributor]; Heinlein, Christian [Contributor]; Klas, Wolfgang [Contributor]; Wandel, Jochen [Contributor] Intelligent prefetching and buffering for interactive streaming of MPEG Videos Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Universität Ulm, 2016-03-14T13:38:42Z
> Media type Skip to next facet Books (205) Wert ausschließen Thesis (161) Wert ausschließen Electronic Resources (126) Wert ausschließen Articles (53) Wert ausschließen Software (2) Wert ausschließen Images (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (97) Wert ausschließen Attribution - No Derivs (CC BY-ND) (28) Wert ausschließen Attribution - Non Commercial - No Derivs (CC BY-NC-ND) (17) Wert ausschließen Attribution - Share Alike (CC BY-SA) (10) Wert ausschließen Attribution - Non Commercial (CC BY-NC) (2) Wert ausschließen Attribution - Non Commercial - Share Alike (CC BY-NC-SA) (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (158) Wert ausschließen Without Specification (390) Wert ausschließen Show more show less
> Language Skip to next facet English (434) Wert ausschließen German (112) Wert ausschließen Not determined (2) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (548) Wert ausschließen Technology (71) Wert ausschließen Sociology (23) Wert ausschließen Medicine (15) Wert ausschließen Mathmatics (14) Wert ausschließen General (10) Wert ausschließen Psychology (8) Wert ausschließen Economics (7) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (4) Wert ausschließen Biology (3) Wert ausschließen Philosophy (3) Wert ausschließen History (2) Wert ausschließen Art and art history (2) Wert ausschließen Political science (2) Wert ausschließen General sciences (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen Geography (1) Wert ausschließen Physics (1) Wert ausschließen Sports science (1) Wert ausschließen Show more show less
> Creator Skip to next facet Reichert, Manfred (45) Wert ausschließen Domaschka, Jörg (28) Wert ausschließen Dadam, Peter (24) Wert ausschließen Kargl, Frank (24) Wert ausschließen Minker, Wolfgang (24) Wert ausschließen Kestler, Hans A. (19) Wert ausschließen Wesner, Stefan (18) Wert ausschließen Köbler, Johannes (15) Wert ausschließen Krzywda, Jakub (14) Wert ausschließen Papazachos, Zafeirios (14) Wert ausschließen Schöning, Uwe (14) Wert ausschließen Stier, Christian (13) Wert ausschließen Schwenker, Friedhelm (12) Wert ausschließen Sheridan, Craig (12) Wert ausschließen Ali-Eldin, Ahmed (11) Wert ausschließen Bauer, Thomas (11) Wert ausschließen Byrne, James (11) Wert ausschließen Hauser, Christopher (11) Wert ausschließen Neumann, Heiko (11) Wert ausschließen Tichy, Matthias (11) Wert ausschließen Weber, Michael (11) Wert ausschließen Östberg, Per-Olov (11) Wert ausschließen Groenda, Henning (10) Wert ausschließen Pryss, Rüdiger (10) Wert ausschließen Whigham, Darren (10) Wert ausschließen Arvind, Vikraman (9) Wert ausschließen Rukzio, Enrico (9) Wert ausschließen Schuler, Rainer (9) Wert ausschließen Seybold, Daniel (9) Wert ausschließen Tsitsipas, Athanasios (9) Wert ausschließen Vogler, Heiko (9) Wert ausschließen Könings, Bastian (8) Wert ausschließen Schmid, Matthias (8) Wert ausschließen Slomka, Frank (8) Wert ausschließen Svorobej, Sergej (8) Wert ausschließen Thierauf, Thomas (8) Wert ausschließen Glimm, Birte (7) Wert ausschließen Heinlein, Christian (7) Wert ausschließen Henke, Friedrich Wilhelm von (7) Wert ausschließen Lausser, Ludwig (7) Wert ausschließen Schaub, Florian (7) Wert ausschließen Albers, Karsten (6) Wert ausschließen Dold, Axel (6) Wert ausschließen Innes, Alasdair (6) Wert ausschließen Rueß, Harald (6) Wert ausschließen Schellhorn, Gerhard (6) Wert ausschließen Biundo-Stephan, Susanne (5) Wert ausschließen Castañé, Gabriel González (5) Wert ausschließen Fürstberger, Axel (5) Wert ausschließen Gottwald, Sebastian (5) Wert ausschließen Griesinger, Frank (5) Wert ausschließen Kleber, Stephan (5) Wert ausschließen Kraus, Johann M. (5) Wert ausschließen Lanz, Andreas (5) Wert ausschließen Miehle, Juliana (5) Wert ausschließen Mundhenk, Martin (5) Wert ausschließen Reif, Wolfgang (5) Wert ausschließen Ropinski, Timo (5) Wert ausschließen Schulte, Wolfram (5) Wert ausschließen Schüssel, Felix (5) Wert ausschließen Thüm, Thomas (5) Wert ausschließen Wiedersheim, Björn (5) Wert ausschließen Ahir, Mayur (4) Wert ausschließen Beuter, Thomas (4) Wert ausschließen Bharbuiya, Sakil (4) Wert ausschließen Borner, Janus (4) Wert ausschließen Braun, Daniel A. (4) Wert ausschließen Byrne, Peter J. (4) Wert ausschließen Dietmayer, Klaus (4) Wert ausschließen Dietzel, Stefan (4) Wert ausschließen Ernst, Dietmar (4) Wert ausschließen Frühwirth, Thom (4) Wert ausschließen Haugg, Elena (4) Wert ausschließen Hauser, Christopher B. (4) Wert ausschließen Herwig, Annika (4) Wert ausschließen Kreher, Ulrich (4) Wert ausschließen Liebig, Thorsten (4) Wert ausschließen Lindner, Wolfgang (4) Wert ausschließen Maucher, Markus (4) Wert ausschließen Nikolopoulos, Dimitrios S. (4) Wert ausschließen Ortmanns, Maurits (4) Wert ausschließen Palm, Günther (4) Wert ausschließen Pfeifer, Holger (4) Wert ausschließen Raschke, Alexander (4) Wert ausschließen Salk, Jürgen (4) Wert ausschließen Schach, Sonja (4) Wert ausschließen Steigmiller, Andreas (4) Wert ausschließen Torán, Jacobo (4) Wert ausschließen Van der Heijden, Rens Wouter (4) Wert ausschließen Waldschmidt, Christian (4) Wert ausschließen Watanabe, Osamu (4) Wert ausschließen Weber, Barbara (4) Wert ausschließen Wunderlich, Henning (4) Wert ausschließen Abdennadher, Slim (3) Wert ausschließen Bako, Boto Zsolt (3) Wert ausschließen Baumeister, Harald (3) Wert ausschließen Binder, Harald (3) Wert ausschließen Boll, Susanne (3) Wert ausschließen Bossert, Martin (3) Wert ausschließen Buchwald, Stephan (3) Wert ausschließen Show more show less
> Collection Skip to next facet BASE - Bielefeld Academic Search Engine (548) Wert ausschließen OPARU (OPen Access Repository of Ulm University) (548) Wert ausschließen Show more show less