☰

Radu Negulescu

Affiliations: 
McGill University, Montreal, QC, Canada 
Area:
Electronics and Electrical Engineering
Google:
"Radu Negulescu"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Katarzyna Radecka grad student 2003 McGill

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Negulescu R. (2013) Generic Transforms on Incomplete Specifications of Asynchronous Interfaces Electronic Notes in Theoretical Computer Science. 83: 187-200
Brzozowski JA, Negulescu R. (2004) Duality for Three: Ternary Symmetry in Process Spaces Lecture Notes in Computer Science. 1-14
Kong X, Negulescu R, Ying LW. (2003) Refinement-based formal verification with heterogeneous timing International Journal On Software Tools For Technology Transfer. 4: 359-370
Kong X, Negulescu R, Ying LW. (2001) Refinement-Based Formal Verification of Asynchronous Wrappers for Independently Clocked Domains in Systems on Chip Lecture Notes in Computer Science. 370-385
Brzozowski JA, Negulescu R. (2000) Automata of asynchronous behaviors Theoretical Computer Science. 231: 113-128
See more...