| 2024 |
Vincent Beck, Sylviane Schwer |
ATELIER 2.2 PAGE 257 49E COLLOQUE COPIRELEM – MARSEILLE 2023 NUMÉRATIONS, CALCULS ET GRANDEURS : UTILISATION DE L’ABAQUE POUR RENDRE VISIBLES LES CONCEPTS COMMUNS |
|
| 2024 |
Ulysse Léchine, Thomas Seiller, Jakob Grue Simonsen |
Agafonov's Theorem for Probabilistic Selectors |
Lien
|
| 2024 |
Alberto Naibo, Thomas Seiller |
Algorithme |
Lien
|
| 2024 |
Thomas Seiller, Luc Pellissier, Ulysse Léchine |
Unifying lower bounds for algebraic machines, semantically |
Lien
|
| 2024 |
Thomas Seiller |
Zeta Functions and the (Linear) Logic of Markov Processes |
Lien
|
| 2023 |
Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine |
A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem |
Lien
|
| 2023 |
Marie Kerjean |
Chiralities in topological vector spaces |
Lien
|
| 2023 |
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
Distributing and Parallelizing Non-canonical Loops |
|
| 2023 |
Morgan Rogers, Rogers Hemelaer |
Geometric morphisms between toposes of monoid actions: factorization systems |
|
| 2023 |
Thomas Seiller |
Implicit complexity through linear realisability: polynomial time and probabilistic classes |
Lien
|
| 2023 |
Lorenzo Tortora, Thomas Seiller, Adrien Ragot |
Linear Realisability Over Nets and Second Order Quantification (short paper) |
|
| 2023 |
Florence Ferret, Jean-Vincent Loddo, Rushed Kanawati |
MarioNum: Un cloud éducatif innovant pour les formations cyber |
|
| 2023 |
Jean-Simon Pacaud Lemay, Marie Kerjean |
Taylor Expansion as a Monad in Models of DiLL |
Lien
|
| 2023 |
Morgan Rogers |
Toposes of topological monoid actions |
Lien
|
| 2023 |
Marie Kerjean, Simon Mirwasser, Flavien Breuvart |
Unifying Graded Linear Logic and Differential Operators |
Lien
|
| 2023 |
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
pymwp: A Static Analyzer Determining Polynomial Growth Bounds |
Lien
|
| 2022 |
Marie Kerjean, Pierre-Marie Pédrot |
$\partial$ is for Dialectica |
Lien
|
| 2022 |
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero |
A Coq Formalization of Lebesgue Integration of Nonnegative Functions |
|
| 2022 |
Thomas Seiller, Jakob Grue Simonsen |
Agafonov's proof of agafonov's theorem: a modern account and new insights |
Lien
|
| 2022 |
Thomas Seiller, Jakob Grue Simonsen |
Agafonov's theorem for finite and infinite alphabets and probability distributions different from equidistribution |
Lien
|
| 2022 |
Myriam Desainte-Catherine, Irène Durand, Jean Haury, Bernard Serpette, Sylviane Schwer |
Algebraic Framework for Design and Qualitative Evaluation of Interactive Musical Systems Temporality |
Lien
|
| 2022 |
Sylviane Schwer |
La Géométrographie : vers un langage de programmation des algorithmes de tracés des figures géométriques |
Lien
|
| 2022 |
Sylviane Schwer |
Les systèmes de repérage temporel dans le Croissant |
Lien
|
| 2022 |
Jean-Vincent Loddo, Rushed Kanawati |
Mariotel: A Web-Based Virtual Remote Computer Science Lab |
|
| 2022 |
Jean-Vincent Loddo, Rushed Kanawati |
Mariotel: A virtual remote computer science lab |
|
| 2022 |
Paulin Jacobé de Naurois |
Parallelism in Soft Linear Logic |
Lien
|
| 2022 |
Marie Kerjean, Frédéric Le Roux, Patrick Massot, Micaela Mayero, Zoé Mesnil, Simon Modeste, Julien Narboux, Pierre Rousselin |
Utilisation des assistants de preuves pour l'enseignement en L1; retours d'expériences |
|
| 2022 |
Sylvie Boldo, François Clément, Martin Vincent, Micaela Mayero, Florian Faissole, Houda Mouhcine, Louise Leclerc, Stephane Aubry |
coq-num-analysis opam package (Numerical Analysis in Coq) |
Lien
|
| 2022 |
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity |
Lien
|
| 2022 |
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
pymwp: MWP analysis in Python |
Lien
|
| 2021 |
Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
A cartesian bicategory of polynomial functors in homotopy type theory |
Lien
|
| 2021 |
Boris Eng, Thomas Seiller |
A gentle introduction to girard's transcendental syntax |
Lien
|
| 2021 |
Damiano Mazza, Michele Pagani |
Automatic differentiation in PCF |
Lien
|
| 2021 |
Jean-Baptiste Joinet, Thomas Seiller |
From abstraction and indiscernibility to classification and types: revisiting hermann weyl's theory of ideal elements |
Lien
|
| 2021 |
Christophe Fouqueré, Jean-Jacques Pinto, Myriam Quatrini |
Language Interaction and Schizophrenia |
|
| 2021 |
Boris Eng, Thomas Seiller |
Multiplicative linear logic from logic programs and tilings |
Lien
|
| 2021 |
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
On Higher-Order Probabilistic Subrecursion |
|
| 2021 |
Stefano Guerrini, Andrea Masini |
Proof Nets for Classical Logic |
Lien
|
| 2021 |
Sylviane Schwer |
Quelques réflexions sur l'évolution des systèmes de numération en langue : l'exemple de quelques parlers marchois |
Lien
|
| 2020 |
Aloïs Brunel, Damiano Mazza, Michele Pagani |
Backpropagation in the Simply Typed Lambda-Calculus with Linear Negation |
Lien
|
| 2020 |
Reynald Affeldt, Cyril Cohen, Marie Kerjean, Assia Mahboubi, Damien Rouhling, Kazuhiko Sakaguchi |
Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis |
Lien
|
| 2020 |
Jean-Vincent Loddo |
Mariotel, gestionnaire de salles de TP virtuelles sous GNU/Linux |
Lien
|
| 2020 |
Emmanuel Hainry, Damiano Mazza, Romain Péchoux |
Polynomial Time over the Reals with Parsimony |
|
| 2020 |
Stefano Guerrini, Simone Martini, Andrea Masini |
Quantum Turing Machines: Computations and Measurements |
Lien
|
| 2019 |
Lê Thành Dũng Nguyen, Thomas Seiller |
Coherent interaction graphs |
Lien
|
| 2019 |
Marie Kerjean, Jean-Simon Pacaud Lemay |
Higher-Order Distributions for Differential Linear Logic |
Lien
|
| 2019 |
Thomas Seiller |
Interaction graphs: exponentials |
Lien
|
| 2019 |
Ugo Dal Lago, Marc de Visme, Damiano Mazza, Akira Yoshimizu |
Intersection Types and Runtime Errors in the Pi-Calculus |
Lien
|
| 2019 |
Marie Kerjean, Yoann Dabrowski |
Models of Linear Logic based on the Schwartz epsilon-product |
|
| 2019 |
Paulin Jacobé de Naurois |
Pointers in Recursion: Exploring the Tropics |
Lien
|
| 2019 |
Paulin Jacobe de Naurois |
Pointers in Recursion: Exploring the Tropics |
|
| 2019 |
Sylviane Schwer |
Revenir aux mathématiques par les récréations : l'exemple de Henri Auguste Delannoy (1833-1915) |
|
| 2019 |
Thomas Seiller, Steffen Jost |
The 3rd Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis (DICE & FOPARA 2019), Prague, Czech Republic, April 6-7,2019 |
|
| 2019 |
Sylvie Alayrangues, Emmanuel Beffara, Sebastien Daniel, Christophe Declercq, Anne Heam, Jean-Vincent Loddo, Philippe Marquet, Jean-Christophe Masseron, Antoine Meyer, Malika More, Florence Neny, Vincent Pantaloni, Gaëtan Perrin, Cecile Prouteau, Georges Saliba, Sylviane R. Schwer, Fabien Tarissan, Chloe Ubera, Jean-Marc Vincent, Emmanuel Volte |
Une analyse des exercices d'algorithmique et de programmation du brevet 2017 |
Lien
|
| 2018 |
Marie Kerjean |
A Logical Account for Linear Partial Differential Equations. |
|
| 2018 |
Thomas Seiller |
A correspondence between maximal abelian sub-algebras and linear logic fragments |
Lien
|
| 2018 |
Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak |
Formal proof of polynomial-time complexity with quasi-interpretations |
|
| 2018 |
Thomas Seiller |
Interaction graphs: nondeterministic automata |
Lien
|
| 2018 |
Christophe Fouqueré, Myriam Quatrini |
Ludics for modelling the role of a judge during legal debates |
|
| 2018 |
Marie Kerjean, Christine Tasson |
Mackey-complete spaces and power series - a topological model of differential linear logic |
Lien
|
| 2018 |
Christophe Fouqueré, Alain Lecomte, Pierre Livet, Myriam Quatrini, Samuel Tronçon |
Math\'ematique du dialogue : sens et interaction |
|
| 2018 |
Flavien Breuvart, Ugo Dal Lago |
On Intersection Types and Probabilistic Lambda Calculi |
Lien
|
| 2018 |
Damiano Mazza, Luc Pellissier, Pierre Vial |
Polyadic Approximations, Fibrations and Intersection Types |
|
| 2018 |
Marie Kerjean |
Reflexive spaces of smooth functions : a logical account of linear partial differential equations |
Lien
|
| 2018 |
Flavien Breuvart, Giulio Manzonetto, Domenico Ruoppolo |
Relational Graph Models at Work |
|
| 2018 |
Christophe Fouqueré, Myriam Quatrini |
Study of Behaviours via Visitable Paths |
Lien
|
| 2018 |
Damiano Mazza |
The True Concurrency of Differential Interaction Nets |
Lien
|
| 2017 |
Sylvie Boldo, Françcois Clément, Florian Faissole, Vincent Martin, Micaela Mayero |
A Coq formal proof of the LaxMilgram theorem |
|
| 2017 |
Virgile Mogbil, Stefano Del Vecchio |
An Interpretation of CCS into Ludics |
Lien
|
| 2017 |
Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet |
An Overview of the Options Available for Practical Activities in Distributed Computing |
|
| 2017 |
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An intensionally fully-abstract sheaf model for pi (expanded version) |
Lien
|
| 2017 |
J E Avery, J -Y Moyen, Pavel Růžička, J G Simonsen |
Chains, Antichains and Complements in Infinite Partition Lattice |
|
| 2017 |
Stefano Guerrini, Henk Barendrengt, Adolfo Piperno |
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday |
|
| 2017 |
Christophe Fouqueré |
Edition en ligne de fac-similés et de transcriptions |
|
| 2017 |
Damiano Mazza |
Infinitary Affine Proofs |
|
| 2017 |
Thomas Seiller |
Interaction graphs: graphings |
Lien
|
| 2017 |
Stefano Guerrini, Marco Solieri |
Is the optimal implementation inefficient? Elementarily not |
|
| 2017 |
Evelyne Barbin, Catherine Goldstein, Marc Moyon, Sylviane Schwer, Stéphane Vinatier |
Les travaux combinatoires en France (1870 - 1914) et leur actualité. Un hommage à Henri Delannoy |
|
| 2017 |
Stefano Guerrini |
Linear $\beta$-reduction |
|
| 2017 |
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller |
Loop Quasi-Invariant Chunk Detection |
|
| 2017 |
Flavien Breuvart, Ugo Dal Lago, Agathe Herrou |
On Higher-Order Probabilistic Subrecursion |
|
| 2017 |
Damiano Mazza |
Polyadic Approximations in Logic and Computation |
|
| 2017 |
Christophe Fouqueré, Myriam Quatrini |
Refinement of universal quantification in Proof Theory |
|
| 2017 |
Sylviane R. Schwer |
Usage des échiquiers arithmétiques dans la résolution de problèmes combinatoires et applications actuelles |
|
| 2017 |
Christophe Fouqueré, Myriam Quatrini |
Which Answers are Expected? |
|
| 2016 |
Pierre Boudes, Antoine Kaszczyc, Luc Pellissier |
Anticipation Flowing Backwards in a Functional Monetary Economics Simulation |
|
| 2016 |
Damiano Mazza |
Church Meets Cook and Levin |
|
| 2016 |
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo UUstalu |
Combining effects and coeffects |
|
| 2016 |
J -Y Moyen, T Rubiano |
Detection of Non-Size Increasing Programs in Compilers |
|
| 2016 |
Jean-Yves Moyen |
Detection of Non-Size Increasing Programs in Compilers |
|
| 2016 |
Stefano Guerrini, Giulio Pellitta |
Dissecting the PAM |
|
| 2016 |
Stefano Guerrini, Andrea Masini |
Focalised Classical Logic: sequents, nets, strong normalization and confluence |
|
| 2016 |
J -Y Moyen, J G Simonsen |
More intensional versions of Rice's Theorem |
|
| 2016 |
F Breuvart, G Manzonetto, A Polonsky, D Ruoppolo |
New Results on Morris's Observational Theory: The Benefits of Separating the Inseparable |
|
| 2016 |
Flavien Breuvart |
On the characterization of models of $H^*$: the semantical aspect |
|
| 2016 |
Christophe Fouqueré, Myriam Quatrini |
Study of Behaviours via Visitable Paths |
|
| 2016 |
Thomas Seiller |
interaction graphs: additives |
Lien
|
| 2016 |
Thomas Seiller |
interaction graphs: full linear logic |
Lien
|
| 2016 |
Clément Aubert, Thomas Seiller |
logarithmic space and permutations |
Lien
|
| 2016 |
Alberto Naibo, Mattia Petrolo, Thomas Seiller |
on the computational meaning of axioms |
Lien
|
| 2016 |
Clément Aubert, Marc Bagnol, Thomas Seiller |
unary resolution: characterizing ptime. |
Lien
|
| 2016 |
Alberto Naibo, Mattia Petrolo, Thomas Seiller |
verificationism and classical realizability |
Lien
|
| 2015 |
Damiano Mazza, Luc Pellissier |
A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic |
Lien
|
| 2015 |
Damiano Mazza, Luc Pellissier |
A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic |
|
| 2015 |
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
A Strong Distillery |
|
| 2015 |
Christophe Fouqueré, Myriam Quatrini |
A characterization of Ludics in Game Semantics |
|
| 2015 |
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco |
An abstract approach to stratification in linear logic |
|
| 2015 |
Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry |
Formally Verified Certificate Checkers for Hardest-to-Round Computation |
|
| 2015 |
Sylviane R. Schwer, Valentina Vapnarsky, Dana Cohen |
La référence des compléments en hier/aujourd'hui/demain |
|
| 2015 |
Flavien Breuvart, Michele Pagani |
Modelling Coeffects in the Relational Semantics of Linear Logic |
|
| 2015 |
Pierre Boudes, Antoine Kaszczyc, Luc Pellissier |
Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style |
Lien
|
| 2015 |
Damiano Mazza, Kazushige Terui |
Parsimonious Types and Non-uniform Computation |
|
| 2015 |
Camille Coti, Jean-Vincent Loddo, Emmanuel Viennet |
Practical activities in network courses for MOOCs, SPOCs and eLearning with Marionnet |
|
| 2015 |
Damiano Mazza |
Simple Parsimonious Types and Logarithmic Space |
|
| 2015 |
Stefano Guerrini, Simone Martini, Andrea Masini |
Towards A Theory Of Quantum Computability |
|
| 2015 |
Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
an intensionally fully-abstract sheaf model for pi |
Lien
|
| 2015 |
Clément Aubert, Marc Bagnol, Thomas Seiller |
memoization for unary logic programming: characterizing ptime |
Lien
|
| 2014 |
Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic |
A Core Quantitative Coeffect Calculus |
|
| 2014 |
Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
Distilling abstract machines |
|
| 2014 |
Christophe Fouqueré, Myriam Quatrini |
Divergence in Dialogues |
|
| 2014 |
V Michele Abrusci, Christophe Fouqueré, Marco Romano |
Formal Ontologies and Coherent Spaces |
|
| 2014 |
Christophe Fouqueré, Myriam Quatrini |
Ludics and Argumentation |
|
| 2014 |
Christophe Fouqueré, Myriam Quatrini |
Multiplicative Decomposition of Behaviours in Ludics |
|
| 2014 |
Damiano Mazza |
Non-uniform Polytime Computation in the Infinitary Affine Lambda-Calculus |
|
| 2014 |
Flavien Breuvart |
On the characterization of models of $H^*$ |
|
| 2014 |
Camille Coti, Jean-Vincent Loddo |
Progressivité dans les modules de réseaux avec Marionnet |
|
| 2014 |
Sylvie Boldo, Françcois Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
Trusting computations: A mechanized proof from partial differential equations to actual program |
|
| 2014 |
Clément Aubert, Thomas Seiller |
characterizing co-nl by a group action |
Lien
|
| 2014 |
Clément Aubert, Marc Bagnol, Paolo Pistone, Thomas Seiller |
logic programming and logarithmic space |
Lien
|
| 2014 |
Thomas Seiller, Christian Retoré |
recension de ''the blind spot. lectures on logic'' par j.-y. girard (european mathematical society, 2011). |
Lien
|
| 2013 |
Andrei Dorman, Damiano Mazza |
A Hierarchy of Expressiveness in Concurrent Interaction Nets |
|
| 2013 |
Christophe Fouqueré, Myriam Quatrini |
A Logical Framework for Argumentation without Logical Limitations |
|
| 2013 |
Pierre Boudes, Fanny He, Michele Pagani |
A characterization of the Taylor expansion of lambda-terms |
Lien
|
| 2013 |
Christophe Fouqueré, Myriam Quatrini |
Argumentation and Inference: A Unified Approach |
|
| 2013 |
Érik Martin-Dorel, Laurence Rideau, Laurent Théry, Micaela Mayero, Ioana Pasca |
Certified, Efficient and Sharp Univariate Taylor Models in COQ |
|
| 2013 |
Christophe Fouqueré, Myriam Quatrini |
Incarnation in Ludics and maximal cliques of paths |
|
| 2013 |
Christophe Fouqueré, Myriam Quatrini |
Inferences and Dialogues in Ludics |
|
| 2013 |
Damiano Mazza |
Non-linearity as the Metric Completion of Linearity |
|
| 2013 |
Flavien Breuvart |
The resource lambda calculus is short-sighted in its relational model |
|
| 2013 |
S. R. Schwer, N. Boffo, P. Lambert |
Toward Time Universals Identification in NooJ : A New Model of Time Recognition in Vietnamese |
|
| 2013 |
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program |
|
| 2013 |
J -Y Moyen, P Parisen Toldin |
iSAPP, a complete polytime complexity verifier tool for Probabilistic Polynomial Time |
|
| 2012 |
Philippe Lambert, Sylviane R Schwer, Nicolas Boffo |
A New Model of Time Expressions Detection and Annotation in Vietnamese: The hôm Case |
|
| 2012 |
Guillaume Bonfante, Virgile Mogbil |
A circuit uniformity sharper than DLogTime |
Lien
|
| 2012 |
Pierre Boudes, Damiano Mazza, Lorenzo Tortora de Falco |
An Abstract Approach to Stratification in Linear Logic |
|
| 2012 |
Damiano Mazza |
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus |
|
| 2012 |
Christophe Fouqueré, Myriam Quatrini |
Argumentation modeling in Ludics |
|
| 2012 |
Sylviane R Schwer |
D'où vient le temps des grammairiens du siècle des Lumières ? |
|
| 2012 |
Stefano Guerrini, Thomas Leventis, Marco Solieri |
Deep into Optimality - Complexity and correctness of sharing implementation of bounded logics |
|
| 2012 |
Stefano Guerrini, Thomas Leventis, Marco Solieri |
Deep into Optimality. Complexity and correctness of sharing implementation of bounded logics |
|
| 2012 |
Damiano Mazza, Neil J ~Ross |
Full Abstraction For Set-Based Models of the Symmetric Interaction Combinators |
|
| 2012 |
Christophe Fouqueré, Myriam Quatrini |
Ludics and Natural Language: First Approaches |
|
| 2012 |
Christophe Fouqueré, Myriam Quatrini |
Ludics and Natural Language: First Approaches |
|
| 2012 |
Jean-Vincent Loddo, Luca Saiu |
Marionnet |
|
| 2012 |
Jean-Vincent Loddo, Luca Saiu |
Ocamlbricks |
|
| 2012 |
P Baillot, U. Dal Lago, J -Y Moyen |
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity |
|
| 2012 |
Flavien Breuvart |
On the discriminating power of tests in resource lambda-calculus |
|
| 2012 |
Micaela Mayero |
Problèmes critiques et preuves formelles |
|
| 2012 |
Emmanuel Beffara, Virgile Mogbil |
Proofs as Executions |
|
| 2012 |
Nicolas Brisebarre, Mioara Joldes, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Ioana Pasca, Laurence Rideau, Laurent Théry |
Rigorous Polynomial Approximations using Taylor Models in Coq |
|
| 2012 |
Christophe Fouqueré, Myriam Quatrini |
Un cadre formel issu de la théorie de la démonstration pour la théorie de l'argumentation |
|
| 2012 |
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof of a C Program |
|
| 2012 |
Thomas Seiller |
interaction graphs: multiplicatives |
Lien
|
| 2012 |
Thomas Seiller |
logique dans le facteur hyperfini: géométrie de l'interaction et complexité |
Lien
|
| 2011 |
Pascal Coupey, Christophe Fouqueré |
A Formal Framework for a Functional Language with Adaptable Components |
|
| 2011 |
Christophe Fouqueré |
Coherence Use in Natural Language |
|
| 2011 |
Christophe Fouqueré |
Computational tools derived from Ludics and their use in web technologies |
|
| 2011 |
Paulin Jacobé de Naurois, Virgile Mogbil |
Correctness of linear logic proof structures is NL-complete |
|
| 2011 |
Sylviane R Schwer |
D'où vient le temps des grammairiens du siècle des Lumières ? |
|
| 2011 |
R Metnani, J -Y Moyen |
Equivalence between the $mwp$ and Quasi-Interpretations analysis |
|
| 2011 |
Max Kanovich, Jacqueline Vauzeilles |
Linear logic as a tool for planning under temporal uncertainty |
|
| 2011 |
Christophe Fouqueré, Virgile Mogbil |
Logic Programming Revisited |
Lien
|
| 2011 |
Christophe Fouqueré |
Ludics and Web: Another Reading of Standard Operations |
|
| 2011 |
Pierre Boudes |
Non-uniform (hyper/multi)coherence spaces |
Lien
|
| 2011 |
V Michele Abrusci, Michele Romano, Christophe Fouqueré |
Ontologies and Coherence Spaces |
|
| 2011 |
G Bonfante, J -Y Marion, J -Y Moyen |
Quasi-interpretations a way to control resources |
Lien
|
| 2011 |
Christophe Fouqueré, Virgile Mogbil, Gabriele Pulcini |
Substructural Logic for Orientable and Non-Orientable Surfaces |
|
| 2011 |
Christophe Fouqueré, Virgile Mogbil, Gabriele Pulcini |
Substructural Logic for Orientable and Non-Orientable Surfaces |
Lien
|
| 2011 |
Butelle Franck, Loddo Jean-Vincent |
Tirer les ficelles de l'architecture TCP/IP avec Marionnet |
Lien
|
| 2011 |
Franck Butelle, Jean-Vincent Loddo |
Tirer les ficelles de l'architecture TCP/IP avec Marionnet |
|
| 2010 |
Patrick Baillot, Marco Gaboardi, Virgile Mogbil |
A PolyTime Functional Language from Light Linear Logic |
|
| 2010 |
C Choppy, M Mayero, L Petrucci |
Coloured Petri net refinement specification and correctness proof with Coq |
|
| 2010 |
Emmanuel Beffara, Virgile Mogbil |
Concurrent processes as wireless proof nets |
Lien
|
| 2010 |
Franck Butelle, Florent Hivert, Micaela Mayero, Frédéric Toumazet |
Formal Proof of SCHUR Conjugate Function |
|
| 2010 |
Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |
Formal Proof of a Wave Equation Resolution Scheme: the Method Error |
|
| 2010 |
Jean-Vincent Loddo, Luca Saiu |
How to Correctly Prune Tropical Trees |
|
| 2010 |
Rushed Kanawati, Jean-Vincent Loddo |
Le routage IP statique avec Marionnet : retour d'expérience |
|
| 2010 |
IMarta Donazzan, Sylviane R Schwer, Lucia Tovena |
Les adverbes êemphzài du chinois mandarin et êemphencore dans le système temporel de Reichenbach |
|
| 2010 |
Patrick Baillot, Damiano Mazza |
Linear Logic by Levels and Bounded Time Complexity |
|
| 2010 |
Paulin Jacobé de Naurois |
On The Decidability Of MELL: Reachability In Petri Nets With Split/Join Transitions |
|
| 2010 |
Dana Cohen, Sylviane R Schwer |
Proximal Deictic Temporal Reference with Calendar Units |
Lien
|
| 2010 |
Sylviane R Schwer |
Représentation du Temps, relations temporelles et théories des temps verbaux |
|
| 2010 |
Paulin Jacobé de Naurois, Virgile Mogbil |
Rewriting Systems for Reachability in Vector Addition Systems with Pairs |
|
| 2009 |
Stefano Guerrini |
A Linear Algorithm for MLL Proof Net Correctness and Sequentialization |
|
| 2009 |
Stefano Guerrini, Adolfo Piperno, Mariangiola Dezani-Ciancaglini |
Böhm's Theorem |
|
| 2009 |
C Choppy, M Mayero, L Petrucci |
Coloured Petri net refinement and correctness proof with Coq |
|
| 2009 |
Marta Donazzan, Sylviane R Schwer, Lucia Tovena |
Encore : répétition et plus si affinité. |
|
| 2009 |
Bruno Monsuez, Franck Védrine, Micaela Mayero, Nicolas Vallée |
How an 'Incoherent Behavior ' inside generic hardware component characterizes functional errors ? |
|
| 2009 |
Beniamino Accattoli, Stefano Guerrini |
Jumping boxes: representing lambda-calculus boxes by jumps |
Lien
|
| 2009 |
V Michele Abrusci, Marco Romano, Christophe Fouqueré |
Knowledge Representation through Coherence Spaces - A Theoretical Framework for the Integration of Knowledge Representations |
|
| 2009 |
Virgile Mogbil |
Non-deterministic Boolean Proof Nets |
|
| 2009 |
Damiano Mazza |
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators |
|
| 2009 |
Felipe Cucker, Paulin Jacobé de Naurois |
Parallel Time and Quantifier Prefixes |
|
| 2009 |
Stefano Guerrini, Andrea Masini |
Proofs, Tests and Continuation Passing Style |
|
| 2009 |
J -Y Moyen |
Resource Control Graphs |
Lien
|
| 2009 |
J Avery, L Kristiansen, J -Y Moyen |
Static Complexity Analysis of Higher Order Programs |
|
| 2009 |
Pierre Boudes |
Thick Subtrees, Games and Experiments |
Lien
|
| 2008 |
Irène Durand, Sylviane R Schwer |
A tool for reasoning about qualitative temporal information with S-words and S-languages |
|
| 2008 |
Micaela Mayero |
Certification of numerical analysis programs |
|
| 2008 |
Paulin Jacobé de Naurois, Virgile Mogbil |
Correctness of Multiplicative Additive Proof Structures is NL-Complete |
|
| 2008 |
C Choppy, M Mayero, L Petrucci |
Experimenting Formal Proofs of Petri Nets Refinements |
|
| 2008 |
Jean-Vincent Loddo, Luca Saiu |
Marionnet: a virtual network laboratory and simulation tool |
|
| 2008 |
Delphine Battistelli, Javier Couto, Jean-Luc Minel, Sylviane R. Schwer |
Representing and Visualizing Calendar Expressions in Texts |
Lien
|
| 2008 |
Christophe Fouqueré, Virgile Mogbil |
Rewritings for Polarized Multiplicative and Exponential Proof Structures |
|
| 2008 |
Jean-Yves Moyen |
SCT and the idempotence condition |
Lien
|
| 2008 |
Dubacq Jean-Christophe, Moyen Jean-Yves |
Study of the NP-completeness of the Compact Table problem |
Lien
|
| 2008 |
Jean-Christophe Dubacq, Jean-Yves Moyen |
Study of the NP-completeness of the compact table problem |
Lien
|
| 2008 |
Nicolas Turenne, Sylviane R Schwer |
Temporal Representation of gene Interaction Networks from Text Databases - Drosophila Megalogaster and bacillus Subtilis cases |
|
| 2008 |
Sylviane R Schwer |
Whitehead's construction of time: A linguistic approach |
|
| 2007 |
Sylviane R Schwer, Jean-Paul Cardinal |
1870 : une catastrophe, une aubaine pour l'université française et les scientifiques |
|
| 2007 |
Damiano Mazza |
A Denotational Semantics for the Symmetric Interaction Combinators |
|
| 2007 |
Christophe Fouqueré |
A Logical Calculus for Modelling Interferences |
|
| 2007 |
Christophe Fouqueré |
A Sequent Calculus for Modelling Interferences |
|
| 2007 |
Donazzan Marta, Sylviane R Schwer, Lucia Tovena |
Apport du treillis associé à l'interprétation d'adverbes itératifs |
|
| 2007 |
Sylviane R Schwer |
Au sujet de la représentation et du raisonnement pour les informations temporelles : vers un modèle purement algébrique. |
|
| 2007 |
Delphine Battistelli, Jean-Luc Minel, Sylviane R Schwer |
Calendar Expressions Ordering in text Corpora |
|
| 2007 |
Paulin Jacobé de Naurois, Virgile Mogbil |
Correctness of Multiplicative (and Exponential) Proof Structures is L -Complete |
|
| 2007 |
Sylviane R Schwer |
Du temps sensible de Whitehead aux S-langages |
|
| 2007 |
Damiano Mazza |
Edifices and Full Abstraction for the Symmetric Interaction Combinators |
|
| 2007 |
Micaela Mayero |
Le Coq réel |
|
| 2007 |
Jean-Vincent Loddo, Luca Saiu |
Marionnet -- How to Implement a Virtual Network Laboratory in Six Months and be Happy |
|
| 2007 |
Jean-Vincent Loddo |
Marionnet : un logiciel graphique pour l'apprentissage et l'enseignement des réseaux locaux d'ordinateurs |
|
| 2007 |
Jean-Vincent Loddo, Thierry Hamon |
Marionnet/Iutoppix : un Environnement Pédagogique pour la Simulation de Réseaux Locaux |
|
| 2007 |
Jean-Vincent Loddo, Thierry Hamon |
Marionnet/Iutoppix : un environnement pédagogique pour la simulation de réseaux locaux |
Lien
|
| 2007 |
Damiano Mazza |
Observational Equivalence for the Interaction Combinators and Internal Separation |
|
| 2007 |
Delphine Battistelli, Jean-Luc Minel, Sylviane R Schwer |
Représentation des expressions calendaires dans les textes : vers une application à la lecture assistée de biographies |
Lien
|
| 2007 |
Max Kanovich, Jacqueline Vauzeilles |
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach |
|
| 2007 |
Max Kanovich, Jacqueline Vauzeilles |
Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) |
|
| 2007 |
Damiano Mazza, Michele Pagani |
The Separation Theorem for Differential Interaction Nets |
|
| 2007 |
Sylviane R Schwer |
Topologie d'une cité fantôme [d'Alain Robbe-Grillet] : une approche catastrophique ou chaotique |
|
| 2007 |
Sylviane R Schwer |
Traitement de la temporalité des discours : une Analysis Situs |
|
| 2007 |
Pascal Coupey, Christophe Fouqueré, Jean-Vincent Loddo |
Tree Components Programming: An Application to XML |
|
| 2007 |
Virgile Mogbil, Vincent Rahli |
Uniform circuits, & Boolean proof nets |
|
| 2006 |
Paulin Jacobé de Naurois |
A Measure of Space for Computing over the Reals |
|
| 2006 |
Paulin Jacobé de Naurois |
A Measure of Space for Computing over the Reals |
|
| 2006 |
J -Y Marion, J -Y Moyen |
Heap-size analysis for assembly programs |
Lien
|
| 2006 |
Jean-Michel Autebert, Sylviane R Schwer |
Henri Auguste Delannoy, une biographie |
|
| 2006 |
Jean-Vincent Loddo |
IUTOPPIX |
|
| 2006 |
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Implicit complexity over an arbitrary structure: Quantifier alternations |
|
| 2006 |
Sylviane R Schwer |
Le système des formes verbales de Marc Wilmet revisité dans une perspective néo-reichenbachienne |
|
| 2006 |
Damiano Mazza |
Linear Logic and Polynomial Time |
|
| 2006 |
Christophe Fouqueré |
Logic programming revisited |
|
| 2006 |
P. Baillot, U. Dal Lago, J.-Y. Moyen |
On Quasi-Interpretations, Blind Abstractions and Implicit Complexity |
|
| 2006 |
P Baillot, U. dal Lago, J -Y Moyen |
On Quasi-interpretations, Blind abstractions and Implicit complexity |
Lien
|
| 2006 |
David Delahaye, Micaela Mayero |
Quantifier Elimination over Algebraically Closed Fields in a Proof Assistant using a Computer Algebra System |
|
| 2006 |
Delphine Battistelli, Jean-Luc Minel, Sylviane R Schwer |
Quelques exemples d'utilisation des S-Langages pour le traitement de la temporalité en linguistique |
|
| 2006 |
Sylviane R Schwer |
Représentation mathématique du temps : après Reichenbach |
|
| 2006 |
J -Y Moyen |
Resource Control Graphs |
Lien
|
| 2006 |
Jean-Vincent Loddo |
Synopsys |
|
| 2006 |
Peter Bürgisser, Felipe Cucker, Paulin Jacobé de Naurois |
The complexity of semilinear problems in succinct representation |
|
| 2006 |
Sylviane R Schwer |
Traitement de la temporalité des discours : une Analysis Situs |
|
| 2005 |
David Delahaye, Micaela Mayero |
Dealing with Algebraic Expressions over a Field in Coq using Maple |
|
| 2005 |
David Delahaye, Micaela Mayero |
Diophantus' 20th Problem and Fermat's Last Theorem for $n=4$: Formalization of Fermat's Proofs in the Coq Proof Assistant |
|
| 2005 |
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Implicit Complexity over an Arbitrary Structure: Sequential and Parallel Polynomial Time |
|
| 2005 |
Damiano Mazza |
Multiport Interaction Nets and Concurrency |
|
| 2005 |
Jean-Vincent Loddo |
Netxkiss |
|
| 2005 |
G Bonfante, J -Y Marion, J -Y Moyen |
Quasi-Interpretations and Small Space Bounds |
Lien
|
| 2005 |
G Bonfante, J -Y Marion, J -Y Moyen, R Péchoux |
Synthesis of Quasi-interpretation |
Lien
|
| 2005 |
J -Y Marion, J -Y Moyen |
Termination and Non Size Increasingness of assembly programs |
Lien
|
| 2005 |
Peter Bürgisser, Felipe Cucker, Paulin Jacobé de Naurois |
The Complexity of Semilinear Problems in Succinct Representation |
|
| 2005 |
Cyril Banderier, Sylviane R Schwer |
Why Delannoy numbers ? |
|
| 2004 |
Louisette Emirkanian, Christophe Fouqueré, Fabrice Issac |
Corpus issus du Web : analyse des pertinences thématiques et informationnelles |
|
| 2004 |
Jean-Vincent Loddo |
Knoppix4GTR |
|
| 2004 |
Alexandru Suna, Amal El Fallah-Seghrouchni, Christophe Fouqueré, Patrick Baillot |
Mobile Multi-Agent Systems: A Programming Language and Its Semantics |
|
| 2004 |
A. Suna, A El Fallah-Seghrouchni, C. Fouqueré, P. Baillot |
Mobile Multi-Agent Systems: A Programming Language and its Semantics |
|
| 2004 |
Christophe Fouqueré, Virgile Mogbil |
Modules and Logic Programming |
|
| 2004 |
G Bonfante, J -Y Marion, J -Y Moyen |
On complexity analysis by quasi-interpretations |
Lien
|
| 2004 |
Sylviane R Schwer |
Relations temporelles qualitatives et langages formels |
|
| 2004 |
Patrick Baillot, Virgile Mogbil |
Soft lambda-calculus: a language for polynomial time computation |
|
| 2004 |
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures |
|
| 2003 |
J -Y Moyen |
Analyse de la complexité et transformation de programmes |
Lien
|
| 2003 |
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time |
|
| 2003 |
Christophe Fouqueré, Fabrice Issac |
Corpus issus du Web : constitution et analyse informationnelle |
|
| 2003 |
S Jungjariyanonn, Sylviane R Schwer |
Extended Trivalent Computations |
|
| 2003 |
Jean-Michel Autebert, Sylviane R Schwer |
On generalized Delannoy Paths |
|
| 2003 |
Christophe Fouqueré |
Process Calculus and Mobile Code |
|
| 2003 |
Olivier Bournez, Felipe Cucker, Paulin Jacobé de Naurois, Jean-Yves Marion |
Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH |
|
| 2003 |
Sylviane R Schwer |
Temporal reasoning without transitive table |
|
| 2003 |
J -Y Marion, J -Y Moyen |
Termination and resource analysis of assembly programs by Petri Nets |
Lien
|
| 2001 |
J -Y Moyen |
An Analyser of Rewriting Systems Complexity |
Lien
|
| 2001 |
Fabrice Issac, Thierry Hamon, Christophe Fouqueré, Lorne Bouchard, Louisette Emirkanian |
Extraction informatique de données sur le web |
|
| 2001 |
G Bonfante, J -Y Marion, J -Y Moyen |
On lexicographic termination ordering with space bound certifications |
Lien
|
| 2001 |
J -Y Moyen |
System Presentationêstring: An analyser of rewriting systems complexity |
Lien
|
| 2000 |
Christophe Fouqueré, Fabrice Issac |
A bottom-up TAG parser: Application to foreign language lexical learning |
|
| 2000 |
J -Y Marion, J -Y Moyen |
Efficient First Order Functional Program Interpreter with Time Bound Certifications |
Lien
|
| 1999 |
V Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles |
Tree Adjoining Grammars in a Fragment of the Lambek Calculus |
|
| 1998 |
Christophe Fouqueré |
Applications of Linear Logic to AI and NLP |
|
| 1998 |
Pascal Coupey, Christophe Fouqueré, Sylvie Salotti |
Formalizing Partial Matching and Similarity in Case-Based Reasoning with a Description Logic |
|
| 1998 |
Yvette Mathieu, Gaston Gross, Christophe Fouqueré |
Vers une extraction automatique de néologismes |
|
| 1997 |
Thierry Chanier, Nathalie Cointe, Christophe Fouqueré, Fabrice Issac |
ALEXIA : un environnement d'aide à l'apprentissage lexical du français langue seconde |
|
| 1997 |
Thierry Chanier, Christophe Fouqueré, Fabrice Issac |
Acquisition des Expressions Lexicales en Langue Seconde : Environnement Informatique et Modélisation |
|
| 1997 |
Pascal Coupey, Christophe Fouqueré |
Extending Conceptual Definitions with Default Knowledge |
|
| 1997 |
Lorne Bouchard, Louisette Emirkanian, Christophe Fouqueré |
Les coordinations avec Gapping en français: formalisation en GPSG et HPSG |
|
| 1997 |
V Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles |
Tree Adjoining Grammars in Noncommutative Linear Logic |
|
| 1996 |
Augusta Mela, Christophe Fouqueré |
Coordination as a Direct Process |
|
| 1996 |
Christophe Fouqueré |
Formalismes Unifiés et Validation de Grammaire |
|
| 1996 |
Christophe Fouqueré, Jacqueline Vauzeilles |
Linear Logic for Taxonomical Networks and Database Updates |
|
| 1996 |
Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles |
TAG and non-commutative Linear Logic |
|
| 1996 |
Michele Abrusci, Christophe Fouqueré, Jacqueline Vauzeilles |
Tree Adjoining Grammars in Noncommutative Linear Logic |
Lien
|
| 1996 |
Augusta Mela, Christophe Fouqueré |
Une approche directe de la coordination par et |
|
| 1995 |
Augusta Mela, Christophe Fouqueré |
A coordination Criterion Based on Multiple and Disjunctive Subcategorization |
|
| 1995 |
Thierry Chanier, Christophe Fouqueré, Fabrice Issac |
ALEXIA : un environnement d'aide à l'apprentissage lexical du français langue seconde |
|
| 1995 |
Thierry Chanier, Nathalie Cointe, Christophe Fouqueré, Fabrice Issac |
ALEXIA: a computer based environment for french foreign language lexical learning |
|
| 1995 |
Pascal Coupey, Christophe Fouqueré |
Defaults in Concept Definitions: an Application |
|
| 1995 |
Christophe Fouqueré, Jacqueline Vauzeilles |
Inheritance with Exceptions |
|
| 1995 |
Christophe Fouqueré |
Syntaxe, taxonomies, terminologies : cherchez l'intrus |
|
| 1994 |
Pascal Coupey, Christophe Fouqueré |
Classer des concepts définis avec des défauts et des exceptions |
|
| 1994 |
Pascal Coupey, Christophe Fouqueré |
Définir un concept avec des propriétés par défaut et des exceptions |
|
| 1994 |
Christophe Fouqueré, Jacqueline Vauzeilles |
Inheritance with exceptions: an attempt at formalization with linear connectives in Unified Logic |
|
| 1994 |
Christophe Fouqueré, Jacqueline Vauzeilles |
Linear Logic and Exceptions |
|
| 1994 |
Christophe Fouqueré |
Représentations graphiques et Intelligence Artificielle |
|
| 1994 |
Azzedine Belabbas, Hachemi Bennaceur, Christophe Fouqueré |
Résolution de CSP par classification des contraintes~: application aux logiques attribut-valeur |
|
| 1993 |
Christophe Fouqueré, Jacqueline Vauzeilles |
La logique linéaire est-elle monotone ? |
|
| 1993 |
Christophe Fouqueré, Jacqueline Vauzeilles |
Linear Logic and Exceptions |
|
| 1993 |
Thierry Chanier, Colette Colmerauer, Christophe Fouqueré, Françcoise Picard |
Modélisation informatique de l'acquisition des expressions lexicales en langues secondes |
|
| 1993 |
Christophe Fouqueré, Jacqueline Vauzeilles |
Taxonomic Linear Theories |
|
| 1992 |
Lorne Bouchard, Louisette Emirkanian, Dominique Estival, Christine Fay-Varnier, Christophe Fouqueré, Gilles Prigent, Pierre Zweigenbaum |
EGL: a French Linguistic Development Environment |
|
| 1992 |
Lorne H Bouchard, Louisette Emirkanian, Dominique Estival, Christine Fay-Varnier, Christophe Fouqueré, Gilles Prigent, Pierre Zweigenbaum |
First Results of a French Linguistic Development Environment |
|
| 1992 |
Christophe Fouqueré, Bernard Levrat |
Le traitement de la co-référence dans les graphes conceptuels |
|
| 1992 |
Thierry Chanier, Colette Colmerauer, Christophe Fouqueré, Françoise Picard, Michael Zock |
Modelling Lexical Phrases Acquisition in L2 |
|
| 1991 |
Azzedine Belabbas, Christophe Fouqueré |
Cohérence dans les grammaires du Langage Naturel |
|
| 1991 |
Christine Fay, Christophe Fouqueré, Gilles Prigent, Pierre Zweigenbaum |
Comparaison de systèmes d'analyse syntaxique du françcais~: données et commentaires |
|
| 1991 |
Christophe Fouqueré |
Evidences for Preferential Analysis |
|
| 1991 |
Christine Fay-Varnier, Christophe Fouqueré, Gilles Prigent, Pierre Zweigenbaum |
Modèles syntaxiques des systèmes d'analyse du françcais |
|
| 1991 |
Christophe Fouqueré |
Preferred Analysis? A nonmonotonic parsing algorithm |
|
| 1989 |
Christophe Fouqueré |
Grammaire non-monotone et langage naturel |
|
| 1989 |
Christophe Fouqueré |
Is nonmonotonic grammar a solution to natural language processing? |
|
| 1989 |
Christophe Fouqueré |
Nonmonotonic grammars~: description and advantages |
|
| 1988 |
Christophe Fouqueré |
Systèmes d'analyse tolérante du Langage Naturel |
|
| 1988 |
Christophe Fouqueré |
Un modèle pour la correction de phrases~: une grammaire à configuration minimale |
|
| 1987 |
Christophe Fouqueré |
Système de correction de textes orienté-acteur |
|
| 1986 |
Christophe Fouqueré |
Analyse tolérante de textes en langage naturel |
|