Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wladimir Fridman
Distributed Synthesis for Regular and Contextfree Specifications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering
Software
Regular Specifications of Resource Requirements for Embedded Control Software
Symbolic Synthesis for Epistemic Specifications With Observational Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Distributed Memory Code Generation for Mixed Irregular/Regular Computations
ACM SIGPLAN Notices
Computer Science
Executing Specifications Using Synthesis and Constraint Solving
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Synthesis From Imprecise Specifications
Distributed Models for Filter Synthesis
IEEE Microwave Magazine
Electronic Engineering
Radiation
Electrical
Condensed Matter Physics
Controller Synthesis for Nonlinear Systems With Reachability Specifications Using Monotonicity
Distributed Synthesis for Well-Connected Architectures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
