Hybrid column generation approaches for urban transit crew management problems TH Yunes, AV Moura, CC De Souza Transportation Science 39 (2), 273-288, 2005 | 87 | 2005 |
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 | 65 | 2006 |
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 | 57 | 2003 |
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 | 55 | 2010 |
A generalization of Ogden's lemma C Bader, A Moura Journal of the ACM (JACM) 29 (2), 404-407, 1982 | 55 | 1982 |
A GRASP strategy for a more constrained School Timetabling Problem AV Moura, RA Scaraficci International Journal of Operational Research 7 (2), 152-170, 2010 | 49 | 2010 |
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 | 43 | 2008 |
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 | 37 | 2000 |
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 | 36 | 2017 |
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 | 34 | 2010 |
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 | 32 | 2000 |
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 | 19 | 2008 |
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 | 18 | 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 | 17 | 2012 |
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 | 17 | 2008 |
Generating invariants for non-linear hybrid systems R Rebiha, AV Moura, N Matringe Theoretical Computer Science 594, 180-200, 2015 | 16 | 2015 |
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 | 16 | 2012 |
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 | 14 | 2000 |
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 | 13 | 2019 |
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 | 13 | 2009 |