M. Dahlö, A. Larsson, D. Rosén,
M. A. Francisco Rodríguez, J. Rietdijk, P. Georgiev,
R. Nyström, M. Lapins, W. Schaal, J. Carreras Puigvert, O. Spjuth AROS: Open Source Lab Automation Enables Fully Automated CellPainting
In thesis: Approaches for Distributing Large Scale Bioinformatic Analyses, September 2021.
Peer-Reviewed Publications
T. Zhang, A. Gupta, M. A. Francisco Rodríguez, O. Spjuth, A. Hellander, S. Toor Data Management of Scientific Applications in a Reinforcement Learning-Based Hierarchical Storage System
Expert Systems With Applications, March 2024.
[PDF ]
[Preprint ]
M. A. Francisco Rodríguez, J. Carreras Puigvert and O. Spjuth. Designing microplate layouts using artificial intelligence
Artificial Intelligence in the Life Sciences, December 2023.
[PDF ]
[Preprint ]
E. Jonsson, C. Teutschbein, T. Grabs, A. Todorovic, M. A. Francisco Rodríguez, M.
Blicharska. Modelling The Water-Energy-Food-Ecosystem Nexus Using Data-Driven Methods
EGU General Assembly 2023, EGU23-15793, April 2023.
[PDF ]
M. A. Francisco Rodríguez, and O. Spjuth. A Constraint Programming Approach to Microplate Layout Design
In: J. Espasa and N. Dang (editors), Proceedings of ModRef 2020,
the 19th International Workshop on Constraint Modelling and Reformulation, held at CP 2020, September 2020.
[PDF
]
[Slides
]
[Video ]
M. A. Francisco Rodríguez. Computer Science as a Global Language XRDS: Crossroads, The ACM Magazine for Students, 2018
[PDF ]
E. Arafailova, N. Beldiceanu, M. Carlsson, R. Douence, M. A. Francisco Rodríguez, and H. Simonis. A Transducer-Based Model for Representing Functional Constraints on Integer Sequences
In: K. Leo (editor), Proceedings of ModRef 2018,
the 17th International Workshop on Constraint Modelling and Reformulation, held at CP 2018, August 2018.
[PDF
]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Automatic Generation of Descriptions of Time-Series Constraints In: M. Virvou, J.-M. Lagniez, and A. Lallouet (editors), ICTAI 2017. IEEE Computer Society, 2017.
[PDF ] [Preprint ] [Slides ] [Best Student Paper Award ]
E. Arafailova, N. Beldiceanu, M. Carlsson, P. Flener, M. A. Francisco Rodríguez, J. Pearson, and H. Simonis. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints In: M. Rueher (editor), CP 2016. Lecture Notes in Computer Science, volume 9892, pages 13-29. Springer, 2016.
[PDF ] [Preprint ]
E. Arafailova, N. Beldiceanu, R. Douence, P. Flener, M. A. Francisco Rodríguez, J. Pearson, and H. Simonis. Time-series constraints: Improvements and application in CP and MIP contexts In: C.-G. Quimper (editor), CP-AI-OR 2016. Lecture Notes in Computer Science, volume 9676, pages 18-34. Springer, 2016.
[PDF ] [Preprint ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Implied Constraints for AUTOMATON Constraints In: G. Gottlob, G. Sutcliffe, and A. Voronkov (editors), GCAI 2015. EasyChair Proceedings in Computing, volume 36, pages 113-126, 2015.
[PDF ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Implied Constraints for AUTOMATON Constraints CP 2015 Doctoral Program
[PDF ]
N. Beldiceanu, M. Carlsson, P. Flener, M. A. Francisco Rodríguez, and J. Pearson. Linking prefixes and suffixes for constraints encoded using automata with accumulators In: B. O'Sullivan (editor), Proceedings of CP 2014. Lecture Notes in Computer Science. Springer-Verlag, 2014.
[PDF ]
[Preprint ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Generation of Implied Constraints for Automaton-Induced Decompositions In: É. Grégoire and B. Mazure (editors), Proceedings of ICTAI/CSP 2013, the special track on SAT and CSP technologies of the 25th IEEE International Conference on Tools with Artificial Intelligence. IEEE Computer Society.
[PDF ]
[Preprint ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Consistency of Constraint Networks Induced by Automaton-Based Constraint Specification In: A. Rendl and Ch. Beck
(editors), Proceedings of ModRef 2011, the
10th International Workshop on Constraint
Modelling and Reformulation, held at CP 2011,
September 2011.
[PDF ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Consistency of Constraint Networks Induced by Automaton-Based Constraint Specification CP 2011 Doctoral Program
[PDF ]
White Papers
P. Carroll, A. Esposito Amideo, M. A. Francisco Rodríguez, R. Mansini, N. Morrill, F. O’Brien, M. T. Tchemisova Promoting Gender Equality and Inclusivity in EURO Activities: WISDOM Forum White Paper EURO WISDOM Forum , July 2020.
[PDF ]
Other
E. Arafailova, N. Beldiceanu, R. Douence, M. Carlsson, P. Flener, M. A. Francisco Rodríguez, J. Pearson, and H. Simonis. Global Constraint Catalog, Volume II, Time-Series Constraints Computing Research Repository 1609.08925, September 2016.
[PDF ]
Posters
M. A. Francisco Rodríguez,
J. Carreras Puigvert, O. Spjuth. Designing Microplate Layouts Using Artificial Intelligence SciLifeLab Data-Driven Life Science (DDLS) Annual conference, November 2022.
[Poster ]
M. A. Francisco Rodríguez,
J. Carreras Puigvert, O. Spjuth. Designing Microplate Layouts Using Artificial Intelligence The Swedish e-Science Academy, October 2022.
[Poster ]
M. A. Francisco Rodríguez, R. H. C. Yap. Solving Constraints Modelled by Automata NUS SoC - RIKEN AIP workshop on Artificial Intelligence, September 2018.
[Poster ] [Photo ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Implied Constraints for Automaton Constraints CP 2015, the 21st International Conference on the Principles and Practice of Constraint Programming, September 2015.
[Poster ] [Best Poster Award ]
M. A. Francisco Rodríguez, P. Flener, and J. Pearson. Consistency of Constraint Networks Induced by Automaton-Based Constraint Specification CP 2011, the 17th International Conference on the Principles and Practice of Constraint Programming, September 2011.
Theses
Doctoral Thesis Analysis, Synthesis and Application of Automaton-Based Constraint Descriptions Department of Information Technology, Uppsala University, Sweden, December 2017. Advisors: Justin Pearson, Pierre Flener.
[PDF ]
[Errata ]
Master Thesis Consistency of Constraint Networks Induced by Automaton-Based Constraint Specifications Department of Information Technology, Uppsala University, Sweden, July 2011. Advisor: Justin Pearson.
[PDF ]
Bachelor Thesis Support Vector Machines: Training and Application on Frontal Human Face Detection in Images Department of Computer Science, Simón Bolívar University, Venezuela, December 2006. Advisors: Debora Cores, María González.