> Details

Technische Universität Kaiserslautern Fachbereich Informatik

Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Close

Bookmarks

Media type: Serial; Monograph Series
Title: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Contributor: Technische Universität Kaiserslautern Fachbereich Informatik
imprint: Kaiserslautern: Techn. Univ., Fachbereich Informatik, 1979-
Publication information: 1.1979 -
Language: German
ISSN: 0174-416X
Keywords: Monografische Reihe
Origination:
Footnote: Urh. anfangs: Fachbeeich Informatik, Universität Kaiserslautern

References

Show more

show less

> Publishers' series

Fischer, Thomas [Author]
337: Evaluation eines Verschmelzungsalgorithmus für Lösungen des Handlungsreisendenproblems Thomas Fischer
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2005

Zdarsky, Frank A. [Author]; Martinovic, Ivan [Author]; Schmitt, Jens B. [Author]
338: Lower bounds for contention in CSMA/CA-based wireless LANs Frank A. Zdarsky; Ivan Martinovic; Jens B. Schmitt
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2005

Webel, Christian [Author]; Fliege, Ingmar [Author]; Geraldy, Alexander [Author]
336: Ein maßgeschneidertes Kommunikationssystem für eine mobile Applikation mit Dienstgüteanforderungen C. Webel; I. Fliege; A. Geraldy
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Bobach, Tom [Author]; Umlauf, Georg [Author]
332: Post-processing polygonal voxel data from numerical simulation T. Bobach, G. Umlauf
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Kolter, Robert [Author]
330: Induction of linear temporal logic programs Robert Kolter
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Fischer, Thomas [Author]; Merz, Peter [Author]
331: Embedding a Chained Lin-Kernighan algorithm into a distributed algorithm Thomas Fischer; Peter Merz
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Gotzhein, Reinhard [Author]; Khendek, Ferhat [Author]
329: Compositional testing of communication systems R. Gotzhein; F. Khendek
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Kollig, Thomas [Author]; Keller, Alexander [Author]
328: On the efficiency of multiple importance sampling robust instant global illumination T. Kollig; A. Keller
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Webel, Christian [Author]; Fliege, Ingmar [Author]
335: SDL design patterns and components, Watchdog and Heartbeat C. Webel; I. Fliege
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004

Kolter, Robert [Author]
325: Implementation issues in inductive logic programming Robert Kolter
Kaiserslautern: Univ., Fachbereich Informatik, 2003

Grammes, Rüdiger [Author]; Gotzhein, Reinhard [Author]
327: Towards the harmonisation of UML and SDL syntactic and semantic alignment Rüdiger Grammes; Reinhard Gotzhein. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Techn. Univ., Fachbereich Informatik, [2003]

Glässer, Uwe [Author]; Gotzhein, Reinhard [Author]; Prinz, Andreas [Author]
326: An introduction to abstract state machines Uwe Glässer; Reinhard Gotzhein; Andreas Prinz
Kaiserslautern: Univ., Fachbereich Informatik, [2003]

Kollig, Thomas [Author] ; Keller, Alexander [Other]
323: Efficient illumination by high dynamic range images T. Kollig; A. Keller
Kaiserslautern: Univ., Fachbereich Informatik, 2002

Heinrich, Stefan [Author]
318: Quantum integration in Sobolev classes Stefan Heinrich
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Keller, Alexander [Author]
320: Monte Carlo & beyond course material A. Keller
Kaiserslautern: Univ., 2002

Kollig, Thomas [Author] ; Keller, Alexander [Other]
319: Efficient multidimensional sampling T. Kollig, A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Keller, Alexander [Author]
322: Stratification by Rank-1-Lattices A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Wald, Ingo [Other]
317: Interactive global illumination I. Wald
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002

Heinrich, Stefan [Author]
312: Quantum summation with an application to integration S. Heinrich
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Heinrich, Stefan [Author] ; Novak, Erich [Other]
313: Optimal summation and integration by deterministic, randomized, and quantum algorithms Stefan Heinrich; Erich Novak
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Morin, Géraldine [Author] ; Goldman, Ron [Other]
306: The analytic blossom Géraldine Morin; Ron Goldman
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Keller, Alexander [Author]
307: Random fields on rank-1 lattices A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Keller, Alexander [Author]; Heidrich, Wolfgang [Author]
308: Interleaved sampling A. Keller; W. Heidrich
Kaiserslautern: Univ., Fachbereich Informatik, 2001

Friedel, Ilja [Author] ; Keller, Alexander [Other]
309: Fast generation of randomized low discrepancy point sets I. Friedel; A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Loría-Sáenz, Carlos [Author]
311: A term-rewriting perspective of object oriented program specifications Carlos Loría-Sáenz
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Kollig, Thomas [Author] ; Keller, Alexander [Other]
310: Efficient bidirectional path tracing by randomized quasi-Monte Carlo integration T. Kollig, A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Zhang, Ge [Author]
321: Comparison and analysis of IP Billing technologies Ge Zhang
Kaiserslautern: Univ., 2001

Heinrich, Stefan [Author] ; Novak, Erich [Other]
315: On a problem in quantum summation Stefan Heinrich; Erich Novak
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Keller, Alexander [Author]
316: Trajectory splitting by restricted replication A. Keller
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Megen, Friedrich van [Author]
314: Mobile Agenten im Internet Infrastruktur und Interaktion Friedrich van Megen
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001

Bossong, Ulrike [Author] ; Hagen, H. [Other]; Schweigert, Dietmar [Other]
305: Surface fitting using multicriteria optimization techniques U. Bossong; H. Hagen; D. Schweigert
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 2000

Keller, Alexander [Author]; Wald, Ingo [Author]
302: Efficient importance sampling techniques for the photon map Alexander Keller; Ingo Wald
Kaiserslautern: Univ., 2000

Pauly, Mark [Author]; Kollig, Thomas [Author]; Keller, Alexander [Author]
303: Metropolis light transport for participating media M. Pauly; T. Kollig; A. Keller
Kaiserslautern: Univ., 2000

