by Mora, Federico, Tran, Duy-Hien, Oudry, Natalie, Hopfgartner, Gerard, Jeannerat, Damien, Sakai, Naomi, Matile, Stefan
Published in Chemistry : a European journal (18.02.2008)

by González, Carlos A. López, Miguel, Cristian Aguilar, Carrillo, Federico Mora, González, Zaira Y.
Published in Western North American naturalist (01.12.2014)

by Arroyo Hernández, Jorge, Mora Mora, Federico, Trigueros Rodríguez, Eithel, Porras Lizano, Karen
Published in Revista Digital Matemática, Educación e Internet (31.01.2024)

by Bhosale, Rajesh, Bhosale, Sheshanath, Bollot, Guillaume, Gorteau, Virginie, Julliard, Marc D, Litvinchuk, Svetlana, Mareda, Jiri, Matile, Stefan, Miyatake, Tomohiro, Mora, Federico, Perez-Velasco, Alejandro, Sakai, Naomi, Sisson, Adam L, Tanaka, Hiroyuki, Tran, Duy-Hien
Published in Bulletin of the Chemical Society of Japan (15.06.2007)

by Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk
Published in Theoretical computer science (17.01.2023)

by Mora, Federico, Desai, Ankush, Polgreen, Elizabeth, Seshia, Sanjit A.
Published in Proceedings of ACM on programming languages (16.10.2023)

by Jorge Arroyo Hernández, Carlos M. Travieso González, Jaime Ticay Rivas, Federico Mora Mora, Oscar Salas Huertas, Melvin Ramírez Bogantes, Luis Sánchez Chavez
Published in Uniciencia (01.01.2013)

by Melvin Ramírez Bogantes, Carlos Travieso González, Rafael Ángel Calderón, Jorge Arroyo Hernández, Oscar Salas Huertas, Federico Mora Mora, Juan Pablo Prendas Rojas
Published in Uniciencia (01.07.2013)

by Azzola, Annalisa, Atzori, Fabrizio, Bianchi, Carlo Nike, Cadoni, Nicoletta, Frau, Francesca, Mora, Federico, Morri, Carla, Oprandi, Alice, Orrù, Paolo Emanuele, Montefalcone, Monica
Published in Marine environmental research (01.05.2022)

by Senghor, Mame Niny, Bassama, Joseph, Ly, Elhadji Babacar, Mora, Federico, Galaffu, Nicola
Published in Bioresource technology reports (01.02.2024)

by Feng, Nick, Mora, Federico, Hui, Vincent, Chechik, Marsha
Published in 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2020)

by Mora, Federico, Berzish, Murphy, Kulczynski, Mitja, Nowotka, Dirk, Ganesh, Vijay
Published in Formal Methods (2021)

by Mora, Federico, Li, Yi, Rubin, Julia, Chechik, Marsha
Published in 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.09.2018)

by Scott, Joseph, Mora, Federico, Ganesh, Vijay
Published in Software Verification (2020)

by Marconati, Marco, Haiduc, Adrian, Berrut, Stéphane, Mora, Federico, Santomaso, Andrea C., Cavinato, Mauro
Published in Food science & technology (01.04.2017)

by Scott, Joseph, Sudula, Trishal, Rehman, Hammad, Mora, Federico, Ganesh, Vijay
Published in Formal Methods (2021)

by VALERIE MARTINE JEANINE LELOUP, FEDERICO MORA, ERIC DOSSIN, PHILIPPE MONTAVON
Year of Publication 26.09.2019

by Akhundov, Murad, Mora, Federico, Feng, Nick, Hui, Vincent, Chechik, Marsha
Published in Automated Technology for Verification and Analysis (2021)

by Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk
Published in Combinatorics on Words (2021)

by Páez, Christian, Abarca, Marvin, Chaves, Leonel, Hernández, Alexander, Calderón, Gabriela, Mora, Federico, Ramírez, Jeremías, Jiménez, David, Mora, German, Chaves, Emmanuel, Hernández, Salomón
Published in Revista Digital Matemática, Educación e Internet (03.03.2020)