Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Domagoj Babić
Asynchronously Communicating Visibly Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extraction of Statistically Significant Malware Behaviors
Related publications
Visibly Pushdown Languages
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Visibly Pushdown Transducers With Look-Ahead
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Controllers for the Verification of Communicating Multi-Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analyzing Interactions of Asynchronously Communicating Software Components
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Visibly Pushdown Transducers for Approximate Validation of Streaming XML
Compatibility Checking for Asynchronously Communicating Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalences of Pushdown Systems Are Hard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science