 | 2008 |
|---|
| 15 |       | Arnaldo V. Moura,
Cid C. de Souza,
André A. Ciré,
Tony M. T. Lopes:
Planning and Scheduling the Operation of a Very Large Oil Pipeline Network.
CP 2008: 36-51 |
| 14 | | Arnaldo V. Moura,
Cid C. de Souza,
André A. Ciré,
Tony M. T. Lopes:
Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem.
CSE 2008: 455-462 |
| 13 | | Arnaldo V. Moura,
Guilherme A. Pinto:
Classes of Timed Automata and the Undecidability of Universality.
Fundam. Inform. 82(1-2): 171-184 (2008) |
| 2006 |
|---|
| 12 | | Maikol M. Rodrigues,
Cid C. de Souza,
Arnaldo V. Moura:
Vehicle and crew scheduling for urban bus lines.
European Journal of Operational Research 170(3): 844-862 (2006) |
| 2005 |
|---|
| 11 | | Romulo A. Pereira,
Arnaldo V. Moura,
Cid C. de Souza:
Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem.
WEA 2005: 328-340 |
| 10 | | Alexandre Mota,
Arnaldo V. Moura:
Preface.
Electr. Notes Theor. Comput. Sci. 130: 1-2 (2005) |
| 9 | | Tallys H. Yunes,
Arnaldo V. Moura,
Cid C. de Souza:
Hybrid Column Generation Approaches for Urban Transit Crew Management Problems.
Transportation Science 39(2): 273-288 (2005) |
| 2004 |
|---|
| 8 | | Silvana Livramento,
Arnaldo V. Moura,
Flavio Keidi Miyazawa,
Mário M. Harada,
Rogério A. Miranda:
A Genetic Algorithm for Telecommunication Network Design.
EvoWorkshops 2004: 140-149 |
| 2002 |
|---|
| 7 | | Arnaldo V. Moura,
Guilherme A. Pinto:
Classes of Timed Automata and the Undecidability of Universality.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 6 | | Arnaldo V. Moura,
Guilherme A. Pinto:
A note on the verification of automata specifications of probabilistic real-time systems.
Inf. Process. Lett. 82(5): 223-228 (2002) |
| 2000 |
|---|
| 5 | | Tallys H. Yunes,
Arnaldo V. Moura,
Cid C. de Souza:
A Hybrid Approach for Solving Large Scale Crew Scheduling Problems.
PADL 2000: 293-307 |
| 4 |  | Tallys H. Yunes,
Arnaldo V. Moura,
Cid C. de Souza:
Solving Very Large Crew Scheduling Problems to Optimality.
SAC (1) 2000: 446-451 |
| 1998 |
|---|
| 3 | | Claudio L. Lucchesi,
Arnaldo V. Moura:
LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings
Springer 1998 |
| 1986 |
|---|
| 2 | | Arnaldo V. Moura:
Early Error Detection in Syntax-Driven Parsers.
IBM Journal of Research and Development 30(6): 617-626 (1986) |
| 1985 |
|---|
| 1 | | Marco A. Casanova,
Arnaldo V. Moura,
Luiz Tucherman:
On the Correctness of a Local Storage Subsystem.
PODS 1985: 123-134 |
