| Hybrid column generation approaches for urban transit crew management problems TH Yunes, AV Moura, CC De Souza Transportation Science 39 (2), 273-288, 2005 | 81 | 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 | 63 | 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 | 56 | 2003 |
| A generalization of Ogden's lemma C Bader, A Moura Journal of the ACM (JACM) 29 (2), 404-407, 1982 | 56 | 1982 |
| 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 | 53 | 2010 |
| A GRASP strategy for a more constrained School Timetabling Problem AV Moura, RA Scaraficci International Journal of Operational Research 7 (2), 152-170, 2010 | 48 | 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 | 41 | 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 | 38 | 2000 |
| 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 | 33 | 2010 |
| 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 | 32 | 2017 |
| 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 |
| 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 | 18 | 2012 |
| A generalized model-based test generation method AL Bonifácio, AV Moura, A da Silva Simão 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 18 | 2008 |
| 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 | 18 | 2008 |
| 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 |
| 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 |
| Generating invariants for non-linear hybrid systems R Rebiha, AV Moura, N Matringe Theoretical Computer Science 594, 180-200, 2015 | 14 | 2015 |
| 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 |
| 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 |
| Comparative experiments with GRASP and constraint programming for the oil well drilling problem RA Pereira, AV Moura, CC de Souza International Workshop on Experimental and Efficient Algorithms, 328-340, 2005 | 12 | 2005 |
