Institut de Mathématiques de Luminy

PUBLICATIONS 2003-2004

Logique De la Programmation

Andreoli Jean-Marc, Lazaré Laurent.
Concurrent construction of proof-nets.
Computer science logic, 29--42, Lecture Notes in Comput. Sci., 2803, Springer, Berlin, 2003.

Chabot J.-L., Dutuit Y., Rauzy Antoine, Signoret J.-P.
An engineering approach to optimize system design or spare parts inventory.
Risk Decision and Policy, 8:1-11, 2003.

Dehornoy P., Lafont Yves.
Homology of Gaussian groups.
Ann. Inst. Fourier (Grenoble) 53, no. 2, 489--540, 2003.

Ehrhard Thomas, Regnier Laurent.
The differential lambda-calculus.
Theoret. Comput. Sci. 309, no. 1-3, 1--41, 2003.

Girard Jean-Yves.
From foundations to ludics.
New programs and open problems in the foundation of mathematics (Paris, 2000). Bull. Symbolic Logic 9, no. 2, 131--168, 2003.

Girard Jean-Yves.
La logique comme géométrie de la cognition.
Rapport technique de l'IML, 2003.

Lafaye de Micheaux Nicole, Lopez Gérard, Vitiello P., Beauvois J. L.
Formalizing the transformations of a cognitive universe.
Discrete models for complex systems, DMCS '03 (Lyon), 141--153 (electronic), Discrete Math. Theor. Comput. Sci. Proc., AB, Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2003.

Lafont Yves.
Towards an algebraic theory of Boolean circuits.
J. Pure Appl. Algebra 184, no. 2-3, 257--310, 2003.

Maieli Roberto, Ruet Paul.
Non-commutative logic. III. Focusing proofs.
Inform. and Comput. 185, no. 2, 233--262, 2003.

Rauzy Antoine, Châtelet E., Dutuit Y., Bérenguer C.
A practical comparison of methods to assess sum-of-products.
Reliability Engineering and System Safety, 79:33-42, 2003.

Rauzy Antoine.
A new methodology to handle boolean models with loops.
IEEE Transactions on Reliability, 52(1):96-105, 2003.

Rauzy Antoine.
Towards an efficient implementation of Mocus.
IEEE Transactions on Reliability, 52(2):175-180, 2003.

Andreoli Jean-Marc.
An axiomatic approach to structural rules for locative linear logic.
Linear Logic in Computer Science, pp. 192-235, London Mathematical Society Lecture Note Series 316, Cambridge University Press, 2004.

Boudes Pierre.
Projecting games on hypercoherences.
International Colloquium on Automata, Languages and Programming ICALP'04, Lecture Notes in Computer Science 3142, pp. 257-268, Springer Verlag, 2004.

Boussaïri Abderrahim, Ille Pierre, Lopez Gérard, Thomassé Stéphane.
The C3-structure of the tournaments.
Discrete Math. 277, 29-43, 2004.

Chaouiya Claudine, Mendoza Luis, Remy Élisabeth, Ruet Paul, Thieffry Denis.
From logical regulatory graphs to standard Petri nets: dynamical roles and functionality of feedback circuits.
Concurrent Models in Molecular Biology, Electronic Notes in Comp. Science, Elsevier, 2004.

Chaouiya Claudine, Remy Élisabeth, Ruet Paul, Thieffry Denis.
Qualitative modelling of genetic networks: from logical regulatory graphs to standard Petri nets,
Application and Theory of Petri Nets, Lecture Notes in Computer Science 3099, pp. 137-156, Springer Verlag, 2004.

Ehrhard Thomas.
A completeness theorem for symmetric product phase spaces.
J. Symbolic Logic 69, no. 2, 340--370, 2004.

Fleury Marie-Renée, Quatrini Myriam.
First order in ludics.
Math. Structures Comput. Sci. 14, no. 2, 189--213, 2004.

Girard Jean-Yves.
Between logic and quantic: a tract.
Linear Logic in Computer Science, London Mathematical Society Lecture Note Series 316, pp. 346-381, Cambridge University Press, 2004.

Girard Jean-Yves.
Geometry of interaction IV: the feedback equation.
Proceedings of the Helsinki meeting, 2004.

Hahn Gena, Ille Pierre, Woodrow Robert E.
Absorbing sets in arc-coloured tournaments.
Discrete Math. 283, no. 1-3, 93--99, 2004.

Hyvernat Pierre.
Predicate Transformers and Linear Logic: yet another Denotational Model.
18th international workshop in Logic and Computer Science, Lecture Notes in Computer Science 3210, Springer Verlag, 2004.

Lafont Yves.
Soft linear logic and polynomial time.
Theoret. Comput. Sci. 318, no. 1-2, 163--180, 2004.

Paolini Luca, Ronchi Della Rocca Simona.
Parametric parameter passing lambda-calculus.
Inform. and Comput. 189, no. 1, 87--106, 2004.

Rauzy Antoine.
An experimental study on six algorithms to compute transient solutions of large markov systems.
Reliability Engineering and System Safety, 86(1):105-115, 2004.

De Carvalho Daniel.
Intersection types for light affine lambda-calculus.
Proceedings of 3rd Workshop on Intersection Types and Related Systems (ITRS'04)
Electronic Notes in Computer Science, Elsevier. A paraître.

Dutuit Y., Rauzy Antoine.
Approximate estimation of system reliability via fault trees.
Reliability Engineering and System Safety. A paraître.

Ehrhard Thomas, Regnier Laurent.
Differential Interaction Nets.
Workshop on Logic, Language, Information and Computation WoLLIC'04,
Electronic Notes in Computer Science, Elsevier. A paraître.

Epstein S., Rauzy Antoine.
Can We Trust PRA ?
Reliability Engineering and System Safety. A paraître.

Hancock Peter, Hyvernat Pierre.
Programming interfaces and basic topology.
Annals of Pure and Applied Logic, Elsevier. A paraître.

Ille Pierre, Rampon Jean-Xavier.
A counting of the minimal realizations of the posets of dimension two.
Ars Combinatoria,  The Charles Babbage Research Centre. A paraître.

Ille Pierre.
La décomposition intervallaire des structures binaires.
Gazette des Mathématiciens. A paraître.

Tronçon Samuel.
Interaction et signification.
Actes du Colloque LMIP, Presses de l'Université Paris-Sorbonne. A paraître.


Ouvrages

Girard Jean-Yves, Okada M., Scedrov A.
Linear logic.
Papers from the meeting held at Keio University, Tokyo, March 28- April 2, 1996. Edited by J.-Y. Girard, M. Okada and A. Scedrov. Theoret. Comput. Sci. 294, no. 3. Elsevier Science Publishers, B.V., Amsterdam, 2003. pp. i--iv and 333--573, 2003.

Ehrhard Thomas, Girard Jean-Yves, Ruet Paul, Scott Philip.
Linear logic in computer science.
London Mathematical Society Lecture Note Series 316, Cambridge University Press, 2004.



Page d'accueil
Sommaire