Müller, Paul [Other]
304: Using transport services instead of specific transport protocols Paul Müller
Kaiserslautern: Fachbereich Informatik, Univ., 2000

Heinrich, Stefan [Author]
299: Wavelet Monte Carlo methods for the global solution of integral equations Stefan Heinrich
Kaiserslautern: Fachbereich Informatik, Univ, 1999

Keller, Alexander [Author]
298: Hierarchical Monte Carlo image synthesis Alexander Keller
Kaiserslautern: Fachbereich Informatik, Univ., 1999

Heinrich, Stefan [Author]
300: The multilevel method of dependent tests Stefan Heinrich
Kaiserslautern: Fachbereich Informatik, Univ, 1999

Brockhage, Kerstin [Author] ; Differding, Christiane M. [Other]; Knethen, Antje von [Other]
301: Bessere Änderbarkeit durch Verfolgbarkeit Auswahl eines Ansatzes Kerstin Brockhage; Christiane Differding; Antje von Knethen
Kaiserslautern: Fachbereich Informatik, Univ., 1999

Readi-Nasser, Rodrigo [Author]
296: An intuitionistic approach to logic programming Rodrigo Readi-Nasser
Kaiserslautern: Fachbereich Informatik, Univ., 1998

Heinrich, Stefan [Author] ; Sindambiwe, Eugène [Other]
297: Monte Carlo complexity of parametric integration Stefan Heinrich; Eugène Sindambiwe
Kaiserslautern: Fachbereich Informatik, Univ., 1998

Disch, Andreas [Author]; Jacob, Philip [Author]; Münchhofen, Michael [Author]
295: A 3D-modeling- & visualization-toolkit for web-based applications Andreas Disch, Philip Jacob, Michael Münchhofen
Kaiserslautern: Fachbereich Informatik, Univ., 1998

Kirchberg, Paul [Author] ; Mayer, Otto [Other]
294: Integration temporallogischer Verarbeitungskonzepte in C++ Paul Kirchberg; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Thees, Joachim [Author]; Gotzhein, Reinhard [Author]
292: A formal syntax and a formal semantics for Open Estelle J. Thees; R. Gotzhein
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Readi-Nasser, Rodrigo [Author]
293: The reduction oriented calculus mj Rodrigo Readi-Nasser
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Readi-Nasser, Rodrigo [Author]
291: mj-reduction for proving in predicate logic extended abstract Rodrigo Readi-Nasser
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Isselhard, Frank [Author] ; Brunnett, Guido [Other]; Schreiber, Thomas [Other]
288: Polyhedral reconstruction of 3D objects by tetrahedra removal Frank Isselhard; Guido Brunnett; Thomas Schreiber. Hrsg.: AG CAD und Algorithmische Geometrie. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Heinrich, Stefan [Author]
289: Monte Carlo complexity of global solution of integral equations Stefan Heinrich
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Keller, Alexander [Author]
287: Instant radiosity Alexander Keller
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Thees, Joachim [Author]; Gotzhein, Reinhard [Author]
290: Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle eine Bestandsaufnahme J. Thees; R. Gotzhein
Kaiserslautern: Fachbereich Informatik, Univ., 1997

Differding, Christiane M. [Author] ; Hoisl, Barbara [Other]; Lott, Christopher Martin [Other]
281: Technology package for the Goal Question Metric paradigm Christiane Differding; Barbara Hoisl; Christopher M. Lott
Kaiserslautern: Fachber. Informatik, Univ., 1996

Rodrian, Hans-Christian [Author]; Schüller, Peter [Author]; Moock, Hardy [Author]
280: Partikelgestützte Triangulierung skelettbasierter impliziter Flächen Hans-Christian Rodrian; Peter Schüller; Hardy Moock
Kaiserslautern: Fachber. Informatik, Univ., 1996

Keller, Alexander [Author]
279: Quasi-Monte Carlo radiosity Alexander Keller
Kaiserslautern: Fachber. Informatik, Univ., 1996

Lott, Christopher Martin [Author]
283: Measurement-based feedback in a process-centered software engineering environment Christopher M. Lott
Kaiserslautern: Fachber. Informatik, Univ., 1996

Differding, Christiane M. [Author] ; Rombach, Dieter [Other]
282: Kontinuierliche Software-Qualitätsverbesserung in der industriellen Praxis Christiane Differding; Dieter Rombach
Kaiserslautern: Fachber. Informatik, Univ., 1996

Frank, Karin [Author] ; Heinrich, Stefan [Other]
284: Computing discrepancies of Smolyak quadrature rules Karin Frank; Stefan Heinrich
Kaiserslautern: Fachber. Informatik, Univ., 1996

Keller, Alexander [Author]
278: The fast calculation of form factors using low discrepancy sequences Alexander Keller
Kaiserslautern: Univ., 1996

Frank, Karin [Author] ; Heinrich, Stefan [Other]
286: Computing discrepancies related to spaces of smooth periodic functions Karin Frank; Stefan Heinrich. Hrsg.: AG Numerische Algorithmen. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1996

Heinrich, Stefan [Author]
285: Variance reduction by means of deterministic computation collision estimate Stefan Heinrich. Hrsg.: AG Numerische Algorithmen. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1996

Gotzhein, Reinhard [Other]
274: Improving the efficiency of automated protocol implementation using Estelle R. Gotzhein
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Bredereke, Jan [Author]
273: Automata-theoretic criteria for feature interactions in telecommunications systems Jan Bredereke
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Heinrich, Stefan [Author]
275: Variance reduction for Monte Carlo methods by means of deterministic numerical computation Stefan Heinrich
Kaiserslautern: Fachber. Informatik, Univ., 1995

Jacob, Philip [Author]
272: Evaluation of a BRDF using BSP trees Philip Jacob
Kaiserslautern: Fachber. Informatik, Univ., AG Computergraphics, 1995

Frank, Karin [Author]
276: An optical algorithm for the local solution of integral equations Karin Frank
Kaiserslautern: Fachber. Informatik, Univ., 1995

