List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Taming effects with monadic typing Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2019-09-26 | Paper |
| Taming effects with monadic typing Proceedings of the third ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
| Programmed strategies for program verification Electronic Notes in Theoretical Computer Science | 2013-12-06 | Paper |
| A logic for rewriting strategies Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
| The logic of demand in Haskell Journal of Functional Programming | 2005-11-28 | Paper |
| scientific article; zbMATH DE number 2080278 (Why is no real title available?) | 2004-08-04 | Paper |
| The design of Apple—A language for modular programs Computer Languages | 1985-01-01 | Paper |
| Access-Right Expressions ACM Transactions on Programming Languages and Systems | 1983-01-01 | Paper |
| On the Static Access-Control Mechanism in Concurrent Pascal The Computer Journal | 1982-01-01 | Paper |
| The formal definition of a real-time language Acta Informatica | 1981-01-01 | Paper |
| Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers ACM Transactions on Programming Languages and Systems | 1980-01-01 | Paper |
| Comments on “Communicating Sequential Processes” ACM Transactions on Programming Languages and Systems | 1979-01-01 | Paper |
| Capability Managers IEEE Transactions on Software Engineering | 1978-01-01 | Paper |
| Extending Concurrent Pascal to Allow Dynamic Resource Management IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3597835 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3381868 (Why is no real title available?) | 1973-01-01 | Paper |
| Compatibility and Complexity of Refinements of the Resolution Principle SIAM Journal on Computing | 1972-01-01 | Paper |
| Construction of asymptotic solutions to scattering problems in the fourier transform representation Applied Scientific Research, Section B | 1965-01-01 | Paper |
| VLF propagation in a compressible ionosphere Journal of Research of the National Bureau of Standards, Section D: Radio Science | 1964-01-01 | Paper |
Research outcomes over time
This page was built for person: Richard B. Kieburtz
