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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Arnaldo Vieira Moura