Παρακολούθηση
Arnaldo Moura
Arnaldo Moura
Professor de Ciências da Computação, UNICAMP
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα ic.unicamp.br
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Hybrid column generation approaches for urban transit crew management problems
TH Yunes, AV Moura, CC De Souza
Transportation Science 39 (2), 273-288, 2005
822005
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
632006
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
562003
A generalization of Ogden's lemma
C Bader, A Moura
Journal of the ACM (JACM) 29 (2), 404-407, 1982
561982
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
532010
A GRASP strategy for a more constrained School Timetabling Problem
AV Moura, RA Scaraficci
International Journal of Operational Research 7 (2), 152-170, 2010
482010
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
412008
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
382000
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
332017
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
332010
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
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
182012
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
182008
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
182008
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
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
Generating invariants for non-linear hybrid systems
R Rebiha, AV Moura, N Matringe
Theoretical Computer Science 594, 180-200, 2015
142015
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
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
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
122005
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20