by David, Cristina, Kroening, Daniel
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (13.10.2017)

by Taghavi, Maxime, Mesquita, Maria, David, Cristina, Geers, Caroline, Pozdzik, Agnieszka, Nortier, Joëlle
Published in Clinical nephrology (01.09.2022)

by Honore, Patrick M, Mugisha, Aurore, David, Cristina, Attou, Rachid, Redant, Sebastien, Gallerani, Andrea, De Bels, David
Published in Critical care (London, England) (24.02.2020)

by Honore, Patrick M, David, Cristina, Kugener, Luc, Redant, Sebastien, Attou, Rachid, Gallerani, Andrea, De Bels, David
Published in Critical care (London, England) (20.02.2020)

by Dascalu, Cristina Gena, Antohe, Magda Ecaterina, Topoliceanu, Claudiu, David, Cristina, Purcarea, Victor Lorin
Published in Applied sciences (01.07.2023)

by Honore, Patrick M, David, Cristina, Mugisha, Aude, Attou, Rachid, Redant, Sebastien, Gallerani, Andrea, De Bels, David
Published in Critical care (London, England) (17.03.2020)

by Chin, Wei-Ngan, David, Cristina, Nguyen, Huu Hai, Qin, Shengchao
Published in Science of computer programming (01.08.2012)

by Honore, Patrick M, David, Cristina, Mugisha, Aude, Attou, Rachid, Redant, Sebastien, Gallerani, Andrea, De Bels, David
Published in Critical care (London, England) (24.02.2020)

by Yamaguchi, Masaomi, Matsuda, Kazutaka, David, Cristina, Wang, Meng
Published in Formal methods in system design (2022)

by Cristina, David, Cary, Michael, Lunceford, Adam, Clarke, Catherine, Kenyon, Cynthia
Published in PLoS genetics (01.04.2009)

by Pozdzik, Agnieszka, David, Cristina, Vekeman, Jelle, Tielens, Frederik, Daudon, Michel
Published in IJU case reports (01.07.2021)

by Pierrakos, Charalampos, Lieveld, Arthur, Pisani, Luigi, Smit, Marry R, Heldeweg, Micah, Hagens, Laura A, Smit, Jasper, Haaksma, Mark, Veldhuis, Lars, Schmidt, Robin Walburgh, Errico, Giacomo, Marinelli, Valentina, Attou, Rachid, David, Cristina E, Zimatore, Claudio, Murgolo, Francesco, Grasso, Salvatore, Mirabella, Lucia, Cinnella, Gilda, De Bels, David, Schultz, Marcus J, Tuinman, Pieter-Roel, Bos, Lieuwe D
Published in The American journal of tropical medicine and hygiene (01.12.2021)

by Wong, F. Lennie, Stiller, Tracey, Obenchain, Richard, David, Cristina, Patel, Sunita K., Xie, Bin, Loscalzo, Matthew, Clark, Karen
Published in Psycho-oncology (Chichester, England) (01.12.2019)

by Abate, Alessandro, Bessa, Iury, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Published in Acta informatica (01.04.2020)

by Yamaguchi, Masaomi, Matsuda, Kazutaka, David, Cristina, Wang, Meng
Published in Proceedings of ACM on programming languages (01.10.2021)

by Abate, Alessandro, Bessa, Iury, Cattaruzza, Dario, Cordeiro, Lucas, David, Cristina, Kesseli, Pascal, Kroening, Daniel, Polgreen, Elizabeth
Published in Computer Aided Verification

by David, Oana Cristina, Gorri, Daniel, Urtiaga, Ana, Ortiz, Inmaculada
Published in Journal of membrane science (01.08.2011)

by Vekeman, Jelle, Torres, Javier, David, Cristina Eugenia, Van de Perre, Els, Wissing, Karl Martin, Letavernier, Emmanuel, Bazin, Dominique, Daudon, Michel, Pozdzik, Agnieszka, Tielens, Frederik
Published in Nanomaterials (Basel, Switzerland) (01.07.2021)

by David, Cristina, Kroening, Daniel, Lewis, Matt
Published in Programming Languages and Systems

by Guimarães, Paula Cristina David
Published in História, ciências, saúde--Manguinhos (01.03.2022)