Vaclav Rajlich

From MaRDI portal



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!

PublicationDate of PublicationType
Refinement Methodology for Ada
IEEE Transactions on Software Engineering
1987-01-01Paper
Determinism in parallel systems
Theoretical Computer Science
1983-01-01Paper
scientific article; zbMATH DE number 3639139 (Why is no real title available?)
 
1979-01-01Paper
scientific article; zbMATH DE number 3740739 (Why is no real title available?)
 
1979-01-01Paper
scientific article; zbMATH DE number 3550166 (Why is no real title available?)
 
1977-01-01Paper
scientific article; zbMATH DE number 3499211 (Why is no real title available?)
 
1975-01-01Paper
Bounded-crossing transducers
Information and Control
1975-01-01Paper
Dynamics of discrete systems and pattern reproduction
Journal of Computer and System Sciences
1975-01-01Paper
scientific article; zbMATH DE number 3495616 (Why is no real title available?)
 
1975-01-01Paper
scientific article; zbMATH DE number 3426880 (Why is no real title available?)
 
1973-01-01Paper
Absolutely parallel grammars and two-way finite-state transducers
Journal of Computer and System Sciences
1972-01-01Paper
scientific article; zbMATH DE number 3388561 (Why is no real title available?)
 
1971-01-01Paper


Research outcomes over time


This page was built for person: Vaclav Rajlich