Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Miguel Isabel
Constrained Dynamic Partial Order Reduction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Partial-Order Reduction for General State Exploring Algorithms
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Improving Dynamic Partial Order Reductions for Concolic Testing
Partial-Order Reduction and Trail Improvement in Directed Model Checking
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Dynamic Iteration and Model Order Reduction for Magneto-Quasistatic Systems
The Lazy Happens-Before Relation: Better Partial-Order Reduction for Systematic Concurrency Testing
ACM SIGPLAN Notices
Computer Science
Latency Reduction by Dynamic Core Selection and Partial Migration of Game State
Failure Driven Dynamic Search Control for Partial Order Planners: An Explanation Based Approach
Artificial Intelligence
Linguistics
Language
Artificial Intelligence
Numerosity Reduction for Resource Constrained Learning
Journal of Information Processing
