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, DAVIDEK TOMAS, POLSTER JOHANNES
Year of Publication 24.10.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 OKAMURA SATOSHI, SARRAZIN HORISBERGER CELINE, MORA FEDERICO, VILANOVA ELSA, POISSON LUIGI, SPRENG STEFAN, RESINK ROMBOUTS MARINA
Year of Publication 30.06.2023

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 DUPAS JULIEN, COTTER DANIEL, MORA FEDERICO, ROBASZKIEWICZ ALEKSANDER, FU XIAOPING
Year of Publication 08.10.2021

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