Skip to Content
> Publishers' series
-
338. Lower bounds for contention in CSMA/CA-based wireless LANs (2005)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2005
-
337. Evaluation eines Verschmelzungsalgorithmus für Lösungen des Handlungsreisendenproblems (2005)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2005
-
335. SDL design patterns and components, Watchdog and Heartbeat (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
336. Ein maßgeschneidertes Kommunikationssystem für eine mobile Applikation mit Dienstgüteanforderungen (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
328. On the efficiency of multiple importance sampling: robust instant global illumination (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
329. Compositional testing of communication systems (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
330. Induction of linear temporal logic programs (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
331. Embedding a Chained Lin-Kernighan algorithm into a distributed algorithm (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
332. Post-processing polygonal voxel data from numerical simulation (2004)
Kaiserslautern: Techn. Univ., Fachbereich Informatik, 2004
-
326. An introduction to abstract state machines ([2003])
Kaiserslautern: Univ., Fachbereich Informatik, [2003]
-
327. Towards the harmonisation of UML and SDL: syntactic and semantic alignment ([2003])
Kaiserslautern: Techn. Univ., Fachbereich Informatik, [2003]
-
325. Implementation issues in inductive logic programming (2003)
Kaiserslautern: Univ., Fachbereich Informatik, 2003
-
323. Efficient illumination by high dynamic range images (2002)
Kaiserslautern: Univ., Fachbereich Informatik, 2002
-
322. Stratification by Rank-1-Lattices (2002)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002
-
319. Efficient multidimensional sampling (2002)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002
-
318. Quantum integration in Sobolev classes (2002)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002
-
317. Interactive global illumination (2002)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2002
-
320. Monte Carlo & beyond: course material (2002)
Kaiserslautern: Univ., 2002
-
307. Random fields on rank-1 lattices (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
308. Interleaved sampling (2001)
Kaiserslautern: Univ., Fachbereich Informatik, 2001
-
309. Fast generation of randomized low discrepancy point sets (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
310. Efficient bidirectional path tracing by randomized quasi-Monte Carlo integration (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
311. A term-rewriting perspective of object oriented program specifications (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
312. Quantum summation with an application to integration (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
313. Optimal summation and integration by deterministic, randomized, and quantum algorithms (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
321. Comparison and analysis of IP Billing technologies (2001)
Kaiserslautern: Univ., 2001
-
315. On a problem in quantum summation (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
316. Trajectory splitting by restricted replication (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
314. Mobile Agenten im Internet: Infrastruktur und Interaktion (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
306. The analytic blossom (2001)
Kaiserslautern: Universität Kaiserslautern, Fachbereich Informatik, 2001
-
304. Using transport services instead of specific transport protocols (2000)
Kaiserslautern: Fachbereich Informatik, Univ., 2000
-
305. Surface fitting using multicriteria optimization techniques (2000)
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 2000
-
303. Metropolis light transport for participating media (2000)
Kaiserslautern: Univ., 2000
-
302. Efficient importance sampling techniques for the photon map (2000)
Kaiserslautern: Univ., 2000
-
298. Hierarchical Monte Carlo image synthesis (1999)
Kaiserslautern: Fachbereich Informatik, Univ., 1999
-
300. The multilevel method of dependent tests (1999)
Kaiserslautern: Fachbereich Informatik, Univ, 1999
-
301. Bessere Änderbarkeit durch Verfolgbarkeit: Auswahl eines Ansatzes (1999)
Kaiserslautern: Fachbereich Informatik, Univ., 1999
-
299. Wavelet Monte Carlo methods for the global solution of integral equations (1999)
Kaiserslautern: Fachbereich Informatik, Univ, 1999
-
295. A 3D-modeling- & visualization-toolkit for web-based applications (1998)
Kaiserslautern: Fachbereich Informatik, Univ., 1998
-
296. An intuitionistic approach to logic programming (1998)
Kaiserslautern: Fachbereich Informatik, Univ., 1998
-
297. Monte Carlo complexity of parametric integration (1998)
Kaiserslautern: Fachbereich Informatik, Univ., 1998
-
292. A formal syntax and a formal semantics for Open Estelle (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
287. Instant radiosity (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
288. Polyhedral reconstruction of 3D objects by tetrahedra removal (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
294. Integration temporallogischer Verarbeitungskonzepte in C++ (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
293. The reduction oriented calculus mj (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
289. Monte Carlo complexity of global solution of integral equations (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
290. Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle: eine Bestandsaufnahme (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
291. mj-reduction for proving in predicate logic: extended abstract (1997)
Kaiserslautern: Fachbereich Informatik, Univ., 1997
-
285. Variance reduction by means of deterministic computation: collision estimate (1996)
Kaiserslautern: Fachbereich Informatik, Univ., 1996
-
286. Computing discrepancies related to spaces of smooth periodic functions (1996)
Kaiserslautern: Fachbereich Informatik, Univ., 1996
-
279. Quasi-Monte Carlo radiosity (1996)
Kaiserslautern: Fachber. Informatik, Univ., 1996
-
280. Partikelgestützte Triangulierung skelettbasierter impliziter Flächen (1996)
Kaiserslautern: Fachber. Informatik, Univ., 1996
-
278. The fast calculation of form factors using low discrepancy sequences (1996)
Kaiserslautern: Univ., 1996
-
283. Measurement-based feedback in a process-centered software engineering environment (1996)
Kaiserslautern: Fachber. Informatik, Univ., 1996
-
284. Computing discrepancies of Smolyak quadrature rules (1996)
Kaiserslautern: Fachber. Informatik, Univ., 1996
-
281. Technology package for the Goal Question Metric paradigm (1996)
Kaiserslautern: Fachber. Informatik, Univ., 1996
-
282. Kontinuierliche Software-Qualitätsverbesserung in der industriellen Praxis (1996)
Kaiserslautern: Fachber. Informatik, Univ., 1996
-
274. Improving the efficiency of automated protocol implementation using Estelle (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995
-
276. An optical algorithm for the local solution of integral equations (1995)
Kaiserslautern: Fachber. Informatik, Univ., 1995
-
277. Ähnlichkeit von Prozeßmodellen (1995)
Kaiserslautern: Fachber. Informatik, Univ., 1995
-
270. A graphical representation schema for the software process modeling language MVP-L (1995)
Kaiserslautern: Fachber. Informatik, Univ., 1995
-
275. Variance reduction for Monte Carlo methods by means of deterministic numerical computation (1995)
Kaiserslautern: Fachber. Informatik, Univ., 1995
-
272. Evaluation of a BRDF using BSP trees (1995)
Kaiserslautern: Fachber. Informatik, Univ., AG Computergraphics, 1995
-
268. Numerical aspects of stability investigations on surfaces (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995
-
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
-
265. MVP-L language report version 2 (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995
-
271. Complexity of multivariate integral equations: full solution in Sobolev spaces (1995)
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 1995
-
263. Information complexity of multivariate Fredholm equations and Sobolev classes (1995)
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1995
-
267. Efficient algorithms for computing the L 2 discrepancy (1995)
Kaiserslautern: Fachber. Informatik, Univ., AG Numerische Algorithmen, 1995
-
266. The geometry of optimal degree reduction of Bezier curves (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995
-
269. Visualization of unstable surface regions (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995
-
273. Automata-theoretic criteria for feature interactions in telecommunications systems (1995)
Kaiserslautern: Fachbereich Informatik, Univ., 1995
-
250. An outsiders evaluation of PAISLey (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
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
-
254. Optimization of projection methods for solving ill-posed problems (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994
-
257. Efficient 3-D visualization of hybrid medical data sets (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1994
-
259. Spezifikation reaktiver Systeme durch temporal stratifizierte Programme (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
260. A Quasi-Monte Carlo algorithm for the global illumination problem in the radiosity setting (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994
-
262. A univariate method for plane elastic curves (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG CAD und Algorithmische Geometrie, 1994
-
261. Eine Fixpunkt-Semantik für temporal stratifizierte Programme (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
253. The Refus programming language (1994)
Kaiserslautern: Fachbereich Inforamtik, Univ., 1994
-
255. Terminologie des Übersetzerbaus (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Programmiersprachen und Compilerbau, 1994
-
256. Qualitätsorientierte, prozeß-sensitive Softwareentwicklungsumgebungen im MVP-Projekt (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Software Engineering, 1994
-
242. Quasi-Monte Carlo methods in computer graphics, 1, The QMC-buffer (1994)
Kaiserslautern, 1994
-
243. Quasi-Monte Carlo methods in computer graphics, 2, The radiance equation (1994)
Kaiserslautern, 1994
-
241. Complexity of local solution of integral equations (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
245. A case study on specification, detection and resolution of IN feature interactions with Estelle (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
248. Complexity of local solution of multivariate integral equations (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Numerische Algorithmen, 1994
-
244. Streamball techniques for flow visualization (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
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
-
247. Towards a basic reference model of open distributed processing (1994)
Kaiserslautern: Univ., AG Numerische Algorithmen, 1994
-
249. B-spline surfaces with knot segments (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Graphische Datenverarbeitung und Computergeometrie, 1994
-
252. Best-fit pattern matching (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
258. Schattenberechnung für die Visualisierung hybrider Datensätze (1994)
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1994
-
238. Free form volumes: definitions, applications, visualization techniques (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
239. Rational tensor product Bézier volumes (1994)
Kaiserslautern: Fachbereich Informatik, Univ., 1994
-
231. How to assess a software process modeling formalism from a project member's point of view (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
230. Analytische Formfaktorberechnung mittels SVBSP-Bäumen (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
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
-
240. Theorie und Praxis neuronaler Netze: Seminar SS 93 (1993)
Kaiserslautern: Univ., Fachbereich Informatik, 1993
-
234. Shadow mapping: a method of evaluating and storing diffuse radiosities in static environments (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
235. Bézier representation of trim curves (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
237. W-LISP-Sprachbeschreibung (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
236. Optimale Gradreduktion von Kurven und Flächen in Bézierdarstellung (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
233. Surface analysis using arithmetic operations on Bézier surfaces (1993)
Kaiserslautern: Fachbereich Informatik, Univ., 1993
-
229. MVP-L languages report (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
219. EITeL: ein intervallbasierter temporallogischer Ansatz (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
220. Der ProLan-X-Sprachreport: eine objekt-orientierte Sprache für die Modellierung von Software-Prozessen (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
223. Gauss frame offsets (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
221. Möglichkeiten eines Immissionsdatenverbundes in Österreich (1992)
Kaiserslautern: Fachbereich Informatik, Univ., AG Graphische Datenverarbeitung und Computergeometrie, 1992
-
218. Architektur offener Umweltinformationssysteme (1992)
Kaiserslautern: Univ., FB Informatik, 1992
-
224. Arithmetische Operationen auf Bezierflächen (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
222. An object oriented architecture for user interface management in distributed applications (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
225. The fundamental model of virtual reality for purposes of simulation (1992)
Kaiserslautern: Fachbereich Informatik, Univ., AG Computergraphik, 1992
-
227. Variational design of smooth Bezier- and B-spline-curves (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
228. Random approximation in numerical analysis (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
226. Entwurf von Algorithmen für parallele Verarbeitung in Nested Interpolation Based Grid Files mit zweischichtigen Directories (1992)
Kaiserslautern: Fachbereich Informatik, Univ., 1992
-
207. A Voronoi diagram based adaptive k-means-type clustering algorithm for multidimensional weighted data (1991)
Kaiserslautern: Univ., Fachbereich Informatik, 1991
-
208. Quelltextgenerierung für Software-Entwurfsgraphen (1991)
Kaiserslautern: Univ., Fachbereich Informatik, 1991
-
210. W-LISP - Definition und Implementierung (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
215. Detecting causal relationships in distributed computations: in search of the holy grail (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
213. Composition of tensor product Bézier representations (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
214. Vergleichsverfahren für Systementwurfsgraphen: Konzepte, Algorithmen, Implementation (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
217. Breaking ties deterministically in distributed simulation schemes (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
216. Performance evaluation of extended storage architectures for transaction processing (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
212. A novel ASIC: design approach bades on o new machine paradigm (1991)
Kaiserslautern: Fachbereich Informatik, Univ., 1991
-
206. Ein mathematisches Modell für ereignisgesteuerte Simulation (1990)
Kaiserslautern: Univ., Fachbereich Informatik, 1990
-
196. B-Spline-Bézier representation of rational geometric spline curves: quartics and quintics (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
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
-
201. Interval weighted tau-splines (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
204. The nested interpolation based grid file (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
200. Distributed termination detection with sticky state indicators (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
203. Divergence phenomena during completion (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
199. Heuristiken zum objektorientierten Programmentwurf (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
197. A test for [lambda]-confluence for certain prefix rewriting systems with applications to the generalized word problem (1990)
Kaiserslautern: Univ., Fachbereich Informatik, 1990
-
202. Decidable sentences for context-free groups (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
205. Definition of solid primitives by rational Bezier volumes (1990)
Kaiserslautern: Fachbereich Informatik, Univ., 1990
-
194. Kurven- und Flächen-Verschneidungsmethoden (1989)
Kaiserslautern: Univ., FB Informatik, 1989
-
195. Xputers: an open family of non-von Neumann architectures (1989)
Kaiserslautern: Fachbereich Informatik, Univ., 1989
-
193. Decision problems in special monoids (1989)
Kaiserslautern: Univ., FB Informatik, 1989
-
189. Application of rewriting techniques to solve the generalized word problem in groups (1989)
Kaiserslautern: Univ., Fachbereich Informatik, 1989
-
186. Restrictions of congruences generated by finite canonical string-rewriting systems (1989)
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1989
-
187. Konzeption und Implementierung einer Entwicklungsumgebung für objektorientierte Programmiersprachen (1989)
Kaiserslautern: Fachber., Univ., 1989
-
190. Eine Übersicht über die Lastverteilung in verteilten Systemen (1989)
Kaiserslautern: Univ., Fachbereich Informatik, 1989
-
188. Simulation von Kommunikationsprotokollen (1989)
Kaiserslautern: Fachber., Univ., 1989
-
191. Ein Report-Generator für eine Softwareentwicklungsumgebung (1989)
Kaiserslautern: Univ., Fachbereich Informatik, 1989
-
192. Kommunikationskomponente für eine dezentrale Software-Entwicklungsumgebung (1989)
Kaiserslautern: Univ., Fachbereich Informatik, 1989
-
177. Mmf, ein makefile-Generator (1988)
Kaiserslautern: Fachbereich Informatik, Univ., 1988
-
179. EDIF notation for layout/circuit relations (1988)
Kaiserslautern: Fachbereich Informatik, Univ., 1988
-
180. Automatische Extraktion von Register-Transfer Beschreibungen aus dem Layout integrierter Schaltungen (1988)
Kaiserslautern: Fachbereich Informatik, Univ., 1988
-
181. MOM-MAP oriented machine: an innovative computing architecture (1988)
Kaiserslautern: Fachbereich Informatik, Univ., 1988
-
183. Design and implementation of a heuristic search algorithm for the KARATE System (1988)
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988
-
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
-
182. Design and evaluation of concurrency and coherency control techniques for database sharing systems (1988)
Kaiserslautern: Fachbereich Informatik, Univ., 1988
-
184. Characterizations of overlaps in free partially commutative monoids (1988)
Kaiserslautern: Univ. Kaiserslautern, Fachbereich Informatik, 1988
-
178. Modula-2C: e. Übersetzer von MODULA-2 nach C (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
165. Performance analysis of primary copy synchronization in database sharing systems (1987)
Kaiserslautern: Fachb. Informatik, Univ., 1987
-
166. Optimistische Synchronisationsverfahren in Datenbanksystemen: ein Überblick (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
170. Zur Problematik der Fehlerbehandlung in Compilern: ein Diskussionsbeitrag (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
169. Ein Editor für Unparsing Schemes (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
168. Entwicklung und Implementierung eines abstrakten Datentyps für geordnete Bäume am Beispiel eines abstrakten Programmbaums (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
167. Konzeption und Implementierung eines Window-Handlers für CADMUS PCS (1987)
Kaiserslautern: Fachber., Univ., 1987
-
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
-
172. KARL-related literature: ABAKUS (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
171. Autonome mobile Roboter: Einführung und Überblick (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
174. Korrekturlose Fehlerbehandlung von Programmiersprachen: zur Performanz automat. generierbarer Syntaxchecker auf d. Basis von Token-Nachbarschaftsrelationen (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
175. HL-View: Programmierumgebung für e. Benutzerschnittstelle (1987)
Kaiserslautern: Fachbereich Informatik, Univ., 1987
-
155. Rüstung, Forschung, Informatik: Seminarvorträge WS 1984/85 ([1986])
Kaiserslautern: Fachbereich Informatik, Univ., [1986]
-
153. RELFUN: a relational, functional integration with valued clauses (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
163. Commutativity in groups presented by finite Church-Rosser Thue systems (1986)
Kaiserslautern: Fachbereich Informatik, Univ., 1986
-
161. The undecidability of self-embedding for finite semi-Thue and Thue systems (1986)
Kaiserslautern: Fachbereich Informatik, Univ., 1986
-
158. Konzepte der Programmiersprache Modula-P (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
156. Evaluation of a multiple version scheme for concurrency control (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
154. Buffer invalidation problem in DB-sharing systems (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
159. On deciding the confluence of a finite string-rewriting system on a given congruence class (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
160. Using string-rewrting for solving the word problem for finitely presented groups (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
162. Konzepte zur Integration von Expertensystemen und Datenbanksystemen (1986)
Kaiserslautern: Univ., Fachbereich Informatik, 1986
-
164. Modellierung von FRAME-Konzepten mit dem MAD-Modell (1986)
Kaiserslautern: Fachbereich Informatik, Univ., 1986
-
157. DISTOS: eine Konstruktionsmethodik für verteilte Betriebssysteme ; (Projektabschlußbericht) (1986)
Kaiserslautern: Fachbereich Informatik, Univ., 1986
-
140. Ein Und-paralleles Ausführungsmodell für logische Programme (1985)
Kaiserslautern: Fachber., Univ., 1985
-
127. Quantitative Analyse eines Synchronisationsalgorithmus für DB-Sharing (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
139. A reliable and efficient synchronization protocol for DB-sharing (1985)
Kaiserslautern: Fachber., Univ., 1985
-
148. C-testable cells for ATPG from RT descriptions ([1985])
Kaiserslautern: Univ., Fachbereich Informatik, [1985]
-
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
-
145. A theorem proving associative processor ([1985])
Kaiserslautern: Fachbereich Informatik, Univ., [1985]
-
126. PESA, a parallel expert systems architecture (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
137. Primary copy synchronization for DB-sharing (1985)
Kaiserslautern: Fachber., Univ., 1985
-
152. Klassifikation von Mehrrechner-Datenbanksystemen: Anforderungen, Entwurfsprinzipien, Realisierungskonzepte (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
151. IGSIC, interaktiver graphischer Silicon-Compiler: Kurzbeschreibung (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
150. PASCAL 8X - ein Konzept zur Weiterentwicklung anweisungsorientierter Programmiersprachen (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
146. Combinatorial algorithms in algebraic structures (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
138. On two problems related to cancellativity (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
149. The hardware description language Karl-III: its integration into a CAD tool box for VLSI (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
121. Functional and implementational aspects of transaction-processing monitors: research report (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
123. The distributed programming language CSSA: a very short introduction (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
147. Implementation specifications (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
125. Kaiserslautern's CAD activities within the CVT project (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
133. Innovative Schaltungstechnik statt Software: SHUFFLE SORT ; VLSI-Beispiel eines Sortierers (1985)
Kaiserslautern: Fachbereich Informatik, Univ., 1985
-
135. On deciding whether a monoid is a free monoid or is a group ([1985])
Kaiserslautern: Univ., Fachbereich Informatik, [1985]
-
144. Transaktionssysteme, TP-Monitore, DB/DC-Systeme: eine Systematik ihrer Aufgabenstellung und Implementierung (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
128. Ein interaktives und syntaxorientiertes Eingabesystem fuer algebraische und algorithmische Spezifikationen (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
122. Ein Precompiler fuer ModPascal (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
134. Entwicklung eines Mikrorechners zur Steuerung eines autarken Labyrinthroboters ([1985])
Kaiserslautern: Univ., Fachbereich Informatik, [1985]
-
129. Load control and load balancing in a shared database management system (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
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
-
136. An introduction to non-monotonic reasoning (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
131. Automatic generation of functional test patterns from RT language source ([1985])
Kaiserslautern: Univ., Fachbereich Informatik, [1985]
-
142. Theory unification in abstract clause graphs (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
141. KL-DNMS: ein System zur Verwaltung nicht-monotoner Abhaengigkeitsnetze (1985)
Kaiserslautern: Univ., Fachbereich Informatik, 1985
-
120. On the termination of the Knuth-Bendix completion algorithm (1984)
Kaiserslautern: Fachbereich Informatik, Univ., 1984
-
119. ModPascal report (1984)
Kaiserslautern: Univ., Fachbereich Informatik, 1984
-
116. On congruences and normal forms definable by term rewriting systems (1984)
Kaiserslautern: Univ., Fachbereich Informatik, 1984
-
98. Some undecidability results for non-monadic Church-Rosser Thue systems (1984)
Kaiserslautern: Univ., Fachbereich Informatik, 1984
-
112. Distributed constraint propagation: a case study (1984)
Kaiserslautern: Fachbereich Informatik, Univ., 1984
-
115. Foundation of expert systems for conceptional design in mechanical engineering (1984)
Kaiserslautern: Univ., 1984
-
113. Pseudo-natural algorithms for decision problems in certain types of string-rewriting systems (1984)
Kaiserslautern: Fachbereich Informatik, Univ., 1984
-
117. Principles of error detection in storage structures of database systems (1984)
Kaiserslautern: Univ., Fachbereich Informatik, 1984
-
118. An annotated bibliography on error handling in compilers (1984)
Kaiserslautern: Univ., Fachbereich Informatik, 1984
-
109. Überlegungen zur schnellen 'online' Fehlerbehandlung in Speicherungsstrukturen von Datenbanksystemen (1984)
Kaiserslautern: Fachbereich Informatik, Univ., 1984
-
99. Kommunikation in verteilten Betriebssystemen (1984)
Kaiserslautern: Univ., Fachbereich Informatik, 1984
-
114. Vergleich der Datenbank-Programmierung bei navigierenden Anwendungen am Beispiel von SESAM und UDS (1984)
Kaiserslautern: Fachbereich Informatik, Univ., 1984
-
74. Praktikum Übersetzererzeugende Systeme (1983)
Kaiserslautern: Univ., Fachbereich Informatik, 1983
-
67. Entwurf und Implementierung von CSSA, D, CSSA-Programmbeispiele (1983)
Kaiserslautern: Univ. Kaiserslautern, 1983
-
67. Entwurf und Implementierung von CSSA, Programm-Dokumentation, 1 (1983)
Kaiserslautern: Univ. Kaiserslautern, 1983
-
67. Entwurf und Implementierung von CSSA, A, Konzepte (1983)
Kaiserslautern: Univ. Kaiserslautern, 1983
-
67. Entwurf und Implementierung von CSSA, B, CSSA-Sprachbeschreibung (1983)
Kaiserslautern: Univ. Kaiserslautern, 1983
-
67. Entwurf und Implementierung von CSSA, C, CSSA-Systembenutzung (1983)
Kaiserslautern: Univ. Kaiserslautern, 1983
-
67. Entwurf und Implementierung von CSSA, Programm-Dokumentation, 2 (1983)
Kaiserslautern: Univ. Kaiserslautern, 1983
-
76. Programming in a distributed environment: a collection of CSSA examples (1983)
Kaiserslautern: Univ., Fachbereich Informatik, 1983
-
77. Canonical term functors and parameterization-by-use for the specification of abstract data types (1983)
Kaiserslautern: Fachbereich Informatik, Univ., 1983
-
68. An analytic model of transaction interference in database systems: draft report (1983)
Kaiserslautern: Univ., Fachbereich Informatik, 1983
-
93. A completion procedure for globally finite term rewriting systems (1983)
Kaiserslautern: Univ., Fachbereich Informatik, 1983
-
58. Kontext-freie Sprachen und Transduktionen über abzählbar-unendlichen Alphabeten (1982)
Kaiserslautern: Fachbereich Informatik, Univ., 1982
-
48. Finitely generated derivation, bounded presentations of groups (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
55. KARL-II: eine Sprache zur Spezifikation beim Entwurf kundenspezifischer Digitalbausteine (1982)
Kaiserslautern: Fachbereich Informatik, Univ., 1982
-
51. Principles of database buffer management (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
64. Attribute evaluation after recovery from syntax error (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
61. Another error recovery algorithm for LR parsers (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
60. Invarianz der LR(k)-Eigenschaft beim Einfügen von epsilon-Nichtterminalen (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
52. Modelle für die Leistungsanalyse von Hashtabellen mit 'Separate Chaining' (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
57. Encoding complexities in decision problems of finitely presented combinatorial systems (1982)
Kaiserslautern: Univ., Fachbereich Informatik, 1982
-
34. Derivation-bounded Groups (1981)
Kaiserslautern: Univ., Fachbereich Informatik, 1981
-
44. Storage utilization in B star-trees with a generalized overflow technique (1981)
Kaiserslautern: Univ., Fachbereich Informatik, 1981
-
43. Die Hardwarebeschreibungssprache KARL II: Sprachbeschreibung (1981)
Kaiserslautern: Univ., Fachbereich Informatik, 1981
-
29. Eine En-Frattini-Einbettung in eine einfache Untergruppe einer endlich dargestellten Gruppe (1980)
Kaiserslautern: Univ., 1980
-
17. Implementierungstechniken für Monitore (1980)
Kaiserslautern: Univ., Fachbereich Informatik, 1980
-
28. VLSI-Bausteine in geringen Stückzahlen für Spezialanwendungen (1980)
Kaiserslautern: Univ., Fachbereich Informatik, 1980
-
27. Die Realisierung des ESRA-Rechnernetz-Baukasten-Systems: ein Ansatz zu einer Methodologie für zuverlaessige Software (1980)
Kaiserslautern: Univ., Fachbereich Informatik, 1980
-
31. Polynomial algorithms for problems in free groups based on Nielsen type arguments (1980)
Kaiserslautern: Fachbereich Informatik, Univ., 1980
-
18. The implementation of concurrency for a PL/I-like language (1980)
Kaiserslautern: Fachbereich Informatik, Univ., 1980
-
26. A local micro network to support software modularity (1980)
Kaiserslautern: Univ., Fachbereich Informatik, 1980
-
22. On how to construct efficiently parsable grammars (1980)
Kaiserslautern: Fachbereich Informatik, Univ., 1980
-
32. P-complete problems in free groups (1980)
Kaiserslautern: Univ., Fachbereich Informatik, 1980
-
30. Polynomial time algorithms for the Nielsen reduction and related problems in free groups (1980)
Kaiserslautern: Fachbereich Informatik, Univ., 1980
-
33. Fault-tolerance aspects of distributed computer systems (1980)
Kaiserslautern: Univ., Fachbereich Informatik, 1980
-
6. MODULA 7/32: a version of MODULA for the INTERDATA 7/32 (1979)
Kaiserslautern: Fachbereich Informatik, Univ. Kaiserslautern, 1979
-
15. KARL: a hardware description language as part of a CAD tool for VLSI (1979)
Kaiserslautern: Univ., Fachbereich Informatik, 1979
-
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
-
21. On the parsing of partitioned chain grammars (1979)
Kaiserslautern: Fachbereich Informatik, Univ., 1979
-
20. Partitioned chain grammars (1979)
Kaiserslautern: Fachbereich Informatik, Univ., 1979