Ocelot (Leopardus pardalis): An Addition to the Mammals of Chihuahua, Mexico by González, Carlos A. López, Miguel, Cristian Aguilar, Carrillo, Federico Mora, González, Zaira Y.

Get full text

Interface Engineering of Synthetic Pores: Towards Hypersensitive Biosensors by Mora, Federico, Tran, Duy-Hien, Oudry, Natalie, Hopfgartner, Gerard, Jeannerat, Damien, Sakai, Naomi, Matile, Stefan

Get full text

Towards more efficient methods for solving regular-expression heavy string constraints by Berzish, Murphy, Day, Joel D., Ganesh, Vijay, Kulczynski, Mitja, Manea, Florin, Mora, Federico, Nowotka, Dirk

Get full text

Message Chains for Distributed System Verification by Mora, Federico, Desai, Ankush, Polgreen, Elizabeth, Seshia, Sanjit A.

Get full text

Synthetic Multifunctional Nanoarchitecture in Lipid Bilayers: Ion Channels, Sensors, and Photosystems 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

Get full text

Variability between observers does not hamper detecting change over time in a temperate reef by Azzola, Annalisa, Atzori, Fabrizio, Bianchi, Carlo Nike, Cadoni, Nicoletta, Frau, Francesca, Mora, Federico, Morri, Carla, Oprandi, Alice, Orrù, Paolo Emanuele, Montefalcone, Monica

Get full text

Typha domingensis and Phragmites australis as alternative and sustainable pulp materials for primary paper based packaging by Senghor, Mame Niny, Bassama, Joseph, Ly, Elhadji Babacar, Mora, Federico, Galaffu, Nicola

Get full text

Scaling Client-Specific Equivalence Checking via Impact Boundary Search by Feng, Nick, Mora, Federico, Hui, Vincent, Chechik, Marsha

Get full text

Client-Specific Equivalence Checking by Mora, Federico, Li, Yi, Rubin, Julia, Chechik, Marsha

Request full text

In-line characterization of ground oilseeds concentration in solid-liquid dispersions in the food industry by Marconati, Marco, Haiduc, Adrian, Berrut, Stéphane, Mora, Federico, Santomaso, Andrea C., Cavinato, Mauro

Get full text

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes by Shah, Amar, Mora, Federico, Seshia, Sanjit A.

Get full text

Stereoselective synthesis of (2S,3S,4R,5S)-5-methylpyrrolidine-3,4-diol derivatives that are highly selective alpha-L-fucosidase inhibitors by Moreno-Vargas, Antonio J, Carmona, Ana T, Mora, Federico, Vogel, Pierre, Robina, Inmaculada

Get full text

Expert system for clustering prokaryotic species by their metabolic features by Higuera, Clara, Pajares, Gonzalo, Tamames, Javier, Morán, Federico

Get full text

An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes by Shah, Amar, Mora, Federico, Seshia, Sanjit A

Get full text

Towards more efficient methods for solving regular-expression heavy string constraints by Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Request full text

String theories involving regular membership predicates: from practice to theory and back by Murphy Berzish, Joel Day, Vijay Ganesh, Mitja Kulczynski, Florin Manea, Federico Mora, Dirk Nowotka

Request full text

An SMT solver for regular expressions and linear arithmetic over string length by Murphy Berzish, Mitja Kulczynski, Federico Mora, Florin Manea, Joel Day, Dirk Nowotka, Vijay Ganesh

Request full text

Genetic Algorithms for Searching a Matrix of Metagrammars for Synthesis by Li, Yixuan, Mora, Federico, Polgreen, Elizabeth, Seshia, Sanjit A

Get full text

Artificial tongues and leaves by Banerji, Natalie, Bhosale, Rajesh, Bollot, Guillaume, Butterfield, Sara M., Fürstenberg, Alexandre, Gorteau, Virginie, Hagihara, Shinya, Hennig, Andreas, Maity, Santanu, Mareda, Jiri, Matile, Stefan, Mora, Federico, Perez-Velasco, Alejandro, Ravikumar, Velayutham, Kishore, Ravuri S. K., Sakai, Naomi, Tran, Duy-Hien, Vauthey, Eric

Get full text

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages by Mora, Federico, Wong, Justin, Haley Lepe, Bhatia, Sahil, Elmaaroufi, Karim, Varghese, George, Gonzalez, Joseph E, Polgreen, Elizabeth, Seshia, Sanjit A

Get full text