Verlage, Martin [Author]; Hientz, Horst [Author]
277: Ähnlichkeit von Prozeßmodellen Martin Verlage ; Horst Hientz
Kaiserslautern: Fachber. Informatik, Univ., 1995

Hahmann, Stefanie [Author]
269: Visualization of unstable surface regions Stefanie Hahmann
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Frank, Karin [Author]
271: Complexity of multivariate integral equations full solution in Sobolev spaces Karin Frank
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 1995

Bröckers, Alfred [Other]
270: A graphical representation schema for the software process modeling language MVP-L Hrsg.: AG Software Engineering. Alfred Bröckers
Kaiserslautern: Fachber. Informatik, Univ., 1995

Brunnett, Guido [Author] ; Schreiber, Thomas [Other]; Braun, Jörg [Other]
266: The geometry of optimal degree reduction of Bezier curves Guido Brunnett; Thomas Schreiber und Jörg Braun
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Heinrich, Stefan [Author]
267: Efficient algorithms for computing the L 2 discrepancy Stefan Heinrich
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 1995

Hahmann, Stefanie [Author] ; Hagen, Hans [Other]
268: Numerical aspects of stability investigations on surfaces Stefanie Hahmann und Hans Hagen
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Ast, A. [Other]
264: Data procedural languages for FPL based machines presented at FPL '94, 4th International Workshop on Field-Programmable Logic and Applications, Prague, Czech Republic, September 7 - 9, 1994 A. Ast
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Bröckers, Alfred [Other]
265: MVP-L language report version 2 Alfred Bröckers ... Hrsg. AG Software Engineering
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Frank, Karin [Author] ; Heinrich, Stefan [Other]; Pereverzev, Sergij Vʹjačeslavovyč [Other]; Pereverzev, Sergej V. [Other]
263: Information complexity of multivariate Fredholm equations and Sobolev classes Karin Frank; Stefan Heinrich; Sergei Pereverzev
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1995

Lasser, Dieter [Author]
238: Free form volumes definitions, applications, visualization techniques Dieter Lasser. Hrsg.: AG Graphische Datenverarbeitung und Computergeometrie
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Lasser, Dieter [Author]
239: Rational tensor product Bézier volumes Dieter Lasser
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Frank, Karin [Author] ; Heinrich, Stefan [Other]
241: Complexity of local solution of integral equations K. Frank; S. Heinrich
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Bredereke, Jan [Author] ; Gotzhein, Reinhard [Other]
245: A case study on specification, detection and resolution of IN feature interactions with Estelle Jan Bredereke; Reinhard Gotzhein. Fachbereich Informatik, Univ. Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Pereverzev, Sergij Vʹjačeslavovyč [Author] ; Pereverzev, Sergej V. [Other]
254: Optimization of projection methods for solving ill-posed problems Sergei V. Pereverzev
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994

Rombach, Hans Dieter [Other]; Rombach, Dieter [Other]
256: Qualitätsorientierte, prozeß-sensitive Softwareentwicklungsumgebungen im MVP-Projekt H. Dieter Rombach
Kaiserslautern: Fachbereich Informatik, Univ., AG Software Engineering, 1994

Lengen, Rolf H. van [Author] ; Meyer, Jörg [Other]
257: Efficient 3-D visualization of hybrid medical data sets Rolf H. van Lengen; Jörg Meyer
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1994

Brunnett, Guido [Author] ; Wendt, Jörg [Other]
262: A univariate method for plane elastic curves Guido Brunnett; Jörg Wendt
Kaiserslautern: Fachbereich Informatik, Univ., AG CAD und Algorithmische Geometrie, 1994

Eppler, Reinhard [Author]
252: Best-fit pattern matching Reinhard Eppler
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Knauber, Peter [Author] ; Vorwieger, Stefan [Other]; Eppler, Reinhard [Other]
255: Terminologie des Übersetzerbaus Peter Knauber; Stefan Vorwieger; Reinhard Eppler
Kaiserslautern: Fachbereich Informatik, Univ., AG Programmiersprachen und Compilerbau, 1994

Preece, Jenny [Author] ; Rombach, Hans Dieter [Other]; Rombach, Dieter [Other]
251: A taxonomy for combining software engineering (SE) & human-computer interaction (HCI) measurement approaches towards a common framework Jenny Preece; H. Dieter Rombach
Kaiserslautern: Fachbereich Informatik, Univ., AG Software Engineering, 1994

Eppler, Reinhard [Other]
253: The Refus programming language Reinhard Eppler
Kaiserslautern: Fachbereich Inforamtik, Univ., 1994

Malik, Robi [Author] ; Mayer, Otto [Other]
259: Spezifikation reaktiver Systeme durch temporal stratifizierte Programme Robi Malik; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Keller, Alexander [Author]
260: A Quasi-Monte Carlo algorithm for the global illumination problem in the radiosity setting Alexander Keller
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994

Malik, Robi [Author] ; Mayer, Otto [Other]
261: Eine Fixpunkt-Semantik für temporal stratifizierte Programme Robi Malik; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Heinrich, Stefan [Author]; Keller, Alexander [Author]
243: Quasi-Monte Carlo methods in computer graphics 2 The radiance equation Stefan Heinrich; Alexander Keller
Kaiserslautern, 1994

Heinrich, Stefan [Author]; Keller, Alexander [Author]
242: Quasi-Monte Carlo methods in computer graphics 1 The QMC-buffer Stefan Heinrich; Alexander Keller
Kaiserslautern, 1994

Frank, Karin [Author]
248: Complexity of local solution of multivariate integral equations Karin Frank
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994

Deiß, Thomas [Author]
250: An outsiders evaluation of PAISLey Thomas Deiß
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Gotzhein, Reinhard [Author]
247: Towards a basic reference model of open distributed processing Reinhard Gotzhein
Kaiserslautern: Univ., AG Numerische Algorithmen, 1994

Brill, Manfred [Other]
244: Streamball techniques for flow visualization Manfred Brill ... Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Hartenstein, Reiner W. [Author]
246: Hardware, software codesign presented at FPL '93, 3rd International Workshop on Field-Programmable Logic and Applications, Oxford University, UK, September 7 - 10, 1993 Reiner W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1994

