Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) by Ekici, Burak, Katz, Guy, Keller, Chantal, Mebsout, Alain, Reynolds, Andrew J., Tinelli, Cesare

Get full text

Proceedings Seventh Workshop on Proof eXchange for Theorem Proving: Preface by Keller, Chantal, Fleury, Mathias

Get full text

A Certified Compiler for Verifiable Computing by Fournet, Cedric, Keller, Chantal, Laporte, Vincent

Request full text

General Automation in Coq through Modular Transformations by Blot, Valentin, Dubois de Prisque, Louise, Keller, Chantal, Vial, Pierre

Get full text

Translating canonical SQL to imperative code in Coq by Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme

Get full text

Proceedings Seventh Workshop on Proof eXchange for Theorem Proving by Keller, Chantal, Fleury, Mathias

Get full text

PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving by Keller, Chantal, Fleury, Mathias

Get full text

Compositional pre-processing for automated reasoning in dependent type theory by Blot, Valentin, Cousineau, Denis, Crance, Enzo, Louise Dubois de Prisque, Keller, Chantal, Mahboubi, Assia, Vial, Pierre

Get full text

General Automation in Coq through Modular Transformations by Blot, Valentin, Louise Dubois de Prisque, Keller, Chantal, Vial, Pierre

Get full text

Parametricity in an Impredicative Sort by Keller, Chantal, Lasson, Marc

Get full text

Translating Canonical SQL to Imperative Code in Coq by Benzaken, Véronique, Contejean, Évelyne, Hachmaoui, Mohammed Houssem, Keller, Chantal, Mandel, Louis, Shinnar, Avraham, Siméon, Jérôme

Get full text

The Refined Calculus of Inductive Construction: Parametricity and Abstraction by Keller, Chantal, Lasson, Marc

Get full text

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract) by Ekici, Burak, Katz, Guy, Keller, Chantal, Mebsout, Alain, Reynolds, Andrew J, Tinelli, Cesare

Get full text

Neuronal network dysfunction in a model for Kleefstra syndrome mediated by enhanced NMDAR signaling by Frega, Monica, Linda, Katrin, Keller, Jason M., Gümüş-Akay, Güvem, Mossink, Britt, van Rhijn, Jon-Ruben, Negwer, Moritz, Klein Gunnewiek, Teun, Foreman, Katharina, Kompier, Nine, Schoenmaker, Chantal, van den Akker, Willem, van der Werf, Ilse, Oudakker, Astrid, Zhou, Huiqing, Kleefstra, Tjitske, Schubert, Dirk, van Bokhoven, Hans, Nadif Kasri, Nael

Get full text

Indirect Fitness Benefits Enable the Spread of Host Genes Promoting Costly Transfer of Beneficial Plasmids by Dimitriu, Tatiana, Misevic, Dusan, Lotton, Chantal, Brown, Sam P, Lindner, Ariel B, Taddei, François

Get full text

Structural brain abnormalities in the common epilepsies assessed in a worldwide ENIGMA study by Whelan, Christopher D, Altmann, Andre, Botía, Juan A, Jahanshad, Neda, Hibar, Derrek P, Absil, Julie, Alhusaini, Saud, Alvim, Marina K M, Auvinen, Pia, Bartolini, Emanuele, Bergo, Felipe P G, Bernardes, Tauana, Blackmon, Karen, Braga, Barbara, Caligiuri, Maria Eugenia, Calvo, Anna, Carr, Sarah J, Chen, Jian, Chen, Shuai, Cherubini, Andrea, David, Philippe, Domin, Martin, Foley, Sonya, França, Wendy, Haaker, Gerrit, Isaev, Dmitry, Keller, Simon S, Kotikalapudi, Raviteja, Kowalczyk, Magdalena A, Kuzniecky, Ruben, Langner, Soenke, Lenge, Matteo, Leyden, Kelly M, Liu, Min, Loi, Richard Q, Martin, Pascal, Mascalchi, Mario, Morita, Marcia E, Pariente, Jose C, Rodríguez-Cruces, Raul, Rummel, Christian, Saavalainen, Taavi, Semmelroch, Mira K, Severino, Mariasavina, Thomas, Rhys H, Tondelli, Manuela, Tortora, Domenico, Vaudano, Anna Elisabetta, Vivash, Lucy, von Podewils, Felix, Wagner, Jan, Weber, Bernd, Yao, Yi, Yasuda, Clarissa L, Zhang, Guohao, Bargalló, Nuria, Bender, Benjamin, Bernasconi, Neda, Bernasconi, Andrea, Bernhardt, Boris C, Blümcke, Ingmar, Carlson, Chad, Cavalleri, Gianpiero L, Cendes, Fernando, Concha, Luis, Delanty, Norman, Depondt, Chantal, Devinsky, Orrin, Doherty, Colin P, Focke, Niels K, Gambardella, Antonio, Guerrini, Renzo, Hamandi, Khalid, Jackson, Graeme D, Kälviäinen, Reetta, Kochunov, Peter, Kwan, Patrick, Labate, Angelo, McDonald, Carrie R, Meletti, Stefano, O'Brien, Terence J, Ourselin, Sebastien, Richardson, Mark P, Striano, Pasquale, Thesen, Thomas, Wiest, Roland, Zhang, Junsong, Vezzani, Annamaria, Ryten, Mina, Thompson, Paul M, Sisodiya, Sanjay M

