Search the dblp DataBase
Arnaldo V. Moura :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Silvana Livramento , Arnaldo V. Moura , Flavio Keidi Miyazawa , Mário M. Harada , Rogério A. Miranda A Genetic Algorithm for Telecommunication Network Design. [Citation Graph (0, 0)][DBLP ] EvoWorkshops, 2004, pp:140-149 [Conf ] Tallys H. Yunes , Arnaldo V. Moura , Cid C. de Souza A Hybrid Approach for Solving Large Scale Crew Scheduling Problems. [Citation Graph (0, 0)][DBLP ] PADL, 2000, pp:293-307 [Conf ] Marco A. Casanova , Arnaldo V. Moura , Luiz Tucherman On the Correctness of a Local Storage Subsystem. [Citation Graph (0, 24)][DBLP ] PODS, 1985, pp:123-134 [Conf ] Tallys H. Yunes , Arnaldo V. Moura , Cid C. de Souza Solving Very Large Crew Scheduling Problems to Optimality. [Citation Graph (0, 0)][DBLP ] SAC (1), 2000, pp:446-451 [Conf ] Romulo A. Pereira , Arnaldo V. Moura , Cid C. de Souza Comparative Experiments with GRASP and Constraint Programming for the Oil Well Drilling Problem. [Citation Graph (0, 0)][DBLP ] WEA, 2005, pp:328-340 [Conf ] Alexandre Mota , Arnaldo V. Moura Preface. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:1-2 [Journal ] Arnaldo V. Moura , Guilherme A. Pinto Classes of Timed Automata and the Undecidability of Universality. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal ] Arnaldo V. Moura Early Error Detection in Syntax-Driven Parsers. [Citation Graph (0, 0)][DBLP ] IBM Journal of Research and Development, 1986, v:30, n:6, pp:617-626 [Journal ] Arnaldo V. Moura , Guilherme A. Pinto A note on the verification of automata specifications of probabilistic real-time systems. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 2002, v:82, n:5, pp:223-228 [Journal ] Maikol M. Rodrigues , Cid C. de Souza , Arnaldo V. Moura Vehicle and crew scheduling for urban bus lines. [Citation Graph (0, 0)][DBLP ] European Journal of Operational Research, 2006, v:170, n:3, pp:844-862 [Journal ] Planning and Scheduling the Operation of a Very Large Oil Pipeline Network. [Citation Graph (, )][DBLP ] Heuristics and Constraint Programming Hybridizations for a Real Pipeline Planning and Scheduling Problem. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.003secs