Edit Profile Tabareau, Nicolas Compute Distance To: Compute Author ID: tabareau.nicolas Published as: Tabareau, Nicolas External Links: MGP Documents Indexed: 22 Publications since 2004 all top 5 Co-Authors 0 single-authored 5 Sozeau, Matthieu 4 Melliès, Paul-André 3 Boulier, Simon 3 Jaber, Guilhem 3 Pédrot, Pierre-Marie 3 Tanter, Éric 2 Anand, Abhishek 2 Cohen, Cyril 2 Dagand, Pierre-Evariste 2 Slotine, Jean-Jacques E. 2 Tasson, Christine 1 Altenkirch, Thorsten 1 Bennequin, Daniel 1 Berthoz, Alain 1 D’Souza, Deepak 1 Forster, Yannick 1 Girard, Benoît 1 Hirschowitz, André 1 Hirschowitz, Tom 1 Kaposi, Ambrus 1 Kunze, Fabian 1 Lewertowski, Gabriel 1 Lumsdaine, Peter LeFanu 1 Malecha, Gregory 1 Pham, Quang-Cuong 1 Quirin, Kevin 1 Winterhalter, Théo all top 5 Serials 2 Journal of Automated Reasoning 1 Biological Cybernetics 1 IEEE Transactions on Automatic Control 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 Distributed Computing 1 Journal of Functional Programming 1 Journal of Formalized Reasoning all top 5 Fields 13 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 5 Category theory; homological algebra (18-XX) 1 General and overarching topics; collections (00-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 12 Publications have been cited 64 times in 60 Documents Cited by ▼ Year ▼ A contraction theory approach to stochastic incremental stability. Zbl 1367.60073Pham, Quang-Cuong; Tabareau, Nicolas; Slotine, Jean-Jacques 20 2009 An explicit formula for the free exponential modality of linear logic. Zbl 1248.03080Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine 16 2009 Resource modalities in tensor logic. Zbl 1223.03048Melliès, Paul-André; Tabareau, Nicolas 10 2010 On timed automata with input-determined guards. Zbl 1109.68503D’Souza, Deepak; Tabareau, Nicolas 6 2004 Universe polymorphism in Coq. Zbl 1416.68179Sozeau, Matthieu; Tabareau, Nicolas 3 2014 Towards certified meta-programming with typed Template-Coq. Zbl 06946971Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas 2 2018 Extending type theory with forcing. Zbl 1364.03016Jaber, Guilhem; Tabareau, Nicolas; Sozeau, Matthieu 2 2012 Foundations of dependent interoperability. Zbl 06913641Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric 1 2018 The definitional side of the forcing. Zbl 1394.68063Jaber, Guilhem; Lewertowski, Gabriel; Pédrot, Pierre-Marie; Sozeau, Matthieu; Tabareau, Nicolas 1 2016 Partial type equivalences for verified dependent interoperability. Zbl 1360.68322Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric 1 2016 An algebraic account of references in game semantics. Zbl 1337.68074Melliès, Paul-André; Tabareau, Nicolas 1 2009 Geometry of the superior colliculus mapping and efficient oculomotor computation. Zbl 1125.92016Tabareau, Nicolas; Bennequin, Daniel; Berthoz, Alain; Slotine, Jean-Jacques; Girard, Benoît 1 2007 Towards certified meta-programming with typed Template-Coq. Zbl 06946971Anand, Abhishek; Boulier, Simon; Cohen, Cyril; Sozeau, Matthieu; Tabareau, Nicolas 2 2018 Foundations of dependent interoperability. Zbl 06913641Dagand, Pierre-Évariste; Tabareau, Nicolas; Tanter, Éric 1 2018 The definitional side of the forcing. Zbl 1394.68063Jaber, Guilhem; Lewertowski, Gabriel; Pédrot, Pierre-Marie; Sozeau, Matthieu; Tabareau, Nicolas 1 2016 Partial type equivalences for verified dependent interoperability. Zbl 1360.68322Dagand, Pierre-Evariste; Tabareau, Nicolas; Tanter, Éric 1 2016 Universe polymorphism in Coq. Zbl 1416.68179Sozeau, Matthieu; Tabareau, Nicolas 3 2014 Extending type theory with forcing. Zbl 1364.03016Jaber, Guilhem; Tabareau, Nicolas; Sozeau, Matthieu 2 2012 Resource modalities in tensor logic. Zbl 1223.03048Melliès, Paul-André; Tabareau, Nicolas 10 2010 A contraction theory approach to stochastic incremental stability. Zbl 1367.60073Pham, Quang-Cuong; Tabareau, Nicolas; Slotine, Jean-Jacques 20 2009 An explicit formula for the free exponential modality of linear logic. Zbl 1248.03080Melliès, Paul-André; Tabareau, Nicolas; Tasson, Christine 16 2009 An algebraic account of references in game semantics. Zbl 1337.68074Melliès, Paul-André; Tabareau, Nicolas 1 2009 Geometry of the superior colliculus mapping and efficient oculomotor computation. Zbl 1125.92016Tabareau, Nicolas; Bennequin, Daniel; Berthoz, Alain; Slotine, Jean-Jacques; Girard, Benoît 1 2007 On timed automata with input-determined guards. Zbl 1109.68503D’Souza, Deepak; Tabareau, Nicolas 6 2004 all cited Publications top 5 cited Publications all top 5 Cited by 117 Authors 5 Tabareau, Nicolas 4 Melliès, Paul-André 3 Terui, Kazushige 2 Basaldella, Michele 2 Bersani, Marcello M. 2 Geeraerts, Gilles 2 Laird, James D. 2 Laird, Jim 2 Lenisa, Marina 2 Manzonetto, Giulio 2 Mazza, Damiano 2 McCusker, Guy Andrew 2 Pang, Hongbo 2 Pietro, Pierluigi San 2 Raskin, Jean-François 2 Rossi, Matteo A. C. 2 Saurin, Alexis 2 Slotine, Jean-Jacques E. 2 Sznajder, Nathalie 2 Tasson, Christine 2 Zhao, Jun 1 Abate, Alessandro 1 Abrahamsson, Oskar 1 Ahbe, Eva 1 Ahrens, Benedikt 1 Anand, Abhishek 1 Arapostathis, Aristotle 1 Aschemann, Harald 1 Auer, Ekaterina 1 Beikzadeh, Hossein 1 Ben Hamed, Bassem 1 Birkedal, Lars 1 Biswas, Anup 1 Bizjak, Aleš 1 Boffi, Nicholas M. 1 Boulier, Simon 1 Bouvrie, Jake 1 Brunel, Aloïs 1 Carroll, Johnson 1 Cheah, Chien Chern 1 Churchill, Martin 1 Clouston, Ranald A. 1 Cohen, Cyril 1 Constantinescu, Daniela 1 Crubillé, Raphaëlle 1 Dabrowski, Yoann 1 Dagand, Pierre-Evariste 1 de Paiva, Valeria 1 Dötschel, Thomas 1 Eades, Harley III 1 Ehrhard, Thomas 1 Erjaee, Gholamhossien 1 Farahi, Mohammad Hadi 1 Forster, Yannick 1 Frey, Jonas 1 Futatsugi, Kokichi 1 Gaboardi, Marco 1 Goossens, H. H. L. M. 1 Grathwohl, Hans Bugge 1 Hill, David John 1 Ho, Hsi-Ming 1 Ho, Son Lam 1 Honsell, Furio 1 Iannelli, Andrea 1 Imsland, Lars 1 Ji, Yan 1 Jouffroy, Jerome 1 Kanabar, Hrutvik 1 Kar, Indra Narayan 1 Kerjean, Marie 1 Kirst, Dominik 1 Kumar, Ramana 1 Kunze, Fabian 1 Lavaei, Abolfazl 1 Li, Yuchun 1 Licata, Daniel R. 1 Liu, Tao 1 Liu, Xiaotao 1 Liu, Ximei 1 Maksimov, D. Yu. 1 Malecha, Gregory 1 Maree, Johannes Philippus 1 Margaliot, Michael 1 Marquez, Horacio Jose 1 Matthes, Ralph 1 Mohamed, Majeed 1 Murfet, Daniel 1 Myreen, Magnus O. 1 New, Max S. 1 Norrish, Michael 1 Ogawa, Mizuhito 1 Ouaknine, Joel O. 1 Pacaud Lemay, Jean-Simon 1 Pagani, Michele 1 Paykin, Jennifer 1 Phillips, Sean 1 Rauh, Andreas 1 Redamalla, Rekha 1 Riba, Colin 1 Ruzitalab, Ahmad ...and 17 more Authors all top 5 Cited in 27 Serials 6 MSCS. Mathematical Structures in Computer Science 4 Automatica 3 Journal of Automated Reasoning 3 Logical Methods in Computer Science 2 Journal of the Franklin Institute 2 Theoretical Computer Science 2 Systems & Control Letters 2 Annals of Pure and Applied Logic 2 Information and Computation 2 Neural Computation 1 Acta Informatica 1 Biological Cybernetics 1 International Journal of Control 1 Computing 1 Journal of Pure and Applied Algebra 1 Circuits, Systems, and Signal Processing 1 Journal de Mathématiques Pures et Appliquées. Neuvième Série 1 International Journal of Robust and Nonlinear Control 1 Formal Methods in System Design 1 Journal of Functional Programming 1 Theory and Applications of Categories 1 Journal of Applied Mathematics 1 Mediterranean Journal of Mathematics 1 Logica Universalis 1 Nonlinear Analysis. Hybrid Systems 1 RAIRO. Theoretical Informatics and Applications 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 16 Fields 31 Computer science (68-XX) 20 Mathematical logic and foundations (03-XX) 15 Systems theory; control (93-XX) 10 Category theory; homological algebra (18-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Biology and other natural sciences (92-XX) 2 Ordinary differential equations (34-XX) 2 Probability theory and stochastic processes (60-XX) 1 Associative rings and algebras (16-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Functional analysis (46-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Numerical analysis (65-XX) 1 Relativity and gravitational theory (83-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year