Weller, Frank [Author]
249: B-spline surfaces with knot segments Frank Weller
Kaiserslautern: Fachbereich Informatik, Univ., AG Graphische Datenverarbeitung und Computergeometrie, 1994

Lengen, Rolf H. van [Author]; Matzat, Mathias [Author]
258: Schattenberechnung für die Visualisierung hybrider Datensätze Rolf H. van Lengen; Mathias Matzat
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1994

Jacob, Philip [Author]
234: Shadow mapping a method of evaluating and storing diffuse radiosities in static environments Philip Jacob
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Schreiber, Thomas [Author]
233: Surface analysis using arithmetic operations on Bézier surfaces Thomas Schreiber
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Lasser, Dieter [Author] ; Bonneau, Georges-Pierre [Other]
235: Bézier representation of trim curves Dieter Lasser; Georges-Pierre Bonneau
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Wippermann, Hans-Wilm [Other]
237: W-LISP-Sprachbeschreibung H.-W. Wippermann
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Schreiber, Thomas [Author] ; Braun, Jörg [Other]
236: Optimale Gradreduktion von Kurven und Flächen in Bézierdarstellung Thomas Schreiber und Jörg Braun. AG Graphische Datenverarbeitung und Computergeometrie
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Jacob, Philip [Author]
230: Analytische Formfaktorberechnung mittels SVBSP-Bäumen P. Jacob
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Rombach, Hans Dieter [Author] ; Verlage, Martin [Other]; Rombach, Dieter [Other]
231: How to assess a software process modeling formalism from a project member's point of view H. Dieter Rombach; Martin Verlage
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Wendel, Oliver [Editor]
240: Theorie und Praxis neuronaler Netze Seminar SS 93 Oliver Wendel ... (Hrsg.)
Kaiserslautern: Univ., Fachbereich Informatik, 1993

Hartenstein, Reiner W. [Author]
232: The history of KARL and ABL invited paper NATO Advanced Study Institute on Fundamentals and Standards in Hardware Description Languages (HDL) April 15th - 27th, 1993, II Ciocco, Italy Reiner W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1993

Spies, Klaus [Author] ; Mayer, Otto [Other]
219: EITeL ein intervallbasierter temporallogischer Ansatz Klaus Spies und Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Denzer, Ralf [Author]
221: Möglichkeiten eines Immissionsdatenverbundes in Österreich Ralf Denzer
Kaiserslautern: Fachbereich Informatik, Univ., AG Graphische Datenverarbeitung und Computergeometrie, 1992

