Arthur Bernstein

MaRDI QIDQ2368984zbMATH OpenDBLPWikidataFDO

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
A highly asynchronous minimum spanning tree protocol Distributed Computing	2020-11-30	Paper
Automatic workflow verification and generation Theoretical Computer Science	2006-04-28	Paper
COMPLETENESS AND REALIZABILITY: CONDITIONS FOR AUTOMATIC GENERATION OF WORKFLOWS International Journal of Foundations of Computer Science	2006-04-06	Paper
scientific article; zbMATH DE number 810814 (Why is no real title available?)	1995-10-30	Paper
False Deadlock Detection in Distributed Systems IEEE Transactions on Software Engineering	1985-01-01	Paper
A modula based language supporting hierarchical development and verification Software: Practice and Experience	1981-01-01	Paper
Conditional Capabilities IEEE Transactions on Software Engineering	1979-01-01	Paper
Conditions for the Equivalence of Synchronous and Asynchronous Systems 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
Synthesizing a Response Function with a Feedback Scheduling Algorithm SIAM Journal on Computing	1976-01-01	Paper
A Computer Architecture for Level Structured Systems IEEE Transactions on Computers	1975-01-01	Paper
Analysis of a Feedback Scheduler SIAM Journal on Computing	1974-01-01	Paper
Comment on the working set model for program behavior Communications of the ACM	1970-01-01	Paper
Maximally Connected Arrays on the n-Cube SIAM Journal on Applied Mathematics	1967-01-01	Paper
A class of binary recurrent codes with limited error propagation IEEE Transactions on Information Theory	1967-01-01	Paper
A Shared Memory Computer Display System IEEE Transactions on Electronic Computers	1966-01-01	Paper
Encoding of analog signals for binary symmetric channels IEEE Transactions on Information Theory	1966-01-01	Paper
Optimal Binary Coding of Ordered Numbers Journal of the Society for Industrial and Applied Mathematics	1965-01-01	Paper
Computing Irredundant Normal Forms from Abbreviated Presence Functions IEEE Transactions on Electronic Computers	1965-01-01	Paper

Research outcomes over time

This page was built for person: Arthur Bernstein