| 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 | 64 | 2006 |
| A generalization of Ogden's lemma C Bader, A Moura Journal of the ACM (JACM) 29 (2), 404-407, 1982 | 60 | 1982 |
| 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 | 57 | 2010 |
| 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 GRASP strategy for a more constrained School Timetabling Problem AV Moura, RA Scaraficci International Journal of Operational Research 7 (2), 152-170, 2010 | 50 | 2010 |
| 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 | 42 | 2008 |
| 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 | 39 | 2017 |
| 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 International Static Analysis Symposium, 373-389, 2010 | 36 | 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 | 30 | 2000 |
| 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 | 19 | 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 | 18 | 2008 |
| Generating invariants for non-linear hybrid systems R Rebiha, AV Moura, N Matringe Theoretical Computer Science 594, 180-200, 2015 | 17 | 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 | 17 | 2012 |
| 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 | 17 | 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 | 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 |
| On the completeness of test suites AL Bonifacio, AV Moura Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1287-1292, 2014 | 13 | 2014 |
| A project portfolio selection decision support system C Mira, P Feijao, MA Souza, A Moura, J Meidanis, G Lima, RP Bossolan, ... 2013 10th International Conference on Service Systems and Service Management …, 2013 | 13 | 2013 |
