Author

Alberto Luigi Sangiovanni-Vincentelli

University of California, BerkeleyORCID 0000-0003-1298-8389Unclaimed ORCID profile · follow to get notified of new preprints

Biology Disciplines

Click to filter author papers

Synthetic Biology· 1

Frequent Co-Authors

Ayush PandeyiD· 1 shared Inigo InceriD· 1 shared Richard M. MurrayiD· 1 shared

Activity by Year

2022-2022 · peak 1/yr

Co-Author Collaboration Network

3 top collaborators · 3 mutual co-author links

Click any collaborator node to inspect or filter shared papers

Focal author (center)Selected co-authorORCID co-authorUnlinked name

Curved chords = mutual co-authorship

1 shared paperSynthetic Biology

Ayush PandeyORCID

Mutual co-authors in cluster

Author profile →

1 paper

Recent·Most cited

Synthetic BiologybioRxivPreprintApr 8, 2022

From Specification to Implementation: Assume-Guarantee Contracts for Synthetic Biology

Ayush Pandey, Inigo Incer, Alberto Luigi Sangiovanni-Vincentelli, Richard M. Murray

The paper introduces an assume-guarantee contract framework for formalizing and implementing biological circuit designs using ordinary differential equations.

DOI 10.1101/2022.04.08.487709

𝕏 PostBluesky