by Costan, A., Gaubert, S., Goubault, E., Martel, M., Putot, S.
Published in Computer Aided Verification (2005)

by Fajstrup, L., Raussen, M., Goubault, E., Haucourt, E.
Published in Applied categorical structures (01.02.2004)

by Bogard, S., Goubault, E., Nguyen, H.P., Faucher, G., Duval, C.
Published in Parkinsonism & related disorders (01.01.2018)

by Goubault, E., Nguyen, H.P., Bogard, S., Faucher, G., Duval, C.
Published in Parkinsonism & related disorders (01.01.2018)

by Fribourg, L., Goubault, E., Mohamed, S., Mrozek, M., Putot, S.
Published in Information and computation (01.04.2021)

by Goubault, Eric
Published in Static Analysis (2013)

by Bouissou, Olivier, Goubault, Eric, Putot, Sylvie, Chakarov, Aleksandar, Sankaranarayanan, Sriram
Published in Tools and Algorithms for the Construction and Analysis of Systems (2016)

by Duval, C., Nguyen, H.P., Lebel, K., Bogard, S., Goubault, E., Boissy, P.
Published in Parkinsonism & related disorders (01.01.2018)

by Faucher, G., Brière, S., Blamoutier, M., Roofigari, N., Nguyen, H.P., Bogard, S., Goubault, E., Duval, C.
Published in Parkinsonism & related disorders (01.01.2018)

by Goubault, E., Haucourt, E.
Published in Applied categorical structures (17.10.2007)

by Gawlitza, Thomas Martin, Seidl, Helmut, Adjé, Assalé, Gaubert, Stéphane, Goubault, Éric
Published in Journal of symbolic computation (01.12.2012)

by Goubault, Eric, Putot, Sylvie
Published in Programming Languages and Systems (2013)

by Adjé, Assalé, Gaubert, Stéphane, Goubault, Eric
Published in Logical methods in computer science (2012)

by Raimondo, C., Galand, C., Goubault, E., Lancon, E., Menez, J.
Published in [Proceedings] ICASSP 91: 1991 International Conference on Acoustics, Speech, and Signal Processing (1991)

by Goubault, Eric, Heindel, Tobias, Mimram, Samuel
Published in Electronic notes in theoretical computer science (04.11.2013)

by Djoudi, Adel, Bardin, Sébastien, Goubault, Éric
Published in FM 2016: Formal Methods (2016)

by Menard, D., Rocher, R., Sentieys, O., Simon, N., Didier, L., Hilaire, T., Lopez, B., Goubault, E., Putot, S., Vedrine, F., Najahi, A., Revy, G., Fangain, L., Samoyeau, C., Lemonnier, F., Clienti, C.
Published in Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing (01.10.2012)

by Goubault de Brugière, B., Marion, F., Fendler, M., Mandrillon, V., Hazotte, A., Volpert, M., Ribot, H.
Published in Microelectronic engineering (01.07.2013)

by MARTIEL, Simon, GOUBAULT DE BRUGIÈRE, Timothée
Year of Publication 20.07.2022

by MARTIEL, Simon, GOUBAULT DE BRUGIÈRE, Timothée
Year of Publication 14.07.2022