Farin, Gerald E. [Author] ; Hagen, Hans [Other]; Hansford, Dianne [Other]
223: Gauss frame offsets G. Farin; H. Hagen; D. Hansford. Hrsg.: AG Graphische Datenverarbeitung und Computergeometrie. [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Denzer, Ralf [Author]
222: An object oriented architecture for user interface management in distributed applications Ralf Denzer
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Schreiber, Thomas [Author]
224: Arithmetische Operationen auf Bezierflächen Thomas Schreiber
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Knauber, Peter [Author] ; Verlage, Martin [Other]; Schramm, Wolfgang [Other]
220: Der ProLan-X-Sprachreport eine objekt-orientierte Sprache für die Modellierung von Software-Prozessen P. Knauber; M. Verlage; W. Schramm
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Denzer, Ralf [Author]
218: Architektur offener Umweltinformationssysteme Ralf Denzer
Kaiserslautern: Univ., FB Informatik, 1992

Keller, Alexander [Author]
225: The fundamental model of virtual reality for purposes of simulation Alexander Keller. Hrsg.: AG Graphische Datenverarbeitung und Computergeometrie
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1992

Malik, Robi [Author] ; Mayer, Otto [Other]
226: Entwurf von Algorithmen für parallele Verarbeitung in Nested Interpolation Based Grid Files mit zweischichtigen Directories Robi Mali; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Hagen, Hans [Author]; Santarelli, Paolo [Author]
227: Variational design of smooth Bezier- and B-spline-curves H. Hagen; P. Santarelli
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Heinrich, Stefan [Author]
228: Random approximation in numerical analysis S. Heinrich
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Bröckers, Alfred [Other]
229: MVP-L languages report Alfred Bröckers ... Hrsg.: AG Software Engineering; [Fachbereich Informatik, Universität Kaiserslautern]
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Rahm, Erhard [Author]
216: Performance evaluation of extended storage architectures for transaction processing Erhard Rahm
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Gerten, Rainer [Author]; Kirschall, Gregor [Author]
208: Quelltextgenerierung für Software-Entwurfsgraphen Rainer Gerten; Gregor Kirschall
Kaiserslautern: Univ., Fachbereich Informatik, 1991

Schreiber, Thomas [Author]
207: A Voronoi diagram based adaptive k-means-type clustering algorithm for multidimensional weighted data Thomas Schreiber
Kaiserslautern: Univ., Fachbereich Informatik, 1991

Mehl, Horst [Author]
217: Breaking ties deterministically in distributed simulation schemes Horst Mehl. Arbeitsgruppe Systemsoftware. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Hartenstein, Reiner W. [Other]
212: A novel ASIC design approach bades on o new machine paradigm R. W. Hartenstein ... Hrsg.: AG Rechnerstrukturen
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Wippermann, Hans-Wilm [Author] ; Wippermann, W. [Other]
210: W-LISP - Definition und Implementierung W. Wippermann
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Blödel, Joachim [Other]
211: Device descriptions EDIF version 2 0 5; proposal no. DM&V-3, version 1.0 by J. Blödel ... Hrsg.: AG Rechnerstrukturen
Kaiserslautern, 1991

Lasser, Dieter [Author]
213: Composition of tensor product Bézier representations Dieter Lasser
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Gerten, Rainer [Author]; Powarzynski, Marcus [Author]
214: Vergleichsverfahren für Systementwurfsgraphen Konzepte, Algorithmen, Implementation Rainer Gerten; Marcus Powarzynski
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Schwarz, Reinhard [Author] ; Mattern, Friedemann [Other]
215: Detecting causal relationships in distributed computations in search of the holy grail Reinhard Schwarz; Friedemann Mattern. AG Systemsoftware, Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1991

Hartenstein, Reiner W. [Other]
198: A novel paradigm of parallel computation and its use to implement simple high performance hardware presented at. International Conference on Information Technology commemorating the 30th anniversary of The Information Processing Society of Japan (IPSJ), October 1 - 5, 1990 in Tokyo, Japan R. W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Mattern, Friedemann [Author]
200: Distributed termination detection with sticky state indicators Friedemann Mattern
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Ouksel, M. A. [Author]; Mayer, Otto [Author]
204: The nested interpolation based grid file M. Aris Ouksel; Otto Mayer
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Lasser, Dieter [Author]; Kirchgeßner, Peter [Author]
205: Definition of solid primitives by rational Bezier volumes Dieter Lasser; Peter Kirchgeßner
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Madlener, Klaus [Author] ; Otto, Friedrich [Other]
202: Decidable sentences for context-free groups K. Madlener; F. Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Sattler-Klein, Andrea [Author]
203: Divergence phenomena during completion Andrea Sattler-Klein
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Lasser, Dieter [Author] ; Hagen, Hans [Other]
201: Interval weighted tau-splines Dieter Lasser; Hans Hagen
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Hanke, Christof [Author] ; Schob, Klaus [Other]; Todtenhöfer, Rainer [Other]
199: Heuristiken zum objektorientierten Programmentwurf C. Hanke; K. Schob; R. Todtenhöfer
Kaiserslautern: Fachbereich Informatik, Univ., 1990

Kuhn, Norbert [Author] ; Madlener, Klaus [Other]; Otto, Friedrich [Other]
197: A test for [lambda]-confluence for certain prefix rewriting systems with applications to the generalized word problem N. Kuhn; K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1990

Richter, Jörg [Author]
206: Ein mathematisches Modell für ereignisgesteuerte Simulation Jörg Richter
Kaiserslautern: Univ., Fachbereich Informatik, 1990

Lasser, Dieter [Author]; Purucker, Arnim [Author]
196: B-Spline-Bézier representation of rational geometric spline curves quartics and quintics Dieter Lasser; Arnim Purucker
Kaiserslautern: Fachbereich Informatik, Univ., 1990

He, Xing [Author]
190: Eine Übersicht über die Lastverteilung in verteilten Systemen von Xing He
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Gerten, Rainer [Author]; Jacob, Uwe [Author]
191: Ein Report-Generator für eine Softwareentwicklungsumgebung Rainer Gerten; Uwe Jacob
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Dietrich, Eckhard [Author]; Gerten, Rainer [Author]
192: Kommunikationskomponente für eine dezentrale Software-Entwicklungsumgebung Eckhard Dietrich; Rainer Gerten
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Otto, Friedrich [Author]
186: Restrictions of congruences generated by finite canonical string-rewriting systems Friedrich Otto
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1989

Lasser, Dieter [Author]
194: Kurven- und Flächen-Verschneidungsmethoden Lasser
Kaiserslautern: Univ., FB Informatik, 1989

Otto, Friedrich [Author]; Zhang, Louxin [Author]
193: Decision problems in special monoids Otto; Zhang
Kaiserslautern: Univ., FB Informatik, 1989

Hoch, Rainer [Author]; Todtenhöfer, Rainer [Author]
187: Konzeption und Implementierung einer Entwicklungsumgebung für objektorientierte Programmiersprachen Rainer Hoch; Rainer Todtenhöfer. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachber., Univ., 1989

Wilke, Volker [Author]
188: Simulation von Kommunikationsprotokollen von Volker Wilke. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachber., Univ., 1989

Kuhn, Norbert [Author] ; Madlener, K. [Other]
189: Application of rewriting techniques to solve the generalized word problem in groups N. Kuhn; K. Madlener
Kaiserslautern: Univ., Fachbereich Informatik, 1989

Hartenstein, Reiner W. [Author] ; Hirschbiel, A. [Other]; Weber, Michael [Other]
195: Xputers an open family of non-von Neumann architectures R. W. Hartenstein; A. Hirschbiel; M. Weber. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1989

Bomarius, Frank [Author]; Vettermann, Matthias [Author]
177: Mmf, ein makefile-Generator Frank Bomarius; Matthias Vettermann. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Blödel, Joachim [Other]
179: EDIF notation for layout/circuit relations von Joachim Blödel
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Blödel, Joachim [Other]
180: Automatische Extraktion von Register-Transfer Beschreibungen aus dem Layout integrierter Schaltungen von Joachim Blödel
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Alfs, Gerold [Author] ; Alfs, Gerold
183: Design and implementation of a heuristic search algorithm for the KARATE System by Gerold Alfs
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Sattler-Klein, Andrea [Author]
185: The SMOV-strategy a strategy that can be used to complete a string rewriting system by the Knuth-Bendix algorithm Andrea Sattler-Klein
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Hartenstein, Reiner W. [Author]; Hirschbiel, Alexander G. [Author]; Weber, Michael [Author]
181: MOM-MAP oriented machine an innovative computing architecture R. W. Hartenstein; A. Hirschbiel; M. Weber
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Rahm, Erhard [Author]
182: Design and evaluation of concurrency and coherency control techniques for database sharing systems Erhard Rahm. AG Datenverwaltungssysteme, Fachbereich Mathematik, Universität Kaiserslautern; Department of Computer Science, University Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1988

Otto, Friedrich [Author] ; Wrathall, Celia [Other]
184: Characterizations of overlaps in free partially commutative monoids Friedrich Otto; Celia Wrathall
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Rahm, Erhard [Author]
166: Optimistische Synchronisationsverfahren in Datenbanksystemen ein Überblick Erhard Rahm. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Bomarius, Frank [Author]; Kaltz, Olaf [Author]
167: Konzeption und Implementierung eines Window-Handlers für CADMUS PCS Frank Bomarius; Olaf Kaltz
Kaiserslautern: Fachber., Univ., 1987

Hartenstein, Reiner [Other]
172: KARL-related literature ABAKUS AG Rechnerstrukturen u. Techn. Informatik
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Mattern, Friedemann [Author]
170: Zur Problematik der Fehlerbehandlung in Compilern ein Diskussionsbeitrag Friedemann Mattern. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Agne, Ralf [Author]; Mattern, Friedemann [Author]
174: Korrekturlose Fehlerbehandlung von Programmiersprachen zur Performanz automat. generierbarer Syntaxchecker auf d. Basis von Token-Nachbarschaftsrelationen Ralf Agne; Friedemann Mattern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Rahm, Erhard [Author]
165: Performance analysis of primary copy synchronization in database sharing systems Erhard Rahm
Kaiserslautern: Fachb. Informatik, Univ., 1987

Bomarius, Frank [Author]; KLaus, Hans-Jürgen [Author]
169: Ein Editor für Unparsing Schemes F. Bomarius; H.-J. Klaus
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Narendran, Paliath [Author] ; Otto, Friedrich [Other]
173: It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free Paliath Narendran; Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Jerkov, Georgi [Author]; Knieriemen, Thomas [Author]
171: Autonome mobile Roboter Einführung und Überblick Georgi Jerkov; Thomas Knieriemen. Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Gerten, Rainer [Author] ; Gerten, Reiner [Other]
175: HL-View Programmierumgebung für e. Benutzerschnittstelle
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Bomarius, Frank [Author]; Hoch, Rainer [Author]
168: Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums Frank Bomarius; Rainer Hoch
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Schäfer, Ralf [Author]; Bomarius, Frank [Author]
178: Modula-2C e. Übersetzer von MODULA-2 nach C Ralf Schaefer; Frank Bomarius
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Boley, Harold [Author]
153: RELFUN: a relational, functional integration with valued clauses Harold Boley
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Bräunl, Thomas [Author]; Hinkel, Ralf [Author]; Puttkamer, Ewald von [Author]
158: Konzepte der Programmiersprache Modula-P Thomas Bräunl; Ralf Hinkel; Ewald von Puttkamer
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Härder, Theo [Author]; Petry, Erwin [Author]
156: Evaluation of a multiple version scheme for concurrency control Theo Härder; Erwin Petry
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Otto, Friedrich [Author]
161: The undecidability of self-embedding for finite semi-Thue and Thue systems Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Rahm, Erhard [Author]
154: Buffer invalidation problem in DB-sharing systems Erhard Rahm
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Mattos, Nelson Mendonça [Author]
162: Konzepte zur Integration von Expertensystemen und Datenbanksystemen Nelson Mattos
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Mattos, Nelson Mendonça [Author]
164: Modellierung von FRAME-Konzepten mit dem MAD-Modell Nelson Mattos Fachbereich Informatik, Universität Kaiserslautern
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Nehmer, Jürgen [Other]
157: DISTOS eine Konstruktionsmethodik für verteilte Betriebssysteme ; (Projektabschlußbericht) J. Nehmer
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Otto, Friedrich [Author]
159: On deciding the confluence of a finite string-rewriting system on a given congruence class Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Madlener, Klaus [Author]; Otto, Friedrich [Author]
160: Using string-rewrting for solving the word problem for finitely presented groups Klaus Madlener; Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1986

Madlener, Klaus [Author] ; Otto, Friedrich [Other]
163: Commutativity in groups presented by finite Church-Rosser Thue systems Klaus Madlener; Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1986

Herold, Alexander [Editor]; Künkler, A. [Other]
155: Rüstung, Forschung, Informatik Seminarvorträge WS 1984/85 Hrsg.: A. Herold; A. Künkler
Kaiserslautern: Fachbereich Informatik, Univ., [1986]

Rahm, Erhard [Author]
137: Primary copy synchronization for DB-sharing Erhard Rahm
Kaiserslautern: Fachber., Univ., 1985

Alfs, Gerold [Author] ; Hartenstein, Reiner W. [Other]; Wodtko, Andrea [Other]; Hartenstein, R.W [Other]
148: C-testable cells for ATPG from RT descriptions by G. Alfs; R. W. Hartenstein; A. Wodtko
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Härder, Theo [Author]; Rahm, Erhard [Author]
152: Klassifikation von Mehrrechner-Datenbanksystemen Anforderungen, Entwurfsprinzipien, Realisierungskonzepte T. Härder; E. Rahm
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Puttkamer, Ewald von [Author]; Knieriemen, Thomas [Author]; Hartert, Daniel [Author]
151: IGSIC, interaktiver graphischer Silicon-Compiler Kurzbeschreibung E. von Puttkamer; Thomas Knieriemen; Daniel Hartert
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Wippermann, Hans-Wilm [Author]
150: PASCAL 8X - ein Konzept zur Weiterentwicklung anweisungsorientierter Programmiersprachen H.-W. Wippermann
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Girardi, Guglielmo [Author]; Hartenstein, Reiner W. [Author]; Welters, Udo [Author]
132: ABLED, a RT level schematics editor and simulator interface accepted for presentation at the EUROMICRO symposium, Brussels, Belgium, Sept. 1985 Guglielmo Girardi; Reiner W. Hartenstein; Udo Welters
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Bastian, Klaus P. [Author]; Hartenstein, Reiner W. [Author]; Nebel, Wolfgang [Author]
124: VLSI-Algorithmen innovative Schaltungstechnik statt Software; Vortrag zur VDI-Tagung Mikroelektronik in der Automatisierungstechnik, Baden-Baden, April 1985 K. P. Bastian; R. W. Hartenstein; W. Nebel
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Lichter, Horst [Author]
128: Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische und algorithmische Spezifikationen Horst Lichter
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Reuter, Andreas [Author]
129: Load control and load balancing in a shared database management system Andreas Reuter
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Hartenstein, Reiner W. [Author]; Wodtko, Andrea [Author]
131: Automatic generation of functional test patterns from RT language source Reiner W. Hartenstein; Andrea Wodtko
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Ohlbach, Hans Jürgen [Author]
142: Theory unification in abstract clause graphs Hans Jürgen Ohlbach
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Freitag, Hartmut [Author]; Klug, Jürgen [Author]; Reinfrank, Michael [Author]
141: KL-DNMS ein System zur Verwaltung nicht-monotoner Abhaengigkeitsnetze Hartmut Freitag; Juergen Klug; Michael Reinfrank
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Härder, Theo [Author] ; Meyer-Wegener, Klaus [Other]
144: Transaktionssysteme, TP-Monitore, DB/DC-Systeme eine Systematik ihrer Aufgabenstellung und Implementierung Theo Härder; Klaus Meyer-Wegener
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Avenhaus, Jürgen [Editor]; Madlener, K. [Editor]
146: Combinatorial algorithms in algebraic structures Hrsg.: J. Avenhaus
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Otto, Friedrich [Author]
138: On two problems related to cancellativity F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Hartenstein, Reiner W. [Author]; Lemmert, Karin [Author]
149: The hardware description language Karl-III its integration into a CAD tool box for VLSI authors: Reiner W. Hartenstein; Karin Lemmert
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Eckl, Gudrun [Author]
122: Ein Precompiler fuer ModPascal Gudrun Eckl
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Hartenstein, Reiner W. [Author]
125: Kaiserslautern's CAD activities within the CVT project Reiner W. Hartenstein
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Bastian, K. P. [Author] ; Hartenstein, Reiner W. [Other]; Nebel, W. [Other]
133: Innovative Schaltungstechnik statt Software SHUFFLE SORT ; VLSI-Beispiel eines Sortierers K. P. Bastian; R. W. Hartenstein; W. Nebel
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Reinfrank, Michael [Author]
136: An introduction to non-monotonic reasoning Michael Reinfrank
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Hinkel, Ralf [Author]
134: Entwicklung eines Mikrorechners zur Steuerung eines autarken Labyrinthroboters Ralf Hinkel
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Otto, Friedrich [Author]
135: On deciding whether a monoid is a free monoid or is a group Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, [1985]

Zimmermann, Gerhard [Author]; Ramnarayan, Raja [Author]
126: PESA, a parallel expert systems architecture Gerhard Zimmermann; Raja Ramnarayan
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Schwinn, Bernd [Author]
140: Ein Und-paralleles Ausführungsmodell für logische Programme Bernd Schwinn
Kaiserslautern: Fachber., Univ., 1985

Härder, Theo [Author]; Rahm, Erhard [Author]
127: Quantitative Analyse eines Synchronisationsalgorithmus für DB-Sharing T. Härder; E. Rahm
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Rahm, Erhard [Author]
139: A reliable and efficient synchronization protocol for DB-sharing Erhard Rahm
Kaiserslautern: Fachber., Univ., 1985

Dilger, Werner [Author]; Schneider, Hans-Albert [Author]
145: A theorem proving associative processor Werner Dilger; Hans-Albert Schneider
Kaiserslautern: Fachbereich Informatik, Univ., [1985]

Mattern, Friedemann [Author] ; Beilken, Christian [Other]
123: The distributed programming language CSSA a very short introduction F. Mattern; C. Beilken
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Meyer-Wegener, Klaus [Author]
121: Functional and implementational aspects of transaction-processing monitors research report Klaus Meyer-Wegener
Kaiserslautern: Fachbereich Informatik, Univ., 1985

Beierle, Christoph [Author]; Voß, Angelika [Author]
147: Implementation specifications Ch. Beierle; A. Voss
Kaiserslautern: Univ., Fachbereich Informatik, 1985

Avenhaus, Jürgen [Author]
120: On the termination of the Knuth-Bendix completion algorithm J. Avenhaus
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Küspert, Klaus [Author]
117: Principles of error detection in storage structures of database systems Klaus Küspert
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Mattern, Friedemann [Author]
118: An annotated bibliography on error handling in compilers Friedemann Mattern
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Küspert, Klaus [Author]
109: Überlegungen zur schnellen 'online' Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen Klaus Küspert
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Olthoff, Walter [Author]
119: ModPascal report Walter Olthoff
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Avenhaus, Jürgen [Author]
116: On congruences and normal forms definable by term rewriting systems J. Avenhaus
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Härder, Theo [Author]; Meyer-Wegener, Klaus [Author]
114: Vergleich der Datenbank-Programmierung bei navigierenden Anwendungen am Beispiel von SESAM und UDS Theo Härder; Klaus Meyer-Wegener
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Otto, Friedrich [Author]
98: Some undecidability results for non-monadic Church-Rosser Thue systems Friedrich Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Reinfrank, Michael [Author]
112: Distributed constraint propagation a case study Michael Reinfrank
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Raulefs, Peter [Author]
115: Foundation of expert systems for conceptional design in mechanical engineering Peter Raulefs
Kaiserslautern: Univ., 1984

Madlener, Klaus [Author]; Otto, Friedrich [Author]
113: Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems Klaus Madlener; Friedrich Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1984

Schrapel, Rainer [Author]
99: Kommunikation in verteilten Betriebssystemen Rainer Schrapel
Kaiserslautern: Univ., Fachbereich Informatik, 1984

Beilken, Christian [Author]; Mattern, Friedemann [Author]; Spenke, Michael [Author]
67: Entwurf und Implementierung von CSSA Programm-Dokumentation 2 Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Reuter, Andreas [Author]
68: An analytic model of transaction interference in database systems draft report Andreas Reuter
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Mayer, Otto [Author]; Schmücker, Astrid [Author]
74: Praktikum Übersetzererzeugende Systeme Mayer; Schmücker
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Beierle, Christoph [Author] ; Voß, Angelika [Other]
77: Canonical term functors and parameterization-by-use for the specification of abstract data types Ch. Beierle; A. Voß
Kaiserslautern: Fachbereich Informatik, Univ., 1983

Voss, Hans [Author]
76: Programming in a distributed environment a collection of CSSA examples
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Beilken, Christian [Author]; Mattern, Friedemann [Author]; Spenke, Michael [Author]
67: Entwurf und Implementierung von CSSA A Konzepte Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Author]; Mattern, Friedemann [Author]; Spenke, Michael [Author]
67: Entwurf und Implementierung von CSSA B CSSA-Sprachbeschreibung Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Author]; Mattern, Friedemann [Author]; Spenke, Michael [Author]
67: Entwurf und Implementierung von CSSA C CSSA-Systembenutzung Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Author]; Mattern, Friedemann [Author]; Spenke, Michael [Author]
67: Entwurf und Implementierung von CSSA D CSSA-Programmbeispiele Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Beilken, Christian [Author]; Mattern, Friedemann [Author]; Spenke, Michael [Author]
67: Entwurf und Implementierung von CSSA Programm-Dokumentation 1 Christian Beilken; Friedemann Mattern; Michael Spenke
Kaiserslautern: Univ. Kaiserslautern, 1983

