Notice: Unexpected clearActionName after getActionName already called in /var/www/html/includes/context/RequestContext.php on line 338
Arnaldo Vieira Moura - MaRDI portal

Arnaldo Vieira Moura

From MaRDI portal
(Redirected from Person:294871)
Person:891045

Available identifiers

zbMath Open moura.arnaldo-vieiraMaRDI QIDQ891045

List of research outcomes

PublicationDate of PublicationType
Scheduling activities at oil wells with resource displacement2018-01-12Paper
Transcendental inductive invariants generation for non-linear differential and hybrid systems2017-05-16Paper
A note on the verification of automata specifications of probabilistic real-time systems2016-06-16Paper
Generating invariants for non-linear loops by linear algebraic methods2016-01-06Paper
On finite automata with quantum and classical states2015-11-16Paper
Generating invariants for non-linear hybrid systems2015-07-24Paper
Partial Models and Weak Equivalence2015-01-13Paper
Towards Deriving Test Sequences by Model Checking2014-01-24Paper
Classes of Timed Automata and the Undecidability of Universality2013-08-15Paper
MODEL PARTITIONS AND COMPACT TEST CASE SUITES2012-08-30Paper
Generating Invariants for Non-linear Hybrid Systems by Linear Algebraic Methods2010-10-01Paper
A GRASP strategy for a more constrained school timetabling problem2010-03-30Paper
TIGHT QUANTUM BOUNDS FOR COMPUTATIONAL GEOMETRY PROBLEMS2010-02-01Paper
Morphisms for Non-trivial Non-linear Invariant Generation for Algebraic Hybrid Systems2009-04-30Paper
Endomorphisms for Non-trivial Non-linear Loop Invariant Generation2009-01-27Paper
https://portal.mardi4nfdi.de/entity/Q54501182008-03-19Paper
Vehicle and crew scheduling for urban bus lines2005-12-05Paper
Experimental and Efficient Algorithms2005-11-30Paper
Constructing nurse schedules at large hospitals2004-08-10Paper
https://portal.mardi4nfdi.de/entity/Q37875181987-01-01Paper
Early error detection in syntax-driven parsers1986-01-01Paper
A Generalization of Ogden's Lemma1982-01-01Paper
A note on grammatical covers1980-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Arnaldo Vieira Moura