| 1993 |
|---|
| W. Hans, F. Sáenz, S. Winkler. A VHDL specification of a shared memory parallel machine for Babel, 1993. |
| G. Hogen, R. Loogen. A new stack technique for the management of runtime structures in distributed implementations, 1993. |
| H. Kuchen. Distributed memory implementation of a data parallel functional language, 1993. |
| O. Maler, L. Staiger. On syntactic congruences for -languages, 1993. |
| W. Merzenich, L. Staiger. Fractals, dimension, and formal languages, Univ.-GH, Fachbereich Elektrotechnik und Informatik, 1993. |
| Karsten Bohlmann, Rita Loogen, Y. Ortega-Mallén. Concurrent functional processes, 5th international workshop on implementation of functional languages : September 20 - 22, 1993, nijmegen, the netherlands, 1993. |
| K. Gladitz. Implementierung von Bags, Workshop 'programmiersprachen u. Grundl. d. Programmier.' garmisch-partenkirchen 1993, Univ. der Bundeswehr, 1993. |
| A. Kindler, Thomas Noll, B. Steffen. Hierarchical parallelization of imperative programs, Proc. EuroMicro workshop on parallel and distributed process. 1993, 178-184, 1993. |
| H. Kuchen, K. Gladitz. Parallel implementation of bags, Conf. on funct. Programm. Lang. and comput. Archit. Kopenhagen, dänemark 1993, 299-307, 1993. |
| H. Kuchen, K. Gladitz. Parallel implementation of bags, Workshop d. GI-fachgr. 'Alternative konzepte f. Sprachen u. Rechner'. Honnef 1993, 1993. |
| H. Kuchen, R. Plasmeijer, H. Stoltze. Efficient distributed memory implementation of functional languages, 5th international workshop on implementation of functional languages : September 20 - 22, 1993, nijmegen, the netherlands, 69-86, 1993. |
| DOI | Oded Maler, Ludwig Staiger. On syntactic congruences for ω—languages, STACS 93 : 10th annual symposium on theoretical aspects of computer science, würzburg, germany, february 25 - 27, 1993 ; proceedings / P. Enjalbert ... (eds.), 586-594, Springer [u.a.], 1993. |
| DOI | Tiziana Margaria, Bernhard Steffen. Distinguishing formulas for free, IEEE eur. Des. Automat. Conf. Paris, frankreich 1993, 105-110, 1993. |
| M. Mohnen. Proving the correctness of the static link technique using evolving algebras, Workshop programmiersprachen u. Grundl. d. Programmier. Garmisch-partenkirchen 1993, 15-28, Univ. der Bundeswehr, 1993. |
| Thomas Noll. On the first-order equivalence of call-by-name and call-by-value, Workshop programmiersprachen u. Grundl. d. Programmier. Garmisch-partenkirchen 1993, 175-186, Univ. der Bundeswehr, 1993. |
| DOI | Ludwig Staiger. Recursive automata on infinite words, Proc. STACS 93. Berlin [u.a.] 1993, 629-639, Springer [u.a.], 1993. |
| H. Stoltze, H. Kuchen. Parallel functional programming using algorithmic skeletons, Int. Conf. on parallel comput. 1993, 1993. |
| C. Weise, T. Margaria. Continuous real time models in practice, 5. Euromicro workshop on real time syst. Oulu, finnland 1993, 1993. |
| L. Staiger. Kolmogorov complexity and Hausdorff dimension, 159-194, Elsevier, 1993. |
| DOI | Z. Fülöp, Frank Herrmann, Sandor Vagvolgyi, Heiko Vogler. Tree-transducers with external functions, 185-236, Elsevier, 1993. |
| DOI | Rance Cleaveland, Joachim Parrow, Bernhard Steffen. The concurrency workbench - a semantics-based tool for the verification of concurrent systems, 36-72, Association for Computing Machinery, 1993. |
| DOI | Rance Cleaveland, Bernhard Steffen. A linear-time model-checking algorithm for the alternation-free modal mu-calculus, 121-147, Springer Science + Business Media B.V, 1993. |
| 1992 |
|---|
| DOI | Werner Hans. A complete indexing scheme for WAM-based abstract machines, Programm. Lang. implementat. and logic programm, 232-244, 1992. |
| DOI | Werner Hans, Rita Loogen, Stephan Winkler. On the interaction of lazy evaluation and backtracking, Programm. Lang. implementat. and logic programm, 355-369, 1992. |
| DOI | Jens Knoop, Bernhard Steffen. The interprocedural coincidence theorem, Compiler construction, 125-140, 1992. |