Göbel, Richard [Author]
93: A completion procedure for globally finite term rewriting systems Richard Göbel
Kaiserslautern: Univ., Fachbereich Informatik, 1983

Effelsberg, Wolfgang [Author]; Härder, Theo [Author]
51: Principles of database buffer management Wolfgang Effelsberg; Theo Härder
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Schmauch, Cosima [Author]
60: Invarianz der LR(k)-Eigenschaft beim Einfügen von epsilon-Nichtterminalen
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Küspert, Klaus [Author]
52: Modelle für die Leistungsanalyse von Hashtabellen mit 'Separate Chaining'
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Hartenstein, Reiner W. [Author]; Weber, Bernd [Author]
55: KARL-II eine Sprache zur Spezifikation beim Entwurf kundenspezifischer Digitalbausteine Reiner Hartenstein; Bernd Weber
Kaiserslautern: Fachbereich Informatik, Univ., 1982

Schmauch, Cosima [Author]
61: Another error recovery algorithm for LR parsers Cosima Schmauch
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Madlener, Klaus [Author]; Otto, Friedrich [Author]
48: Finitely generated derivation, bounded presentations of groups K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Otto, Friedrich [Author]
58: Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten F. Otto
Kaiserslautern: Fachbereich Informatik, Univ., 1982

