Seguir
Arnaldo Moura
Arnaldo Moura
Professor de Ciências da Computação, UNICAMP
Dirección de correo verificada de ic.unicamp.br
Título
Citado por
Citado por
Año
Hybrid column generation approaches for urban transit crew management problems
TH Yunes, AV Moura, CC De Souza
Transportation Science 39 (2), 273-288, 2005
872005
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
652006
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
572003
A hybrid model for a multiproduct pipeline planning and scheduling problem
TMT Lopes, AA Ciré, CC de Souza, AV Moura
Constraints 15, 151-189, 2010
552010
A generalization of Ogden's lemma
C Bader, A Moura
Journal of the ACM (JACM) 29 (2), 404-407, 1982
551982
A GRASP strategy for a more constrained School Timetabling Problem
AV Moura, RA Scaraficci
International Journal of Operational Research 7 (2), 152-170, 2010
492010
Planning and scheduling the operation of a very large oil pipeline network
AV Moura, CC de Souza, AA Cire, TMT Lopes
Principles and Practice of Constraint Programming: 14th International …, 2008
432008
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
372000
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
362017
Generating invariants for non-linear hybrid systems by linear algebraic methods
N Matringe, AV Moura, R Rebiha
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France …, 2010
342010
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
322000
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
192008
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
182008
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, A Vieira Moura
International Colloquium on Theoretical Aspects of Computing, 425-439, 2008
172008
Generating invariants for non-linear hybrid systems
R Rebiha, AV Moura, N Matringe
Theoretical Computer Science 594, 180-200, 2015
162015
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
162012
Hybrid column generation approaches for solving real world crew management problems
TH Yunes, AV Moura, CC de Souza
Lecture Notes in Computer Science 1753, 293-332, 2000
142000
Heterotaxy syndrome with agenesis of dorsal pancreas and diabetes mellitus: case report and review of the literature
CM Riguetto, S Pelichek, A Moura
Archives of endocrinology and metabolism 63, 445-448, 2019
132019
Morphisms for non-trivial non-linear invariant generation for algebraic hybrid systems
N Matringe, AV Moura, R Rebiha
Hybrid Systems: Computation and Control: 12th International Conference, HSCC …, 2009
132009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20