The following pages link to Arnaldo Vieira Moura (Q891045):
Displaying 24 items.
- (Q294871) (redirect page) (← links)
- (Q1161307) (redirect page) (← links)
- A note on the verification of automata specifications of probabilistic real-time systems (Q294873) (← links)
- On finite automata with quantum and classical states (Q891046) (← links)
- Generating invariants for non-linear loops by linear algebraic methods (Q903492) (← links)
- A GRASP strategy for a more constrained school timetabling problem (Q961453) (← links)
- A note on grammatical covers (Q1161308) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Vehicle and crew scheduling for urban bus lines (Q2575569) (← links)
- Classes of Timed Automata and the Undecidability of Universality (Q2842589) (← links)
- Towards Deriving Test Sequences by Model Checking (Q2873605) (← links)
- MODEL PARTITIONS AND COMPACT TEST CASE SUITES (Q2909189) (← links)
- Partial Models and Weak Equivalence (Q2938153) (← links)
- Transcendental inductive invariants generation for non-linear differential and hybrid systems (Q2986749) (← links)
- Constructing nurse schedules at large hospitals (Q3044038) (← links)
- TIGHT QUANTUM BOUNDS FOR COMPUTATIONAL GEOMETRY PROBLEMS (Q3401879) (← links)
- Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems (Q3624592) (← links)
- Early error detection in syntax-driven parsers (Q3771650) (← links)
- (Q3787518) (← links)
- A Generalization of Ogden's Lemma (Q3967068) (← links)
- Scheduling activities at oil wells with resource displacement (Q4600627) (← links)
- Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods (Q4930740) (← links)
- (Q5450118) (← links)
- Endomorphisms for Non-trivial Non-linear Loop Invariant Generation (Q5505618) (← links)
- Experimental and Efficient Algorithms (Q5710032) (← links)