KNAW
Narcis
Back to search results
Person
Dr. M.M. Bonsangue
Pagina-navigatie:
Main
Current research (1)
Completed research (3)
Publications (94)
Miscellaneous (4)
Update Persondata
concurrent
formal
methods
object
oriented
systems
Expertise
Formal methods for concurrent and object-oriented systems
Expertise (NL)
Formal methods for concurrent and object-oriented systems
Digital Author ID
info:eu-repo/dai/nl/109374126
Active as
Assistant Professor
Organisation
Leiden Institute of Advanced Computer Science (UL)
Email
marcello -at- liacs. nl
URL
http://www.liacs.nl/~marcello
Publications
Automated Verification of Executable UML Models
Brzozowski's algorithm (co)algebraically
Automatic equivalence proofs for non-deterministic coalgebras (revised and extended)
Context-free languages, coalgebraically
A coalgebraic perspective on linear weighted automata
All publications..
Current research
(the most recent research is at the top)
Project leader
CoRE: Coinductive Calculi of Regular Expressions
Completed research projects
(the most recent research is at the top)
Researcher
Processor sharing
Project leader
A semantic approach to component-based software
Project leader
Formal methods for coordination languages (SEN3.1)
Classification
D16300
Theoretical computer science
Go to Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation
Person