Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Fernau, Henning
On Unconditional Transfer.MFCS. 1996 S. 348 - 359
Fernau, Henning
Remarks on Propagating Partition-Limited ETOL Systems.J. UCS. Bd. 2. H. 11. 1996 S. 745 - 755
Keßler, Christoph W.
Scheduling expression DAGs for minimal register needTrier: Fachbereich IV, Mathematik, Informatik, Univ. 1996 16 S. (Trierer Forschungsberichte ; 96-12)
Damm, C.; Jukna, S.; Sgall, J.
Some Bounds on Multiparty Communication Complexity of Pointer JumpingLecture notes in computer science. Bd. 1046. Berlin: Springer 1996 S. 643 - 654
Meinel, Christoph; Slobodová, Anna
Speeding up variable reordering of OBDDsTrier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-40)
Seidl, Helmut
A modal m-calculus for durational transition systemsTrier: Univ., Mathematik/Informatik 1995 16 S. (Forschungsbericht ; 95-08)
Fernau, Henning
A Note on Uniformly Limited ETOL Systems with Unique Interpretation.Inf. Process. Lett. Bd. 54. H. 4. 1995 S. 199 - 204
Fernau, Henning
A predicate for separating language classes.Bulletin of the EATCS. Bd. 56. 1995
Bordihn, Henning; Fernau, Henning
Accepting Grammars and Systems: An Overview.Developments in Language Theory. 1995 S. 199 - 208
Bergmann, R.; Wilke, W.
Building and Refining Abstract Planning Cases by Change of Representation LanguageThe journal of artificial intelligence research. JAIR. Bd. 3. San Francisco, Calif.: Morgan Kaufmann Publ. 1995 S. 53 - 118
Bergmann, Ralph; Wilke, Wolfgang
Building and Refining Abstract Planning Cases by Change of Representation Language.J. Artif. Intell. Res. (JAIR). Bd. 3. 1995 S. 53 - 118
Ley, Michael
DB&LP: A WWW Bibliography on Databases and Logic ProgrammingCompulog Newsletter. 1995
Damm, Carsten; Holzer, Markus; Rossmanith, Peter
Expressing uniformity via oraclesTrier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-01)
Keßler, Christoph W.; Seidl, Helmut
Integrating synchronous and asynchronous paradigms : the Fork95 parallel programming languageTrier: Fachbereich IV, Mathematik/Informatik, Univ. 1995 11 S. (Trierer Forschungsberichte ; 95,5)
Keßler, Christoph W.; Seidl, Helmut
Language support for synchronous parallel critical sectionsTrier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-23)
Bergmann, Ralph; Wilke, Wolfgang
Learning Abstract Planning Cases.ECML. 1995 S. 55 - 76
Fernau, Henning; Bordihn, Henning
Remarks on accepting parallel systems.Int. J. Comput. Math. Bd. 56. H. 1-2. 1995 S. 51 - 67
Fernau, Henning
Valuations of Languages, with Applications to Fractal Geometry.Theor. Comput. Sci. Bd. 137. H. 2. 1995 S. 177 - 217
Fernau, Henning
Valuations, regular expressions, and fractal geometry.Appl. Algebra Eng. Commun. Comput. Bd. 7. H. 1. 1995 S. 59 - 75
Seidl, H.
Equivalence of Finite-Valued Tree Transducers Is DecidableMathematical systems theory. Bd. 27. H. 4. New York, NY: Springer 1994 S. 285 - 346
Seidl, H.
Finite tree automata with cost functionsTheoretical computer science. the journal of the EATCS. Bd. 126. H. 1. Amsterdam [u.a.]: Elsevier 1994
Seidl, H.
Haskell overloading is DEXPTIME-completeInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 52. H. 2. Amsterdam [u.a.]: Elsevier 1994 S. 57 - 60
Fernau, Henning
Iterierte Funktionen, Sprachen und Fraktale.1994 S. 1 - 288
Bergmann, Ralph; Wilke, Wolfgang
Lernen von Abstraktionshierarchien zur Optimierung der Auswahl von maschinell abstrahierten Plänen.PuK. 1994 S. 34 - 45
Fernau, Henning
Membership for 1-Limited ET0L Languages Is Not Decidable.Elektronische Informationsverarbeitung und Kybernetik. Bd. 30. H. 4. 1994 S. 191 - 211
PuK-94, 8. Workshop "Planen und Konfigrieren", 18.-19. April 1994, Kaiserslautern, Proceedings
PuK. Bd. SWP-94-01. 1994
Ferdinand, C.; Seidl, H.; Wilhelm, R.
Tree automata for code selectionActa informatica. Bd. 31. H. 8. Berlin: Springer 1994 S. 741 - 760
Fernau, Henning; Staiger, Ludwig
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry.ICALP. 1994 S. 11 - 22
Fernau, Henning
Adult Languages of Propagating Systems with Restricted Parallelism.Elektronische Informationsverarbeitung und Kybernetik. Bd. 29. H. 5. 1993 S. 249 - 267
Bergmann, Ralph; Pews, Gerhard; Wilke, Wolfgang
Explanation-Based Similarity: A Unifying Approach for Integrating Domain Knowledge into Case-Based Reasoning for Diagnosis and Planning Tasks.EWCBR. 1993 S. 182 - 196
Bergmann, Ralph
Learning Hierarchically Clustered Shared Plan Abstractions as Problem Solving Knowledge with High Utility for Planning.PuK. 1993 S. 97 - 108
Seidl, Helmut
Least solutions of equations over NSaarbrücken: Sonderforschungsbereich 124 VLSI Entwurfsmethoden und Parallelität 1993 15 S. (Preprint ; 1993,8)
Fernau, Henning
Remarks on Adult Languages of Propagating Systems with Restricted Parallelism.Developments in Language Theory. 1993 S. 90 - 101
Bergmann, Ralph
Learning Plan Abstractions.GWAI. 1992 S. 187 - 198
Ley, Michael; Walter, Bernd
LILOG-DB: Some implementation techniques.CNKBS. 1992 S. 36 - 37
Ley, Michael
The Term Retrieval Machine.SIGMOD Conference. 1992 S. 154 - 163
Bergmann, Ralph
Knowledge Acquisition by Generating Skeletal Plans from Real World Cases.Contemporary Knowledge Engineering and Cognition. 1991 S. 125 - 133
Benzschawel, Stefan; Gehlen, Erich; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge Based Systems.Text Understanding in LILOG. 1991 S. 501 - 594
Fernau, Henning
On Function-limited Lindenmayer Systems.Elektronische Informationsverarbeitung und Kybernetik. Bd. 27. H. 1. 1991 S. 21 - 53
Maier, Albert; Ley, Michael; Gehlen, Erich
Sort Processing in a Deductive Database SystemIWBS Report. Bd. 154. 1991
Ley, Michael
The Term Retrieval Abstract MachineIWBS Report. Bd. 202. 1991
Schmalhofer, Franz; Bergmann, Ralph; Kühn, Otto et al.
Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations.GWAI. 1991 S. 62 - 71
Ley, Michael; Walter, Bernd
Der LILOG-DB-Fact-Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer Objekte.Inform., Forsch. Entwickl. Bd. 5. H. 4. 1990 S. 188 - 201
Ley, Michael; Walter, Bernd
Der LILOG-DB Fact Manager: Ein Datenbankkern zur Speicherung variabel strukturierter komplexer ObjekteIWBS Report. Bd. 107. 1989
Ludwig, Thomas; Walter, Bernd; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge-Based Systems.BTW. 1989 S. 176 - 195
Ley, Michael
Ein Fact Manager zur persistenten Speicherung variabel strukturierter komplexer ObjekteLILOG-Report. Bd. 60. 1988
Ludwig, Thomas; Walter, Bernd; Ley, Michael et al.
LILOG-DB: Database Support for Knowledge-Based SystemsLILOG-Report. Bd. 56. 1988
Meinel, C.; Hludov, S.; C., Schröter
Adaptive Komprimierung von DICOM-Bildern
Meinel, C.; Müller, S.; Görg, H. - J. et al.
CryptoPay-Sicheres Bezahlen im InternetTechnical Reports 1998. Institute for Telematics