Get full text

UniProt: the universal protein knowledgebase in 2021 by Bateman, Alex, Martin, Maria-Jesus, Orchard, Sandra, Magrane, Michele, Agivetova, Rahat, Ahmad, Shadab, Alpi, Emanuele, Bowler-Barnett, Emily H, Britto, Ramona, Bursteinas, Borisas, Bye-A-Jee, Hema, Coetzee, Ray, Cukura, Austra, Da Silva, Alan, Denny, Paul, Dogan, Tunca, Ebenezer, ThankGod, Fan, Jun, Castro, Leyla Garcia, Garmiri, Penelope, Georghiou, George, Gonzales, Leonardo, Hatton-Ellis, Emma, Hussein, Abdulrahman, Ignatchenko, Alexandr, Insana, Giuseppe, Ishtiaq, Rizwan, Jokinen, Petteri, Joshi, Vishal, Jyothi, Dushyanth, Lock, Antonia, Lopez, Rodrigo, Luciani, Aurelien, Luo, Jie, Lussi, Yvonne, MacDougall, Alistair, Madeira, Fabio, Mahmoudy, Mahdi, Menchi, Manuela, Mishra, Alok, Moulang, Katie, Nightingale, Andrew, Oliveira, Carla Susana, Pundir, Sangya, Qi, Guoying, Raj, Shriya, Rice, Daniel, Lopez, Milagros Rodriguez, Saidi, Rabie, Sampson, Joseph, Sawford, Tony, Speretta, Elena, Turner, Edward, Tyagi, Nidhi, Vasudev, Preethi, Volynkin, Vladimir, Warner, Kate, Watkins, Xavier, Zaru, Rossana, Zellner, Hermann, Bridge, Alan, Poux, Sylvain, Redaschi, Nicole, Aimo, Lucila, Argoud-Puy, Ghislaine, Auchincloss, Andrea, Axelsen, Kristian, Bansal, Parit, Baratin, Delphine, Blatter, Marie-Claude, Bolleman, Jerven, Boutet, Emmanuel, Breuza, Lionel, Casals-Casas, Cristina, de Castro, Edouard, Echioukh, Kamal Chikh, Coudert, Elisabeth, Cuche, Beatrice, Doche, Mikael, Dornevil, Dolnide, Estreicher, Anne, Famiglietti, Maria Livia, Feuermann, Marc, Gasteiger, Elisabeth, Gehant, Sebastien, Gerritsen, Vivienne, Gos, Arnaud, Gruaz-Gumowski, Nadine, Hinz, Ursula, Hulo, Chantal, Hyka-Nouspikel, Nevila, Jungo, Florence, Keller, Guillaume, Kerhornou, Arnaud, Lara, Vicente, Le Mercier, Philippe, Lieberherr, Damien, Lombardot, Thierry, Martin, Xavier, Masson, Patrick

Request full text

Cadherin-13 is a critical regulator of GABAergic modulation in human stem-cell-derived neuronal networks by Mossink, Britt, van Rhijn, Jon-Ruben, Wang, Shan, Linda, Katrin, Vitale, Maria R., Zöller, Johanna E. M., van Hugte, Eline J. H., Bak, Jitske, Verboven, Anouk H. A., Selten, Martijn, Negwer, Moritz, Latour, Brooke L., van der Werf, Ilse, Keller, Jason M., Klein Gunnewiek, Teun M., Schoenmaker, Chantal, Oudakker, Astrid, Anania, Alessia, Jansen, Sophie, Lesch, Klaus-Peter, Frega, Monica, van Bokhoven, Hans, Schubert, Dirk, Nadif Kasri, Nael

Get full text

UniProt: a worldwide hub of protein knowledge

Request full text

Neuropsychological functioning, neurobehavioral symptoms, and community reintegration in unstably housed veterans with mental health conditions by Keller, Amber V., Muller-Cohn, Chantal M., Austin, Tara A., Jak, Amy J., Twamley, Elizabeth W.

Get full text