Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Maria Luisa Villani
Discovery of SOA Patterns via Model Checking
Related publications
Security Engineering of SOA Applications via Reliability Patterns
Journal of Software Engineering and Applications
Studying the Performance Impact of SOA Design Patterns via Coupled Model Transformations
Partial Model Checking via Abstract Interpretation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Conformant Planning via Symbolic Model Checking
Journal of Artificial Intelligence Research
Artificial Intelligence
Streaming Process Discovery and Conformance Checking
Decomposed Process Discovery and Conformance Checking
Model Checking
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
