Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Meinel, C.; Theobald, T.
Geordnete binaere Entscheidungsgraphen und ihre Bedeutung im rechnergestuetzten Entwurf hochintegrierter Schaltkreise.Informatik-Spektrum. Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. Bd. 20. H. 5. Berlin: Springer 1997 S. 268 - 275
Fernau, Henning
Graph-Controlled Grammars as Language Acceptors.Journal of Automata, Languages and Combinatorics. Bd. 2. H. 2. 1997 S. 79 - 92
Fernau, Henning; Stephan, Frank
How Powerful is Unconditional Transfer? - When UT meets AC.Developments in Language Theory. 1997 S. 249 - 260
Seidl, Helmut; Fecht, Christian
Interprocedural analysis based on PDAsTrier: Univ., Mathematik, Informatik 1997 0 S. (Trierer Forschungsberichte ; 97-06)
Czap, H.; ctt, ctt
Kostenrechnung und Leistungsplanung im Krankenhausctt (Hrsg). 10 Jahre ctt, Festschrift der Caritas Trägergesellschaft Trier e.V. 1997 S. 88 - 97
Czap, H.; Kahler, H.; Mambrey, P. et al.
Kostenrechnung und Qualitätsmanagement bei Kommunen: Das Reformkonzept der KGSt im Hinblick auf die Unterstützung amtsübergreifender VorgängeKahler, H.; Mambrey, P.; Wulf, V. (Hrsg). Computerunterstützte Gruppenarbeit und Verwaltungsreform. Proceedings zum GI-Workshop (http://www.cs.uni-bonn.de/~prosec/ws_harburg/WORKSHOP.html). 1997
Mundhenk, M.
NP-hard Sets Have Many Hard InstancesLecture notes in computer science. Bd. 1295. Berlin: Springer 1997 S. 428 - 437
Czap, Hans; Reiter, Joachim
Offene und verteilte betriebswirtschaftliche AnwendungssystemeTelekooperation in Unternehmen. - Wiesbaden : Dt. Univ.-Verl. [u.a.], ISBN 3-8244-6433-0. 1997 S. 245 - 264
Czap, H.; Reiter, J.
OMC: An Organisational Model for Co-OperationsACM SigGroup Bulletin (formerly SIGOIS Bulletin), No. 2. Bd. ACM SigGroup Bulletin (formerly SIGOIS Bulletin), No. 2. 1997 S. 41 - 44
Keßler, Christoph W.; Keßler, C. W.
On the Applicability of Program Comprehension Techniques to the Automatic Parallelization of Sparse Matrix ComputationsProc. of AP'97 3rd Workshop on Automatic Data Layout and Performance Prediction, Research report of Dep. d'Arquitectura de Computadors, Univ. Polytechnica de Catalunya, Barcelona, Spain, Jan. 1997. 1997
Keßler, Christoph W.
Practical PRAM programming with Fork95 : a tutorialTrier: Univ., Fachbereich Mathematik, Informatik 1997 59 S. (Forschungsbericht ; 97-12)
Seidl, Helmut; Fecht, Christian
Propagating differences : an efficient new fixpoint algorithm for distributive constraint systemsTrier: Univ., Fachbereich Mathematik, Informatik 1997 15 S. (Forschungsbericht ; 97-13)
Fernau, Henning; Stiebe, Ralf
Regulations by Valences.MFCS. 1997 S. 239 - 248
Meinel, C.; Slobodová, A.
Speeding up Variable Ordering of OBDDsProc. Of IEEE ICCD ´97. 1997 S. 338 - 343
Rödler, Richard
Strukturen betrieblichen Handelns : Systemansätze für die PraxisKöln: Wirtschaftsverl. Bachem 1997 201 S.
Günwoldth, L.; Meinel, C.
Telematik im Gesundheitswesen der Bundesrepublik - eine Studie des ITWM-Trier zur TelemedizinHandelsblatt. Bd. Handelsblatt. 1997
Becker, A.; Günwoldt, L.; Meinel, C.
Telemedizin - Neue Informations- und Kommunikationstechnologien im GesundheitswesenArzt und Krankenhaus. Bd. Arzt und Krankenhaus. 1997 S. 22 - 24
Hofmann, Jens
The BMAP/G/1 queue with level dependent arrivals and its stationary distributionTrier: Univ., Fachbereich Mathematik, Informatik 1997 33 S. (Forschungsbericht ; 97-22)
Goldsmith, J.; Littman, M.; Mundhenk, M.
The complexity of plan existence and evaluation in probabilistic domainsProc. 13th Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann Publishers 1997 S. 182 - 189
Mundhenk, M.; Goldsmith, J.; Allender, E.
The Complexity of Policy Evaluation for Finite-Horizon Partially- Observable Markov Decision ProcessesLecture notes in computer science. Bd. 1295. Berlin: Springer 1997 S. 129 - 138
Bern, Jochen; Damm, Carsten; Meinel, Christoph
The electronic colloquium on computational complexity (ECCC) : a digital library in useTrier: Fachbereich IV, Mathematik, Informatik, Univ. 1997 11 S. (Trierer Forschungsberichte ; 97-16)
Kessler, Christoph W.; Seidl, Helmut
The Fork95 Parallel Programming Language: Design, Implementation, ApplicationInternational journal of parallel programming. Bd. 25. H. 1. New York, N.Y.: Springer 1997
DiMartino, Beniamino; Keßler, Christoph W.
Two program comprehension tools for automatic parallelization : a comparative studyTrier: Univ., Fachbereich Mathematik, Informatik 1997 0 S. (Forschungsbericht ; 97-23)
Neumann, A.; Bozapalidis, S.
Unambiguity of SGML Content Models - Pushdown Automata Revisited 3rd Int. Conf. on the Developments in Language Theory (DLT'97), Juli 1997, Thessaloniki, GriechenlandBozapalidis, S. (Hrsg). Proceedings of the 3rd International Conference Developments in Language Theory. Aristotle University of Thessaloniki 1997 S. 507 - 518
Fernau, Henning
Unconditional Transfer in Regulated Rewriting.Acta Inf. Bd. 34. H. 11. 1997 S. 837 - 857
Krechel, D.; Holz, Harald; Bergmann, Ralph
Unterstützung des Konfigurationssystems IDAX durch fallbasiertes SchliessenBergmann, Ralph (Hrsg). Fifth German Workshop on Case-Based Reasoning - Foundations, Systems, and Applications. Universität Kaiserslautern: Zentrum für Lernende Systeme und Anwendungen 1997 S. 101 - 110
Bergmann, Ralph; Wilke, Wolfgang; Schumacher, Jürgen
Using Software Process Modeling for Building a Case-Based Reasoning Methodology: Basis Approach and Case Study.ICCBR. 1997 S. 509 - 518
Baentsch, Michael; Baum, L.; Molter, Georg et al.
World wide web caching: the application-level view of the internetIEEE communications magazine. a publication of the IEEE Communications Society. Bd. 35. H. 6. New York, NY: IEEE 1997 S. 170 - 179
Bordihn, Henning; Fernau, Henning
Accepting Grammars and Systems via Context Condition Grammars.Journal of Automata, Languages and Combinatorics. Bd. 1. H. 2. 1996 S. 97 - 112
Fernau, Henning; Holzer, Markus
Accepting Multi-Agent Systems II.Acta Cybern. Bd. 12. H. 4. 1996 S. 361 - 379
Fernau, Henning; Holzer, Markus; Bordihn, Henning
Accepting Multi-Agent Systems.Computers and Artificial Intelligence. Bd. 15. H. 2-3. 1996
Fernau, Henning; Lange, Klaus-Jörn; Reinhardt, Klaus
Advocating Ownership.FSTTCS. 1996 S. 286 - 297
Fecht, Christian; Seidl, Helmut
An even faster solver for general systems of equationsTrier: Fachbereich IV, Mathematik, Informatik, Univ. 1996 15 S. (Trierer Forschungsberichte ; 96-11)
Fernau, Henning; Freund, Rudolf
Bounded Parallelism in Array Grammars Used for Character Recognition.SSPR. 1996 S. 40 - 49
M. Veloso, Manuela; Muñoz-Avila, Hector; Bergmann, Ralph
Case-Based Planning: Selected Methods and Systems.AI Commun. Bd. 9. H. 3. 1996 S. 128 - 137
Fernau, Henning
Closure Properties of Ordered Languages.Bulletin of the EATCS. Bd. 58. 1996
Wilke, Wolfgang; Bergmann, Ralph
Considering Decision Cost During Learning of Feature Weights.EWCBR. 1996 S. 460 - 472
Bergmann, Ralph
Effizientes Problemlösen durch flexible Wiederverwendung von Fällen auf verschiedenen AbstraktionsebenenSankt Augustin: Infix 1996 0 S. (Dissertationen zur künstlichen Intelligenz ; 138)
Bergmann, Ralph; Muñoz-Avila, Hector; M. Veloso, Manuela
Fallbasiertes Planen: ausgewählte Methoden und Systeme.KI. Bd. 10. H. 1. 1996 S. 22 - 28
Wilke, Wolfgang; Bergmann, Ralph; Althoff, Klaus-Dieter
Fallbasiertes Schließen zur KreditwürdigkeitsprüfungKünstliche Intelligenz. KI ; Forschung, Entwicklung, Erfahrungen ; Organ des Fachbereichs 1 Künstliche Intelligenz der Gesellschaft für Informatik e.V., GI. Bd. 10. H. 4. Bremen: Böttcher IT-Verl. 1996 S. 26 - 33
Wilke, Wolfgang; Bergmann, Ralph; Althoff, Klaus-Dieter
Fallbasiertes Schließen zur Kreditwürdigkeitsprüfung.KI. Bd. 10. H. 4. 1996 S. 26 - 33
Seidl, H.
Fast and simple nested fixpointsInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 59. H. 6. Amsterdam [u.a.]: Elsevier 1996 S. 303 - 308
Seidl, H.
Integer Constraints to Stop DeforestationLecture notes in computer science. Bd. 1058. Berlin: Springer 1996 S. 326 - 340
Bergmann, R.; Wilke, .W.S.; Wilke, S
Integrating General Knowledge with Object-Oriented Case Representation and Reasoning4th German Workshop: Case-Based Reasoning - System Development and Evaluation 1996, Humboldt-University Berlin. 1996
Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Linear sifting of decision diagramsTrier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-42)
Fernau, Henning
Membership for k-Limited ET0L Languages Is Not Decidable.Journal of Automata, Languages and Combinatorics. Bd. 1. H. 4. 1996 S. 243 - 246
Fernau, Henning
On Grammar and Language Families.Fundam. Inform. Bd. 25. H. 1. 1996 S. 17 - 34
Bergmann, Ralph; Wilke, Wolfgang
On the Role of Abstraction in Case-Based Reasoning.EWCBR. 1996 S. 28 - 43
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