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 ]
[Online tool]
[GitHub Repository ]
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 ]
Peer-Reviewed Abstracts
M. A. Francisco Rodríguez,
J. Pearson, J. Sundström Using Constraint Programming to Plan Annual Maintenance of Railway Tracks
EURO 2024, June 2024. (Accepted)
E. Jonsson, C. Teutschbein,
M. Blicharska, M. A. Francisco Rodríguez, A. Todorovic, J. Sušnik, T. Grabs. Data-driven system identification of the WEFE nexus: Challenges and prospects
EGU General Assembly 2024, EGU24-20260, April 2024.
[PDF ]
V. Grande, M. A. Francisco Rodríguez Student Perspectives on Using a Large Language Model (LLM) for an Assignment on Professional Ethics
TUK 2024, March 2024.
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, J. Carreras Puigvert and O. Spjuth. Using Constraint Programming to Design Microplate Layouts
SOAK 2022, October 2022.
[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.