Madlener, Klaus [Author]; Otto, Friedrich [Author]
57: Encoding complexities in decision problems of finitely presented combinatorial systems K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Schmauch, Cosima [Author]
64: Attribute evaluation after recovery from syntax error
Kaiserslautern: Univ., Fachbereich Informatik, 1982

Küspert, Klaus [Author]
44: Storage utilization in B star-trees with a generalized overflow technique
Kaiserslautern: Univ., Fachbereich Informatik, 1981

Liell, Peter [Author]; Schaaf, Ernst [Author]
43: Die Hardwarebeschreibungssprache KARL II Sprachbeschreibung P. Liell; E. Schaaf
Kaiserslautern: Univ., Fachbereich Informatik, 1981

Madlener, Klaus [Author]; Otto, Friedrich [Author]
34: Derivation-bounded Groups K. Madlener; F. Otto
Kaiserslautern: Univ., Fachbereich Informatik, 1981

Nehmer, Jürgen [Author]
18: The implementation of concurrency for a PL/I-like language J. Nehmer
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Hartenstein, Reiner W. [Author]
28: VLSI-Bausteine in geringen Stückzahlen für Spezialanwendungen
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Konrad, Werner [Author]
33: Fault-tolerance aspects of distributed computer systems
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Nehmer, Jürgen [Author]
17: Implementierungstechniken für Monitore Jürgen Nehmer
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Avenhaus, J. [Author]; Madlener, K. [Author]
30: Polynomial time algorithms for the Nielsen reduction and related problems in free groups J. Avenhaus; K. Madlener
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Dieckmann, Joachim [Other]
27: Die Realisierung des ESRA-Rechnernetz-Baukasten-Systems ein Ansatz zu einer Methodologie für zuverlaessige Software J. Dieckmann
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Dieckmann, Joachim [Author]; Hartenstein, Reiner W. [Author]
26: A local micro network to support software modularity by J. Dieckmann, R. W. Hartenstein
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Avenhaus, Jürgen [Author]; Madlener, Klaus [Author]
32: P-complete problems in free groups J. Avenhaus; K. Madlener
Kaiserslautern: Univ., Fachbereich Informatik, 1980

