dblp.uni-trier.dewww.uni-trier.de

Arnaldo V. Moura

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
14EEArnaldo 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
13EEArnaldo 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
12EEArnaldo V. Moura, Guilherme A. Pinto: Classes of Timed Automata and the Undecidability of Universality. Fundam. Inform. 82(1-2): 171-184 (2008)
2006
11EEMaikol 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
10EERomulo 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
9EEAlexandre Mota, Arnaldo V. Moura: Preface. Electr. Notes Theor. Comput. Sci. 130: 1-2 (2005)
2004
8EESilvana 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
7EEArnaldo V. Moura, Guilherme A. Pinto: Classes of Timed Automata and the Undecidability of Universality. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
6EEArnaldo 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
5EETallys 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
1EEMarco A. Casanova, Arnaldo V. Moura, Luiz Tucherman: On the Correctness of a Local Storage Subsystem. PODS 1985: 123-134

Coauthor Index

1Marco A. Casanova [1]
2André A. Ciré [13] [14]
3Mário M. Harada [8]
4Silvana Livramento [8]
5Tony M. T. Lopes [13] [14]
6Claudio L. Lucchesi (Cláudio Leonardo Lucchesi) [3]
7Rogério A. Miranda [8]
8Flávio Keidi Miyazawa (Flavio Keidi Miyazawa) [8]
9Alexandre Mota (Alexandre Cabral Mota) [9]
10Romulo A. Pereira [10]
11Guilherme A. Pinto [6] [7] [12]
12Maikol M. Rodrigues [11]
13Cid C. de Souza [4] [5] [10] [11] [13] [14]
14Luiz Tucherman [1]
15Tallys H. Yunes [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)