> Details

Technische Universität Kaiserslautern, Fachbereich Informatik [Author]

Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Export RIS Export BibTeX Export EndNote

Merkliste Schließen

Merkliste

Media type: Serial; Monograph Series
Title: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik
Contributor:

Corporation: Technische Universität Kaiserslautern, Fachbereich Informatik [Author]

Published: 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

Access

This is the bibliographic reference for a superordinate order. SLUB holdings see "Multivolume Work" or "Publishers' Series"

> Publishers' series

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Isselhard, Frank [Author] ; Brunnett, Guido [Other]; Schreiber, Thomas [Other]
288. Polyhedral reconstruction of 3D objects by tetrahedra removal (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997

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

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

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

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

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

Heinrich, Stefan [Author]
285. Variance reduction by means of deterministic computation: collision estimate (1996)
Kaiserslautern: Fachbereich Informatik, Univ., 1996

Frank, Karin [Author] ; Heinrich, Stefan [Other]
286. Computing discrepancies related to spaces of smooth periodic functions (1996)
Kaiserslautern: Fachbereich Informatik, Univ., 1996

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

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

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

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

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

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

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

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

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

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

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

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

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

Hahmann, Stefanie [Author] ; Hagen, Hans [Other]
268. Numerical aspects of stability investigations on surfaces (1995)
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 (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Bröckers, Alfred [Other]
265. MVP-L language report version 2 (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995

Frank, Karin [Author]
271. Complexity of multivariate integral equations: full solution in Sobolev spaces (1995)
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 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 (1995)
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1995

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Frank, Karin [Author] ; Heinrich, Stefan [Other]
241. Complexity of local solution of integral equations (1994)
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 (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994

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

Brill, Manfred [Other]
244. Streamball techniques for flow visualization (1994)
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 (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994

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

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

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

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

Lasser, Dieter [Author]
238. Free form volumes: definitions, applications, visualization techniques (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994

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

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

Jacob, Philip [Author]
230. Analytische Formfaktorberechnung mittels SVBSP-Bäumen (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 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 (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993

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

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

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

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

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

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

Bröckers, Alfred [Other]
229. MVP-L languages report (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Spies, Klaus [Author] ; Mayer, Otto [Other]
219. EITeL: ein intervallbasierter temporallogischer Ansatz (1992)
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 (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992

Farin, Gerald E. [Author] ; Hagen, Hans [Other]; Hansford, Dianne [Other]
223. Gauss frame offsets (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992

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

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

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

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

Keller, Alexander [Author]
225. The fundamental model of virtual reality for purposes of simulation (1992)
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1992

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

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

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

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

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

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

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

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

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

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

Mehl, Horst [Author]
217. Breaking ties deterministically in distributed simulation schemes (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991

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

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

Richter, Jörg [Author]
206. Ein mathematisches Modell für ereignisgesteuerte Simulation (1990)
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 (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990

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 (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990

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

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

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

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

Hanke, Christof [Author] ; Schob, Klaus [Other]; Todtenhöfer, Rainer [Other]
199. Heuristiken zum objektorientierten Programmentwurf (1990)
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 (1990)
Kaiserslautern: Univ., Fachbereich Informatik, 1990

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

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

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

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

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

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

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

Hoch, Rainer [Author] ; Todtenhöfer, Rainer [Author]
187. Konzeption und Implementierung einer Entwicklungsumgebung für objektorientierte Programmiersprachen (1989)
Kaiserslautern: Fachber., Univ., 1989

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

Wilke, Volker [Author]
188. Simulation von Kommunikationsprotokollen (1989)
Kaiserslautern: Fachber., Univ., 1989

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

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

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

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

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

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

Alfs, Gerold [Author]
183. Design and implementation of a heuristic search algorithm for the KARATE System (1988)
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 (1988)
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988

Rahm, Erhard [Author]
182. Design and evaluation of concurrency and coherency control techniques for database sharing systems (1988)
Kaiserslautern: Fachbereich Informatik, Univ., 1988

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

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

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

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

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

Bomarius, Frank [Author] ; KLaus, Hans-Jürgen [Author]
169. Ein Editor für Unparsing Schemes (1987)
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 (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Bomarius, Frank [Author] ; Kaltz, Olaf [Author]
167. Konzeption und Implementierung eines Window-Handlers für CADMUS PCS (1987)
Kaiserslautern: Fachber., 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 (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Hartenstein, Reiner [Other]
172. KARL-related literature: ABAKUS (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987

Jerkov, Georgi [Author] ; Knieriemen, Thomas [Author]
171. Autonome mobile Roboter: Einführung und Überblick (1987)
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 (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Alfs, Gerold [Author] ; Hartenstein, Reiner W. [Other]; Wodtko, Andrea [Other]; Hartenstein, Reiner W. [Other]
148. C-testable cells for ATPG from RT descriptions ([1985])
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 (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985

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

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

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

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

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

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

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

Otto, Friedrich [Author]
138. On two problems related to cancellativity (1985)
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 (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985

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

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

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

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

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

Otto, Friedrich [Author]
135. On deciding whether a monoid is a free monoid or is a group ([1985])
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 (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985

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

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

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

Reuter, Andreas [Author]
129. Load control and load balancing in a shared database management system (1985)
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 (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985

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

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

Ohlbach, Hans Jürgen [Author]
142. Theory unification in abstract clause graphs (1985)
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 (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985

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

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

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

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

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

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

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

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

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

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

Schrapel, Rainer [Author]
99. Kommunikation in verteilten Betriebssystemen (1984)
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 (1984)
Kaiserslautern: Fachbereich Informatik, Univ., 1984

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

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

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

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

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

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

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

Voss, Hans [Author]
76. Programming in a distributed environment: a collection of CSSA examples (1983)
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 (1983)
Kaiserslautern: Fachbereich Informatik, Univ., 1983

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Avenhaus, Jürgen [Author] ; Madlener, Klaus [Author]
32. P-complete problems in free groups (1980)
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 (1980)
Kaiserslautern: Fachbereich Informatik, Univ., 1980

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

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 (1979)
Kaiserslautern: Univ., 1979

Dausmann, Manfred [Author]
6. MODULA 7/32: a version of MODULA for the INTERDATA 7/32 (1979)
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 (1979)
Kaiserslautern: Univ., Fachbereich Informatik, 1979

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 (1979)
Kaiserslautern: Fachbereich Informatik, Univ., 1979

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

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