Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Valeria Vignudelli
On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Environmental Bisimulations for Probabilistic Higher-Order Languages
ACM Transactions on Programming Languages and Systems
Software
Related publications
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Testing Equivalences for Processes
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model-Based Testing of Probabilistic Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Risk Analysis of Power Systems for Both Real and Reactive Power
Journal of Modern Power Systems and Clean Energy
Renewable Energy
Power Technology
the Environment
Sustainability
Energy Engineering
Some Problems Concerning the Equivalences of Two Systems of Differential Equations
Lecture Notes in Mathematics
Number Theory
Algebra
Systematic Testing of Asynchronous Reactive Systems
Generalized Instantaneous Reactive Power Theory for Three-Phase Power Systems
IEEE Transactions on Instrumentation and Measurement
Electronic Engineering
Electrical
Instrumentation
Equivalences of Pushdown Systems Are Hard
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
