Arnaldo Vieira Moura

Available identifiers

zbMath Open moura.arnaldo-vieiraMaRDI QIDQ891045

List of research outcomes

Publication	Date of Publication	Type
Scheduling activities at oil wells with resource displacement	2018-01-12	Paper
Transcendental inductive invariants generation for non-linear differential and hybrid systems	2017-05-16	Paper
A note on the verification of automata specifications of probabilistic real-time systems	2016-06-16	Paper
Generating invariants for non-linear loops by linear algebraic methods	2016-01-06	Paper
On finite automata with quantum and classical states	2015-11-16	Paper
Generating invariants for non-linear hybrid systems	2015-07-24	Paper
Partial Models and Weak Equivalence	2015-01-13	Paper
Towards Deriving Test Sequences by Model Checking	2014-01-24	Paper
Classes of Timed Automata and the Undecidability of Universality	2013-08-15	Paper
MODEL PARTITIONS AND COMPACT TEST CASE SUITES	2012-08-30	Paper
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods	2010-10-01	Paper
A GRASP strategy for a more constrained school timetabling problem	2010-03-30	Paper
TIGHT QUANTUM BOUNDS FOR COMPUTATIONAL GEOMETRY PROBLEMS	2010-02-01	Paper
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems	2009-04-30	Paper
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation	2009-01-27	Paper
https://portal.mardi4nfdi.de/entity/Q5450118	2008-03-19	Paper
Vehicle and crew scheduling for urban bus lines	2005-12-05	Paper
Experimental and Efficient Algorithms	2005-11-30	Paper
Constructing nurse schedules at large hospitals	2004-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q3787518	1987-01-01	Paper
Early error detection in syntax-driven parsers	1986-01-01	Paper
A Generalization of Ogden's Lemma	1982-01-01	Paper
A note on grammatical covers	1980-01-01	Paper

Research outcomes over time

This page was built for person: Arnaldo Vieira Moura