Madlener, Klaus [Author]; Otto, Friedrich [Author]
29: Eine En-Frattini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe K. Madlener; F. Otto
Kaiserslautern: Univ., 1980

Schlichtiger, Peter [Author]
22: On how to construct efficiently parsable grammars Peter Schlichtiger
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Avenhaus, J. [Author]; Madlener, K. [Author]
31: Polynomial algorithms for problems in free groups based on Nielsen type arguments J. Avenhaus; K. Madlener
Kaiserslautern: Fachbereich Informatik, Univ., 1980

Avenhaus, J. [Author] ; Madlener, K. [Other]
16: An algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation J. Avenhaus; K. Madlener
Kaiserslautern: Fachbereich Informatik, Univ., 1979

Schlichtiger, Peter [Author]
20: Partitioned chain grammars Peter Schlichtiger
Kaiserslautern: Fachbereich Informatik, Univ., 1979

Dausmann, Manfred [Author]
6: MODULA 7/32 a version of MODULA for the INTERDATA 7/32
Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1979

Hartenstein, Reiner W. [Author]; Puttkamer, Ewald von [Author]
15: KARL a hardware description language as part of a CAD tool for VLSI by R. W. Hartenstein; E. von Puttkamer
Kaiserslautern: Univ., Fachbereich Informatik, 1979

Konrad, Werner [Author]
14: Communication and testing in a loosely coupled multi microcomputer system paper accepted for the ACM-workshop on microcomputing, Munich, F.R.G. Oct. 24/25, 1979
Kaiserslautern: Univ., 1979

Schlichtiger, Peter [Author]
21: On the parsing of partitioned chain grammars Peter Schlichtiger
Kaiserslautern: Fachbereich Informatik, Univ., 1979