Arnaldo Moura
Arnaldo Moura
Professor de Ciências da Computação, UNICAMP
Verified email at ic.unicamp.br
Title
Cited by
Cited by
Year
Hybrid column generation approaches for urban transit crew management problems
TH Yunes, AV Moura, CC De Souza
Transportation Science 39 (2), 273-288, 2005
722005
Vehicle and crew scheduling for urban bus lines
MM Rodrigues, CC de Souza, AV Moura
European Journal of Operational Research 170 (3), 844-862, 2006
542006
A generalization of Ogden's lemma
C Bader, A Moura
Journal of the ACM (JACM) 29 (2), 404-407, 1982
501982
Constructing nurse schedules at large hospitals
TM Dias, DF Ferber, CC De Souza, AV Moura
International Transactions in Operational Research 10 (3), 245-265, 2003
482003
A hybrid model for a multiproduct pipeline planning and scheduling problem
TMT Lopes, AA Ciré, CC de Souza, AV Moura
Constraints 15 (2), 151-189, 2010
452010
A GRASP strategy for a more constrained School Timetabling Problem
AV Moura, RA Scaraficci
International Journal of Operational Research 7 (2), 152-170, 2010
452010
Planning and scheduling the operation of a very large oil pipeline network
AV Moura, CC de Souza, AA Cire, TMT Lopes
International Conference on Principles and Practice of Constraint …, 2008
392008
Solving very large crew scheduling problems to optimality
TH Yunes, AV Moura, CC De Souza
Proceedings of the 2000 ACM symposium on Applied computing-Volume 1, 446-451, 2000
342000
A hybrid approach for solving large scale crew scheduling problems
TH Yunes, AV Moura, CC De Souza
International Symposium on Practical Aspects of Declarative Languages, 293-307, 2000
302000
Generating invariants for non-linear hybrid systems by linear algebraic methods
N Matringe, AV Moura, R Rebiha
International Static Analysis Symposium, 373-389, 2010
292010
PERFECT COLORINGS OF RADIUS r > 1 OF THE INFINITE RECTANGULAR GRID
SA PUZYNINA
Сибирские электронные математические известия 5, 283-292, 2008
27*2008
Transcendental inductive invariants generation for non-linear differential and hybrid systems
R Rebiha, N Matringe, AV Moura
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
172012
Endomorphisms for non-trivial non-linear loop invariant generation
R Rebiha, N Matringe, AV Moura
International Colloquium on Theoretical Aspects of Computing, 425-439, 2008
172008
Heuristics and constraint programming hybridizations for a real pipeline planning and scheduling problem
AV Moura, CC de Souza, AA Cire, TMT Lopes
2008 11th IEEE International Conference on Computational Science and …, 2008
172008
A generalized model-based test generation method
AL Bonifácio, AV Moura, A da Silva Simao
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
162008
Model partitions and compact test case suites
AL Bonifacio, AV Moura, A Simao
International Journal of Foundations of Computer Science 23 (01), 147-172, 2012
142012
An improved visualization-based approach for project portfolio selection
CG da Silva, J Meidanis, AV Moura, MA Souza, P Viadanna Jr, ...
Computers in Human Behavior 73, 685-696, 2017
132017
Morphisms for non-trivial non-linear invariant generation for algebraic hybrid systems
N Matringe, AV Moura, R Rebiha
International Workshop on Hybrid Systems: Computation and Control, 445-449, 2009
132009
Hybrid column generation approaches for solving real world crew management problems
TH Yunes, AV Moura, CC de Souza
Relatório Técnico IC-00-18, 2000
132000
Generating invariants for non-linear hybrid systems
R Rebiha, AV Moura, N Matringe
Theoretical Computer Science 594, 180-200, 2015
102015
The system can't perform the operation now. Try again later.
Articles 1–20