@comment{This file has been generated by Pybliographer}


@InBook{LP-MeFo-06,
  Author         = "L. Petrucci",
  Title          = "Panorama des mod\`eles et langages de sp\'ecification",
  Chapter        = 1,
  booktitle      = "{M\'ethodes formelles pour les syst\`emes r\'epartis
                   et coop\'eratifs}",
  crossref       = {MeFoSyLoMa-06},
  lipn-category  = "chap"
}

@InBook{CC-LP-MeFo-06,
  Author         = "C. Choppy and L. Petrucci",
  Title          = "D\'emarches de sp\'ecification",
  Chapter        = 2,
  booktitle      = "{M\'ethodes formelles pour les syst\`emes r\'epartis
                   et coop\'eratifs}",
  crossref       = {MeFoSyLoMa-06},
  lipn-category  = "chap"
}

@Article{cfvm06-TCS,
  Author         = "Christophe Fouquer\'e and Virgile Mogbil",
  Title          = "Rewritings in Polarized Proof Structures",
  Journal        = "Mathematical Structures in Computer Science",
  lipn-category  = "soum"
}

@InProceedings{invLP-ISPS-05,
  Author         = "L. Petrucci",
  Title          = "Modularity and {P}etri nets",
  BookTitle      = "Proc.\ 7th International Symposium on Programming and
                   Systems (ISPS'2005), Algiers, Algeria",
  Pages          = "7--8",
  lipn-category  = "invi",
  month          = may,
  year           = 2005
}

@InBook{EB-PD-LP-thiago-08,
  Author         = {E. Badouel and P. Darondeau and L. Petrucci},
  Editor         = "M. Mukund",
  Title          = {Synthesis of Distributed Petri Nets from Coordinated
                   Automata},
  booktitle      = "Perspectives in Concurrency Theory",
  lipn-category  = "chap",
  lipn-status    = "apar",
  month          = dec,
  year           = 2008
}

@InProceedings{BoufaresBennaceurOsmani03c,
  Author         = {F. Boufarès and H. Bennaceur and A. Osmani},
  Title          = "On the consistency of Cardinality Constraints in {UML}
                   Modeling",
  BookTitle      = {Proc. of the 10th ISPE International Conference on
                   Concurrent Engineering : Research and Applications,
                   (ISPE : International Society for Productivity
                   Enhancement)},
  Pages          = {287--292},
  lipn-category  = "intc",
  year           = 2003
}

@Article{BoufaresBennaceur04a,
  Author         = {F. Boufarès and H. Bennaceur},
  Title          = {Consistency Problems in {ER}-Schemas for Database
                   systems},
  Journal        = {Information Sciences Journal},
  Volume         = {163},
  Number         = {4},
  Pages          = {263--274},
  lipn-category  = "jour",
  publisher      = {Elsevier},
  year           = 2004
}

@InProceedings{SB-LP-AFADL04,
  Author         = "S. Bardin and L. Petrucci",
  Title          = "{COAST} : des réseaux de {Petri} à la planification
                   assistée",
  BookTitle      = "Proc.\ 6ème Conférence sur les Approches Formelles
                   dans l'Assistance au Développement de Logiciels
                   (AFADL'2004), Besançon, France",
  Pages          = "285--298",
  lipn-category  = "autc",
  month          = jun,
  url            = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/SBLP-AFADL04.pdf",
  year           = 2004
}

@InProceedings{BadriBoufaresEtAl06b,
  Author         = {M. Badri and F. Boufarès and C.F. Ducateau and R.
                   Nefoussi},
  Title          = "Maintenance des vues matérialisées hétérogènes sous
                   {Oracle}",
  BookTitle      = {Actes de l'atelier Système d'Information Décisionnels,
                   Informatique des Organisations et Systèmes
                   d'Information et de Décision},
  Pages          = {8--14},
  lipn-category  = "autc",
  year           = 2006
}

@InProceedings{CC-LP-GR-RST-08,
  Author         = "C. Choppy and L. Petrucci and G. Reggio",
  Title          = "A modelling approach with coloured {Petri} nets",
  BookTitle      = "Proc.\ 13th Int. Conf. on Reliable Software
                   Technologies --- Ada-Europe, Venice, Italy",
  Series         = lncs,
  Publisher      = sv,
  lipn-category  = "invi",
  lipn-status    = "apar",
  missingpages   = "39--56",
  month          = jun,
  year           = 2008
}

@InProceedings{BD1,
  Author         = "R. Ghnemat and K. Khatatneh and S. Oqeili and C.
                   Bertelle and G.H.E. Duchamp",
  Title          = {Automata-based adaptive behavior for economic modeling
                   using game theory},
  BookTitle      = {Emergent Properties in Natural and Artificial
                   Dynamical Systems},
  Editor         = {M.A. Aziz-Alaoui and C. Bertelle },
  Volume         = {},
  Series         = {Understanding Complex Systems series},
  Pages          = {173--185},
  Address        = {Gammarth, Tunisia},
  Publisher      = sv,
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@InProceedings{HamdounBoufares05b,
  Author         = {S. Hamdoun and F. Boufarès},
  Title          = "Relationships between attributes to integrate
                   heterogeneous data sources : an {SQL} methodology",
  BookTitle      = {Proceedings of the IASTED International Conference on
                   Databases and Applications (IASTED : International
                   Association of Science and Technology for Development)},
  Pages          = {23--28},
  lipn-category  = "intc",
  year           = 2005
}

@InProceedings{CC-LP-GR-CPN-07,
  Author         = "C. Choppy and L. Petrucci and G. Reggio",
  Title          = "Designing coloured {Petri} net models: a method",
  BookTitle      = "Proc.\ Workshop on Practical Use of Coloured Petri
                   Nets, Aarhus, Denmark",
  lipn-category  = "autc",
  month          = oct,
  year           = 2007
}

@InProceedings{ChoppyHeiselWADT,
  Author         = {C. Choppy and D. Hatebur and M. Heisel},
  Title          = "{Use of Patterns in Formal Development: Systematic
                   Transition From Problems to Architectural Designs}",
  BookTitle      = "{Recent Trends in Algebraic Development Techniques}",
  Volume         = {2755},
  Series         = lncs,
  Pages          = "205--220",
  Publisher      = sv,
  lipn-category  = "intc",
  year           = 2003
}

@InProceedings{JB-GG-LP-MOMPES-05,
  Author         = "J. Billington and G. E. Gallasch and L. Petrucci",
  Title          = "Transforming Couloured {P}etri Nets to Counter Systems
                   for Parametric Verification: A Stop-and-Wait Protocol
                   Case Study",
  BookTitle      = "Proc.\ 2nd workshop on MOdel-based Methodologies for
                   Pervasive and Embedded Software (MOMPES'05, satellite
                   of ACSD'05), Rennes, France",
  Volume         = 39,
  Pages          = "37--55",
  Publisher      = "TUCS general publication",
  Note           = "ISBN 952-12-1556-9",
  lipn-category  = "autc",
  month          = jun,
  year           = 2005
}

@InProceedings{GOF6,
  Author         = "A. Horzela and P. Blasiak and G. Duchamp and K. A.
                   Penson and A.I. Solomon",
  Title          = {A product formula and combinatorial field theory},
  BookTitle      = {Proceedings of the XI International Conference on
                   Symmetry Methods in Physics (SYMPHYS-11) },
  Editor         = {J. Govaerts and M. N. Hounkonnou and A. Z. Msezane },
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Prague, Czech Republic},
  Publisher      = {JINR Publishers},
  lipn-category  = "intc",
  optannote      = {arXiv:{\tt quant-ph/0409152}},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2004
}

@Article{LH-FK-LP-NT-PNML-05,
  Author         = "L. Hillah and F. Kordon and L. Petrucci and N.
                   Tr{\`e}ves",
  Title          = "{Building an API for ISO/IEC 15909, based on model
                   engineering techniques}",
  Journal        = "Petri Net Newsletter",
  Volume         = "69",
  lipn-category  = "autj",
  month          = oct,
  nopages        = "92--101",
  year           = 2005
}

@InProceedings{karoui06d,
  Author         = {Hager Karoui and Rushed Kanawati and Laure Petrucci},
  Title          = {Cooperative {CBR} System for Peer Agent Committee
                   Formation},
  BookTitle      = {Proc.\ 5th Workshop on Agents and Peer-to-Peer
                   Computing (AP2PC'06)},
  Pages          = {76-90},
  Address        = {Hakodate, Japan},
  date-added     = {2006-09-22 20:21:54 +0200},
  date-modified  = {2006-10-13 22:35:59 +0200},
  futurepublisher = sv,
  futureseries   = lncs,
  lipn-category  = {autc},
  month          = may,
  year           = 2006
}

@InProceedings{Lellahi02a,
  Author         = "K. Lellahi and A. Zamulin",
  Title          = "Towards an Algebraic Formalization of Sequential
                   Java-like Programs with Implicit States",
  BookTitle      = "Proc. ECOOP Workshop on Formal Techniques for Java
                   Programs (FTFJP-2002), Malaga, Spain",
  Pages          = "131--132",
  Publisher      = "Computing Science Department, University of Nijmegen,
                   technical report No. NIII-R0204",
  lipn-category  = "autc",
  month          = jun,
  year           = 2002
}

@InProceedings{Baillot07,
  Author         = {Baillot, P.},
  Title          = {From {P}roof-{N}ets to {L}inear {L}ogic {T}ype
                   {S}ystems for {P}olynomial {T}ime {C}omputing},
  BookTitle      = {Proceedings of Typed Lambda Calculi and Applications
                   (TLCA'07)},
  Volume         = {4583},
  Series         = {LNCS},
  Pages          = {2-7},
  Publisher      = {Springer},
  Note           = {Expos\'e Invit\'e.},
  lipn-category  = "tuto",
  opteditor      = {},
  optnumber      = {},
  optorganization = {},
  year           = 2007
}

@InProceedings{BT04,
  Author         = {Baillot, P. and Terui, K.},
  Title          = {Light types for polynomial time computation in
                   lambda-calculus},
  BookTitle      = {Proceedings of 19th IEEE Symposium on Logic in
                   Computer Science (LICS 2004)},
  Pages          = {266-275},
  Publisher      = {IEEE Computer Society},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  year           = 2004
}

@Article{GOF11,
  Author         = "P. Blasiak and K. A. Penson and A. Horzela and A. I
                   Solomon and G. H. E. Duchamp",
  Title          = "Combinatorics and Boson Normal Ordering: A Gentle
                   Introduction",
  Journal        = "Am. J. Phys.",
  Volume         = 75,
  Pages          = "639--646",
  lipn-category  = "jour",
  year           = 2007
}

@Proceedings{ACSD06,
  Title          = "Proceedings of the 6th International Conference on
                   Application of Concurrency to System Design (ACSD'06),
                   Turku, Finland",
  Editor         = {K. Goossens and L. Petrucci},
  Publisher      = ieeecsp,
  booktitle      = "Proceedings of the 6th International Conference on
                   Application of Concurrency to System Design (ACSD'06),
                   Turku, Finland",
  isbn           = "0-7695-2556-3",
  lipn-category  = "edit",
  month          = jun,
  year           = 2006
}

@TechReport{Darondeau-Petrucci,
  Author         = {Darondeau, Philippe and Petrucci, Laure},
  Title          = {Modular Automata 2 Distributed {P}etri Nets 4
                   Synthesis},
  Institution    = {INRIA},
  Number         = {6192},
  lipn-category  = "rapl",
  month          = may,
  url            = {https://hal.inria.fr/inria-00148133},
  year           = 2007
}

@Misc{LP-ISO-07,
  Author         = "L. Petrucci",
  Title          = "{ISO/IEC 15909 --- Part 3: Extensions}",
  Note           = {Working document of ISO/IEC JTC1-SC7-WG19, ref.
                   PA2-018},
  lipn-category  = "rapl",
  month          = nov,
  year           = 2007
}

@InProceedings{BoufaresBerrabahDucateauHeiwy06e,
  Author         = {D. Berrabah and F. Boufarès and C.F. Ducateau and V.
                   Heiwy},
  Title          = {Sémantique des contraintes dans les diagrammes de
                   classes {UML}: une expression en langage {OCL}},
  BookTitle      = {Proceedings of the 9th Maghrebian Conference on
                   Software Engineering and Artificial Intelligence},
  Pages          = {534--538},
  lipn-category  = "autc",
  year           = 2006
}

@Article{BattistelliSchwer07b,
  Author         = "Delphine Battistelli and Jean-Luc Minel and Sylviane
                   R. Schwer",
  Title          = "Représentation des expressions calendaires dans les
                   textes : vers une application à la lecture assistée de
                   biographies",
  Journal        = "revue TAL (traitement automatique des langues)",
  Volume         = "47-3",
  Note           = "À paraître",
  lipn-category  = "autj",
  lipn-status    = "apar",
  year           = 2007
}

@Misc{Schwer06d,
  Author         = "Sylviane R. Schwer",
  Title          = "Le système des formes verbales de {Marc Wilmet}
                   revisité dans une perspective néo-reichenbachienne",
  booktitle      = "colloque Chronos 7, Anvers",
  lipn-category  = "autc",
  month          = sep,
  year           = 2006
}

@Article{BanderierSchwer05a,
  Author         = "Cyril Banderier and Sylviane R. Schwer",
  Title          = "{Why Delannoy numbers ?}",
  Journal        = "Journal of Statistical Planning and Inference",
  Volume         = 135,
  Number         = 1,
  Pages          = "40--54",
  lipn-category  = "jour",
  year           = 2005
}

@InProceedings{BCC-DX07,
  Author         = {O. Bertrand and P. Carle and C. Choppy},
  Title          = "{Chronicle modelling using automata and colored Petri
                   nets}",
  BookTitle      = {The 18th International Workshop on Principles of
                   Diagnosis (DX-07)},
  Pages          = "229--234",
  lipn-category  = "autc",
  year           = 2007
}

@Misc{DonnazzanSchwer07,
  Author         = "Donazzan Marta and Sylviane R. Schwer and Lucia Tovena",
  Title          = "Apport du treillis associé à l'interprétation
                   d'adverbes itératifs",
  booktitle      = "Actes de AFLS (Association for French Language
                   Studies) Conference 2007 : le français sous tous ses
                   aspects",
  lipn-category  = "autc",
  month          = sep,
  year           = 2007
}

@Misc{cf03,
  Author         = "Christophe Fouqueré",
  Title          = "Process Calculus and Mobile Code",
  Note           = "2ème école franco-mexicaine sur les systèmes répartis
                   coopératifs",
  lipn-category  = "autc",
  month          = oct,
  place          = "Rennes",
  year           = 2003
}

@TechReport{CC-LP-GR07r,
  Author         = "C. Choppy and L. Petrucci and G. Reggio",
  Title          = "A method for modelling with coloured nets",
  Institution    = "Universite Paris 13",
  lipn-category  = "rapl",
  year           = 2007
}

@InProceedings{cf04ACFAS,
  Author         = "Christophe Fouqueré",
  Title          = "Le web comme source d'informations : quelles méthodes
                   ?",
  BookTitle      = "Proc.\ 72ème congrès de l'ACFAS Montréal, Canada",
  lipn-category  = "invi",
  missingpages   = "?",
  month          = may,
  year           = 2004
}

@InProceedings{GOF5,
  Author         = "A.I. Solomon and G. Duchamp and P. B{\l}asiak and A.
                   Horzela and K. A. Penson",
  Title          = {Partition functions and graphs: A combinatorial
                   approach},
  BookTitle      = {Proceedings of the XI International Conference on
                   Symmetry Methods in Physics (SYMPHYS-11) },
  Editor         = {J. Govaerts and M. N. Hounkonnou and A. Z. Msezane },
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Prague, Czech Republic},
  Publisher      = {JINR Publishers},
  lipn-category  = "intc",
  optannote      = {arXiv:{\tt quant-ph/0409082}},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2004
}

@InProceedings{BerrabahDucateauBoufares06a,
  Author         = {D. Berrabah and C.F. Ducateau and F. Boufarès},
  Title          = "Active mechanisms for checking participation
                   constraints in {UML}",
  BookTitle      = {Proceedings of the 8th International Conference on
                   Enterprise Information Systems},
  Pages          = {310--313},
  lipn-category  = "intc",
  year           = 2006
}

@Article{ChoppyReggioJLAP06,
  Author         = {C. Choppy and G. Reggio},
  Title          = {A Formally Grounded Software Specification Method},
  Journal        = {Journal of Logic and Algebraic Programming},
  Volume         = {67},
  Number         = {1-2},
  Pages          = {52--86},
  lipn-category  = "jour",
  publisher      = {Elsevier},
  year           = 2006
}

@TechReport{Lellahi02b,
  Author         = {K. Lellahi and A. Zamulin},
  Title          = {Implicit state approach for formalisation of
                   sequential Java-like programs},
  Institution    = {LIPN},
  Number         = 10,
  lipn-category  = {rapl},
  year           = 2002
}

@InProceedings{LP-PNS-07,
  Author         = "L. Petrucci",
  Title          = "{ISO/IEC 15909-2}, concepts of high-level nets and
                   {CPN}",
  BookTitle      = "Presentation at the Workshop on Petri Nets Standards
                   (PNS'07, associated with PETRI NETS'07), Siedlce,
                   Poland",
  lipn-category  = "auti",
  month          = jun,
  year           = 2007
}

@InProceedings{BadriBoufaresEtAl05d,
  Author         = {M. Badri and F. Boufarès and C.F. Ducateau and F.
                   Gargouri},
  Title          = "Etat de l'art de la maintenance des entrepôts de
                   données issus des systèmes d'information hétérogènes",
  BookTitle      = {Actes des cinquièmes journées scientifiques des jeunes
                   chercheurs en Génie Electrique et Informatique},
  Pages          = {13--18},
  lipn-category  = "autc",
  year           = 2005
}

@InProceedings{dallago06lics,
  Author         = {Ugo Dal Lago},
  Title          = {Context Semantics, Linear Logic and Computational
                   Complexity.},
  BookTitle      = {21th IEEE Symposium on Logic in Computer Science (LICS
                   2006), 12-15 August 2006, Seattle, WA, USA},
  Pages          = {169-178},
  lipn-category  = "intc",
  year           = 2006
}

@Article{HK-RK-LP-SGAI-06,
  Author         = "H. Karoui and R. Kanawati and L. Petrucci",
  Title          = "An intelligent peer-to-peer multi-agent system for
                   collaborative management of bibliographic databases",
  Journal        = "SGAI's expert update magazine",
  Volume         = 8,
  Number         = 3,
  Pages          = "22--31",
  lipn-category  = "autj",
  month          = spring,
  year           = 2006
}

@InProceedings{BerrabahDucateauBoufares05e,
  Author         = {D. Berrabah and C.F. Ducateau and F. Boufarès},
  Title          = "Analysing {UML} Graphic Constraints : How to cope with
                   {OCL}",
  BookTitle      = {Proceedings of the 3rd International Conference on
                   Computer Science and its Applications},
  Pages          = {74--82},
  lipn-category  = "intc",
  year           = 2005
}

@InProceedings{Schwer07a,
  Author         = "Sylviane R. Schwer",
  Title          = "Topologie d'une cité fantôme [d'Alain Robbe-Grillet] :
                   une approche catastrophique ou chaotique",
  BookTitle      = "Actes des 14\`emes Journ\'ees de Rochebrune,
                   Rencontres interdisciplinaires sur les systèmes
                   complexes naturels et artificiels. Catastrophes,
                   discontinuités, ruptures, limites, frontières.",
  Pages          = "273--287",
  lipn-category  = "autc",
  month          = jan,
  year           = 2007
}

@Article{JB-GG-LP-NJC-05,
  Author         = "J. Billington and G. E. Gallasch and L. Petrucci",
  Title          = "{FAST} Verification of the Class of Stop-and-Wait
                   Protocols Modelled by Coloured {Petri} Nets",
  Journal        = "Nordic Journal of Computing",
  Volume         = 12,
  Number         = 3,
  Pages          = "275--307",
  lipn-category  = "jour",
  month          = fall,
  year           = 2005
}

@InProceedings{FAST-cav03,
  Author         = "S. Bardin and A. Finkel and J. Leroux and L. Petrucci",
  Title          = "{FAST}: {F}ast {A}cceleration of {S}ymbolic
                   {T}ransition systems",
  BookTitle      = lncs2725,
  Volume         = "2725",
  Series         = lncs,
  Pages          = "118--121",
  Publisher      = sv,
  lipn-category  = "intc",
  lipn-time      = "ant",
  url            = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/FAST-cav03.ps",
  wwwpublic      = "public ccsb",
  year           = 2003
}

@Article{KTT-Kostka-SLC,
  Author         = "R. C. King and C. Tollu and F. Toumazet",
  Title          = {The Hive Model and the Factorisation of Kostka
                   Coefficients},
  Journal        = {S\'eminaire Lotharingien de Combinatoire},
  Volume         = {54A},
  Number         = {},
  Pages          = {22~pages},
  lipn-category  = "jour",
  optannote      = {preliminary version appeared in Proc. FPSAC'05},
  optmonth       = {},
  optnote        = {(electronic)},
  year           = 2006
}

@TechReport{Lellahi03b,
  Author         = {K. Lellahi and A. Zamulin},
  Title          = {A state-based algebraic semantics of statements of
                   sequential Java},
  Institution    = {LIPN},
  Number         = 3,
  lipn-category  = {rapl},
  year           = 2003
}

@InProceedings{ChoppyReggioFASE04,
  Author         = {C. Choppy and G. Reggio},
  Title          = "{Improving Use Case Based Requirements Using Formally
                   Grounded Specifications}",
  BookTitle      = {Fundamental Approaches to Software Engineering (FASE)},
  Volume         = 2984,
  Series         = lncs,
  Pages          = {244-260},
  Publisher      = sv,
  lipn-category  = "intc",
  opteditor      = {M. Wermelinger and T. Margaria-Steffen},
  year           = 2004
}

@InProceedings{GOF3,
  Author         = "A.I. Solomon and G. Duchamp and P. B{\l}asiak and A.
                   Horzela and K.A. Penson",
  Title          = {Normal Order: Combinatorial Graphs Quantum Theory and
                   Symmetries},
  BookTitle      = {Proceedings of the 3rd International Symposium},
  Editor         = {P.C. Argyres and T.J. Hodges and F. Mansouri and J.J.
                   Scanio and P. Suranyi and L.C.R. Wijewardhana },
  Volume         = {},
  Series         = {},
  Pages          = {},
  Publisher      = {World Scientific Publishing},
  lipn-category  = "intc",
  optaddress     = {},
  optannote      = {arXiv:{\tt quant-ph/0402082}},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2004
}

@Article{DD-MM-JSC,
  Author         = {David Delahaye and Micaela Mayero},
  Title          = {{D}ealing with {A}lgebraic {E}xpressions over a
                   {F}ield in {C}oq using {M}aple},
  Volume         = {39(5)},
  Pages          = {569--592},
  booktitle      = {Journal of Symbolic Computation: special issue on the
                   integration of automated reasoning and computer algebra
                   systems},
  lipn-category  = {jour},
  year           = 2005
}

@Article{cfvm07,
  Author         = "Christophe Fouquer\'e and Virgile Mogbil",
  Title          = "Rewritings for Polarized Multiplicative and
                   Exponential Proof Structures",
  Journal        = entcs,
  Pages          = {54--65},
  booktitle      = "Fourth Int. Workshop on Computing with Graphs and
                   Terms (Termgraph 07)",
  editor         = {Ian Mackie, Detlef Plump},
  lipn-category  = "jour",
  lipn-status    = "apar",
  place          = "Braga, Portugal",
  vol            = {},
  year           = 2007
}

@Article{BoufaresBerrabahEtAl05a,
  Author         = {F. Boufarès and D. Berrabah and C.F. Ducateau and F.
                   Gargouri},
  Title          = {Les conflits entre les contraintes dans les schémas
                   conceptuels de Bases de Données {UML-EER}},
  Journal        = {Information Sciences for Decision Making Journal (ISDM
                   Journal)},
  Volume         = {19},
  Pages          = {234--244},
  lipn-category  = "jour",
  year           = 2005
}

@Article{LP-PNNL-05,
  Author         = "L. Petrucci",
  Title          = "Cover Picture Story: Experiments with Modular State
                   Spaces",
  Journal        = "Petri Net Newsletter",
  Volume         = "68",
  Pages          = "Cover page and 5--10",
  lipn-category  = "autj",
  month          = apr,
  year           = 2005
}

@InProceedings{DLNTT-fpsac,
  Author         = "G.H.E.D. Duchamp and J.-G. Luque and J.-C. Novelli and
                   C. Tollu and F. Toumazet",
  Title          = {Hopf algebras of diagrams},
  BookTitle      = {Proceedings of FPSAC'07 },
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Tianjin, China},
  Publisher      = {},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2007
}

@Article{TurenneSchwer07,
  Author         = "Nicolas Turenne and Sylviane R. Schwer",
  Title          = "Temporal Representation of gene Interaction Networks
                   from Text Databases - Drosophila Megalogaster and
                   bacillus Subtilis cases",
  Journal        = "International Journal of data Mining and
                   Bioinformatics (IJDMB)",
  Note           = "À paraître",
  lipn-category  = "autj",
  lipn-status    = "apar",
  year           = 2007
}

@InProceedings{ChoppyReggioIWAAPF04,
  Author         = {C. Choppy and G. Reggio},
  Title          = "{A UML-Based Method for the Commanded Behaviour Frame}",
  BookTitle      = {Proc. of the 1st International Workshop on Advances
                   and Applications of Problem Frames (IWAAPF 2004)},
  Editor         = {K. Cox and J.G. Hall and L. Rapanotti},
  Pages          = {27-34},
  Organization   = {An ICSE 2004 workshop},
  Publisher      = {IEEE},
  lipn-category  = "autc",
  year           = 2004
}

@InProceedings{deNaurois06,
  Author         = {Paulin Jacob{\'e} de Naurois},
  Title          = {A Measure of Space for Computing over the Reals.},
  BookTitle      = {Logical Approaches to Computational Barriers, Second
                   Conference on Computability in Europe, CiE 2006,
                   Swansea, UK, June 30-July 5, 2006, Proceedings},
  Editor         = {Arnold Beckmann and Ulrich Berger and Benedikt
                   L{\"o}we and John V. Tucker},
  Volume         = {3988},
  Series         = lncs,
  Pages          = {231-240},
  Publisher      = sv,
  bibsource      = {DBLP, http://dblp.uni-trier.de},
  ee             = {http://dx.doi.org/10.1007/11780342_25},
  isbn           = {3-540-35466-2},
  lipn-category  = "intc",
  year           = 2006
}

@InProceedings{CL-LP-ACSD04,
  Author         = "C. Lakos and L. Petrucci",
  Title          = "Modular Analysis of Systems Composed of Semiautonomous
                   Subsystems",
  BookTitle      = "Proc.\ 4th Int.\ Conf.\ on Application of Concurrency
                   to System Design (ACSD'04), Hamilton, Canada, June 2004",
  Pages          = "185--194",
  Publisher      = ieeecsp,
  lipn-category  = "intc",
  month          = jun,
  url            = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/CLLP-ACSD04.pdf",
  year           = 2004
}

@InProceedings{BoufaresHamdoun03a,
  Author         = {F. Boufarès and S. Hamdoun},
  Title          = {Construction et Auto-maintenance d'un Web Warehouse},
  BookTitle      = {Actes du Colloque National de la Recherche en IUT},
  Pages          = "366--374",
  lipn-category  = "autc",
  year           = 2003
}

@TechReport{MM06,
  Author         = {J.-Y. Marion and J.-Y. Moyen},
  Title          = {Heap-size analysis for assembly programs},
  Institution    = {LIPN},
  lipn-category  = "rapl",
  url            = {https://hal.ccsd.cnrs.fr/ccsd-00023668},
  year           = 2006
}

@Misc{JVL-IUTOPPIX06,
  Author         = "J.-V. Loddo",
  Title          = "IUTOPPIX",
  Note           = "Cdrom amorçable, auto-configurable, dérivé de Knoppix
                   5.0.1, francisé et spécialisé pour les enseignements
                   aux dép. R\&T et INFO de l'IUT Villetaneuse. Licence
                   GPL.",
  lipn-category  = "real",
  month          = sep,
  url            = "http://www-lipn.univ-paris13.fr/~loddo/netxkiss/iutoppix-Sept-2006.iso",
  year           = 2006
}

@Unpublished{BDLM06,
  Author         = {Baillot, P. and Dal Lago, U. and Moyen, J.-Y.},
  Title          = {On {Q}uasi-Interpretations, {B}lind {A}bstractions and
                   {I}mplicit {C}omplexity},
  Note           = {8th International Workshop on Logic and Computational
                   Complexity (LCC'06) (Satellite de LICS'06), Seattle,
                   Prepublication HAL ccsd-00023668},
  annote         = {},
  lipn-category  = "autc",
  month          = aug,
  optkey         = {},
  year           = 2006
}

@InProceedings{LP-LK-JB-ZQ-ACSD03,
  Author         = "L. Petrucci and L. M. Kristensen and J. Billington and
                   Z. H. Qureshi",
  Title          = "Developing a Formal Specification for the Mission
                   System of a Maritime Surveillance Aircraft",
  BookTitle      = "Proc.\ 3rd Int.\ Conf.\ on Application of Concurrency
                   to System Design (ACSD'03), Guimarães, Portugal, June
                   2003",
  Pages          = "92--101",
  Publisher      = ieeecsp,
  lipn-category  = "intc",
  lipn-time      = "ant",
  url            = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PKBQ-ACSD.ps",
  wwwpublic      = "public ccsb",
  year           = 2003
}

@InProceedings{DBLP:conf/csl/KanovichV03,
  Author         = {Max I. Kanovich and Jacqueline Vauzeilles},
  Title          = {Coping Polynomially with Numerous but Identical
                   Elements within Planning Problems.},
  BookTitle      = {Computer Science Logic, 17th International Workshop,
                   CSL 2003, 12th Annual Conference of the EACSL, and 8th
                   Kurt G{\"u}del Colloquium, KGC 2003, Vienna, Austria,
                   August 25-30, 2003, Proceedings},
  Volume         = {2803},
  Series         = lncs,
  Pages          = {285-298},
  Publisher      = sv,
  bibsource      = {DBLP, http://dblp.uni-trier.de},
  ee             = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2803{\&}spage=285},
  isbn           = {3-540-40801-0},
  lipn-category  = "intc",
  year           = 2003
}

@InProceedings{HamdounBoufaresBadri06g,
  Author         = {S. Hamdoun and F. Boufarès and M. Badri},
  Title          = {Construction et Maintenance des entrepôts de données
                   hétérogènes},
  BookTitle      = {Proceedings of the 9th Maghrebian Conference on
                   Software Engineering and Artificial Intelligence},
  Pages          = {160--168},
  lipn-category  = "autc",
  year           = 2006
}

@InProceedings{CB2,
  Author         = "R. Ghnemat and C. Bertelle and G.H.E. Duchamp",
  Title          = {Self-organization simulation over geographical
                   information system based on multi-agent platform},
  BookTitle      = {Complex Systems and Self-organization Modelling,
                   CoSSOM'06 (Toulouse)},
  Pages          = {},
  annote         = {},
  lipn-category  = "autc",
  month          = {},
  optkey         = {},
  year           = 2006
}

@InProceedings{HamdounBoufares03d,
  Author         = {S. Hamdoun and F. Boufarès},
  Title          = "An {XML} approach of construction and self-maintenance
                   of a web warehouse",
  BookTitle      = {Proceedings of the 2003 International Arab Conference
                   on Information Technology},
  lipn-category  = "intc",
  year           = 2003
}

@TechReport{CC-LP-GR06r,
  Author         = "C. Choppy and L. Petrucci and G. Reggio",
  Title          = "A method for modelling with place/transitions nets",
  Institution    = "Universite Paris 13",
  lipn-category  = "rapl",
  year           = 2006
}

@InProceedings{CB-LP-VECOS-07,
  Author         = "C. Boukala and L. Petrucci",
  Title          = "Towards Distributed Verification of {Petri} Nets
                   properties",
  BookTitle      = "Proc.\ 1st International Workshop on Verification and
                   Evaluation of Computer and Communication Systems
                   (VECOS'07), Algiers, Algeria",
  Series         = "eWiC",
  Pages          = "15--26",
  Publisher      = "British Computer Society",
  lipn-category  = "autc",
  month          = may,
  year           = 2007
}

@Unpublished{BP04,
  Author         = {Baillot, P. and Pedicini, M.},
  Title          = {An {E}mbedding of the {BSS} {M}odel of {C}omputation
                   in {L}ight {A}ffine {L}ambda-{C}alculus},
  Note           = {8th International Workshop on Logic and Computational
                   Complexity (LCC'06) (Satellite de LICS'06), Seattle,
                   Prepublication HAL ccsd-00085547},
  annote         = {},
  lipn-category  = "autc",
  month          = aug,
  optkey         = {},
  year           = 2006
}

@InProceedings{JungjariyanonnSchwer03c,
  Author         = "S.\ Jungjariyanonn and Sylviane R. Schwer",
  Title          = "Extended Trivalent Computations",
  BookTitle      = "Proceedings of KRR1 (Spatial and Temporal Reasoning)
                   of the 18th International Joint Conference on
                   Artificial Intelligence",
  lipn-category  = "autc",
  missingpages   = "??--??",
  month          = aug,
  year           = 2003
}

@InProceedings{ChoppyHatHeisAPSEC06,
  Author         = {C. Choppy and D. Hatebur and M. Heisel},
  Title          = "{Component composition through architectural patterns
                   for problem frames}",
  BookTitle      = {Proc.\ of the Asia Pacific Software Engineering
                   Conference (APSEC-2006)},
  Editor         = {Pankaj Jalote},
  Pages          = {27--34},
  Publisher      = {IEEE},
  lipn-category  = "intc",
  year           = 2006
}

@InProceedings{invLP-ICATPN-03,
  Author         = "J. Billington and S. Christensen and K. van Hee and E.
                   Kindler and O. Kummer and L. Petrucci and R. Post and
                   C. Stehno and M. Weber",
  Title          = "The {P}etri {N}et {M}arkup {L}anguage: Concepts,
                   Technology and Tools",
  BookTitle      = lncs2679,
  Volume         = "2679",
  Series         = lncs,
  Pages          = "483--505",
  Publisher      = sv,
  lipn-category  = "invi",
  lipn-time      = "ant",
  url            = "http://www.lsv.ens-cachan.fr/Publis/PAPERS/PNML-ATPN03.ps",
  wwwpublic      = "public ccsb",
  year           = 2003
}

@Article{AutebertSchwer06d,
  Author         = "Jean-Michel Autebert and Sylviane R. Schwer",
  Title          = "{Henri Auguste Delannoy}, une biographie",
  Journal        = "Revue de Mathématiques \& Sciences Humaines",
  Volume         = 174,
  Pages          = "25--67",
  lipn-category  = "autj",
  year           = 2006
}

@Article{B04a,
  Author         = {Baillot, P.},
  Title          = {Stratified coherence spaces: a denotational semantics
                   for {L}ight {L}inear {L}ogic},
  Journal        = {Theoretical Computer Science},
  Volume         = {318},
  Number         = {1-2},
  Pages          = {29-55},
  lipn-category  = "jour",
  optannote      = {},
  optmonth       = {},
  optnote        = {},
  year           = 2004
}

@Article{DLKP-fpsac-SLC,
  Author         = "G.H.E. Duchamp and J-G. Luque and K-A. Penson and C.
                   Tollu",
  Title          = {Free quasi-symmetric functions, product actions and
                   quantum field theory of partitions},
  Journal        = {S\'eminaire Lotharingien de Combinatoire},
  Volume         = {54A},
  Number         = {},
  Pages          = {12~pages},
  lipn-category  = "jour",
  optannote      = {preliminary version appeared in Proc. FPSAC'05},
  optmonth       = {},
  optnote        = {(electronic)},
  year           = 2006
}

@Misc{LoddoHamon:2007,
  Author         = "Loddo, Jean-Vincent and Hamon Thierry",
  Title          = "Marionnet/Iutoppix : un {E}nvironnement {P}édagogique
                   pour la {S}imulation de {R}éseaux {L}ocaux",
  Note           = "Accepted for demonstration at the conference
                   {E}nvironnement {I}nformatique pour l'{A}pprentissage
                   {H}umain (EIAH), Lausanne, 2007",
  lipn-category  = "real"
}

@InProceedings{DLKP,
  Author         = "G.H.E. Duchamp and J-G. Luque and K-A. Penson and C.
                   Tollu",
  Title          = {Free quasi-symmetric functions, product actions and
                   quantum field theory of partitions},
  BookTitle      = {Proceedings of FPSAC'05 },
  Volume         = {},
  Series         = {},
  Pages          = {649--660},
  Address        = {Taormina, Italy},
  Publisher      = {},
  lipn-category  = "intc",
  optannote      = {arXiv : {\tt cs.SC/0412061}},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2005
}

@Article{AutebertSchwer03a,
  Author         = "Jean-Michel\ Autebert and Sylviane R. Schwer",
  Title          = "On generalized {Delannoy} Paths",
  Journal        = "SIAM Journal on Discrete Mathematics",
  Volume         = 16,
  Number         = 2,
  Pages          = "208--223",
  lipn-category  = "jour",
  year           = 2003
}

@InProceedings{BaillotCoppolaDalLago07,
  Author         = {Baillot, P. and Coppola, P. and Dal Lago, U.},
  Title          = {Light {L}ogics and {O}ptimal {R}eduction:
                   {C}ompleteness and {C}omplexity},
  BookTitle      = {Proceedings of Symposium on Logic in Computer Science
                   (LICS'07)},
  Pages          = {421-430},
  Publisher      = {IEEE Computer Society},
  lipn-category  = "intc",
  optorganization = {},
  year           = 2007
}

@InProceedings{HamdounBoufares05c,
  Author         = {S. Hamdoun and F. Boufarès},
  Title          = "Building a data warehouse using heterogeneous data
                   sources",
  BookTitle      = {Proceedings of the International Conference on
                   Sciences of Electronic, Technologies of Information and
                   Telecommunications},
  lipn-category  = "intc",
  year           = 2005
}

@InProceedings{BerrabahBoufaresBadri07a,
  Author         = {D. Berrabah and F. Boufarès and M. Badri},
  Title          = {Un métamodèle pour l'étude de la cohérence globale des
                   contraintes dans les bases de données},
  BookTitle      = {Actes du Colloque sur l'Optimisation et les Systèmes
                   d'Information},
  Pages          = {485--497},
  lipn-category  = "autc",
  year           = 2007
}

@InProceedings{DKB,
  Author         = "G. H.E. Duchamp and K. Khatatneh and C. Bertelle",
  Title          = {Rewriting Tables and Memorized Semirings},
  BookTitle      = {Proc. of the 12th IEEE International Conference on
                   Electronics, Circuits and Systems},
  Editor         = {Noureddine Boudriga and Mohammad S. Obaidat},
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Gammarth, Tunisia},
  Publisher      = {IoP},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2005
}

@Article{DL2,
  Author         = "G. Duchamp and J.-G. Luque",
  Title          = "Lazard's elimination (in traces) is finite-state
                   recognizable",
  Journal        = "International Journal of Algebra and Computation",
  Volume         = 17,
  Number         = 1,
  Pages          = "53--60",
  lipn-category  = "jour",
  month          = feb,
  year           = 2007
}

@InProceedings{CardinalSchwer07,
  Author         = "Sylviane R. Schwer et Jean-Paul Cardinal",
  Title          = "1870 : une catastrophe, une aubaine pour l'université
                   française et les scientifiques",
  BookTitle      = "Actes des 14\`emes Journ\'ees de Rochebrune,
                   Rencontres interdisciplinaires sur les systèmes
                   complexes naturels et artificiels. Catastrophes,
                   discontinuités, ruptures, limites, frontières.",
  Pages          = "289--300",
  lipn-category  = "autc",
  month          = jan,
  year           = 2007
}

@InProceedings{LH-FK-LP-NT-FORTE-06,
  Author         = "L. Hillah and F. Kordon and L. Petrucci and N.
                   Tr{\`e}ves",
  Title          = "{PN} standardisation: a survey",
  BookTitle      = "Proc.\ 26th International Conference on Formal Methods
                   for Networked and Distributed Systems (FORTE'06),
                   Paris, France",
  Volume         = 4229,
  Series         = lncs,
  Pages          = "307--322",
  Publisher      = sv,
  lipn-category  = "intc",
  month          = sep,
  year           = 2006
}

@Article{BD2,
  Author         = "L. Jaff and G.H.E. Duchamp and C. Bertelle",
  Title          = {Shift Operators and Complex Systems},
  Journal        = {Int. Journal of Modeling, Identification and Control},
  Volume         = {},
  Number         = {},
  Pages          = {},
  lipn-category  = "jour",
  lipn-status    = "apar",
  optannote      = {},
  optmonth       = {},
  optnote        = {to appear},
  year           = 2006
}

@InProceedings{NTB-Torun,
  Author         = "J. Nzeutchap and F. Toumazet and F. Butelle.",
  Title          = {{Kostka} numbers and {Littlewood-Richardson}
                   coefficients: distributed computation},
  BookTitle      = {Symmetry, Spectroscopy and SCHUR, Proc. Prof. Brian G.
                   Wybourne Commemorative Meeting },
  Editor         = {R.C. King and M. Bylicki and J. Karwowski },
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Torun, Poland},
  Publisher      = {Nicolaus Copernicus University Press},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@InProceedings{SM-LP-MOCA-06,
  Author         = "S. Mazouz and L. Petrucci",
  Title          = "Modular Discrete Pseudo-State Graphs for Time {Petri}
                   Nets",
  BookTitle      = "Workshop on Modelling of Objects, Components and
                   Agents (MOCA'06, associated with PETRI NETS'06), Turku,
                   Finland",
  Number         = 272,
  Series         = "Universit{\"{a}}t Hamburg Bericht",
  Pages          = "223--244",
  lipn-category  = "autc",
  month          = jun,
  year           = 2006
}

@Article{DHKL,
  Author         = "G. Duchamp and Hatem Hadj Kacem and Eric Laugerotte",
  Title          = {Algebraic elimination of $\epsilon$-transitions},
  Journal        = {Discrete Mathematics and Theoretical Computer Science},
  Volume         = {7},
  Number         = {1},
  Pages          = {51--70},
  lipn-category  = "jour",
  optannote      = {},
  optmonth       = {},
  optnote        = {},
  year           = 2005
}

@InProceedings{ChoppyHeisel04a,
  Author         = {C. Choppy and M. Heisel},
  Title          = {Une approche {\`a} base de "patrons" pour la
                   sp{\'e}cification et le d{\'e}veloppement de
                   syst{\`e}mes d'information},
  BookTitle      = {Proceedings Approches Formelles dans l'Assistance au
                   D{\'e}veloppement de Logiciels - AFADL'2004},
  Pages          = "61--76",
  lipn-category  = "autc",
  year           = 2004
}

@TechReport{cfvm04TechRep,
  Author         = "Christophe Fouquer\'e and Virgile Mogbil",
  Title          = "Modules and logic programming",
  Institution    = "LIPN, Université Paris 13",
  Note           = "cs.LO/0411029",
  lipn-category  = "rapl",
  year           = 2004
}

@InBook{BD3,
  Author         = "H. Kadri-Dahmani and C. Bertelle and G.H.E. Duchamp
                   and A. Osmani",
  Editor         = "M. A. Aziz-Alaoui and C. Bertelle",
  Title          = {Consistent Updating of Geographical DataBase as
                   Emergent Property over Influence System},
  Pages          = {},
  Publisher      = {Springer},
  Series         = {Understanding Complex Systems},
  booktitle      = {Emergent Properties in Natural and Artificial
                   Dynamical Systems},
  isbn           = {978-3-540-34822-1},
  lipn-category  = "chap",
  optannote      = {},
  optmonth       = {},
  year           = 2006
}

@TechReport{DD-MM-Fermat4,
  Author         = {David Delahaye and Micaela Mayero},
  Title          = {{D}iophantus' 20th {P}roblem and {F}ermat's {L}ast
                   {T}heorem for $n=4$: {F}ormalization of {F}ermat's
                   {P}roofs in the {C}oq {P}roof {A}ssistant},
  lipn-category  = {rapl},
  year           = 2005
}

@InProceedings{BaD,
  Author         = "S. Baudic and G. H. E. Duchamp",
  Title          = {Modelling and reasoning on emotions: theories and
                   clinical implications},
  BookTitle      = {Complex Systems and Self-organization Modelling,
                   CoSSOM'06 (Toulouse)},
  Pages          = {},
  annote         = {},
  lipn-category  = "autc",
  month          = {},
  optkey         = {},
  year           = 2006
}

@Misc{cffi02,
  Author         = "Christophe Fouquer\'e and Fabrice Issac",
  Title          = "Constitution de corpus du Web et analyse
                   informationnelle : premiers résultats",
  HowPublished   = "Colloque TALN, Corpus et Web, MSH Paris Nord",
  lipn-category  = "autc",
  month          = "26 et 27 novembre",
  year           = 2002
}

@Article{LH-FK-LP-JESA-08,
  Author         = "L. Hillah and F. Kordon and L. Petrucci",
  Title          = "Application des méthodes formelles à la robotique
                   modulaire --- Méthodes formelles pour l'analyse des
                   robots autonomes et modulaires",
  Journal        = jesa,
  lipn-category  = "jour",
  lipn-status    = "apar",
  missingmonth   = jun,
  missingnumber  = "3--4",
  missingpages   = "393--411",
  missingvolume  = 9,
  publisher      = hermes,
  year           = 2008
}

@InProceedings{KK-LP-MR-FORTE-07,
  Author         = "K. Klai and L. Petrucci and M. Reniers",
  Title          = "An Incremental and Modular Technique for Checking
                   {LTL$\setminus$X} Properties of {Petri} Nets",
  BookTitle      = "Proc.\ 27th International Conference on Formal Methods
                   for Networked and Distributed Systems (FORTE'07),
                   Tallinn, Estonia",
  Volume         = 4574,
  Series         = lncs,
  Publisher      = sv,
  lipn-category  = "intc",
  missingpages   = "280--295",
  month          = jun,
  year           = 2007
}

@Article{KTW-LR-SLC,
  Author         = "R. C. King and C. Tollu and F. Toumazet",
  Title          = {The Hive Model and the Polynomial Nature of Stretched
                   {Littlewood-Richardson} Coefficients},
  Journal        = {S\'eminaire Lotharingien de Combinatoire},
  Volume         = {54A},
  Number         = {},
  Pages          = {19~pages},
  lipn-category  = "jour",
  optannote      = {},
  optmonth       = {},
  optnote        = {(electronic)},
  year           = 2006
}

@InProceedings{BM04,
  Author         = {Baillot, Patrick and Mogbil, Virgile},
  Title          = {Soft lambda-calculus: a language for polynomial time
                   computation},
  BookTitle      = {Proceedings of the 7th International Conference on
                   Foundations of Software Science and Computation
                   Structures (FOSSACS'04)},
  Volume         = {2987},
  Series         = lncs,
  Pages          = {27-41},
  Publisher      = sv,
  lipn-category  = "intc",
  opteditor      = {Igor Walukiewicz},
  optisbn        = {3-540-21298-1},
  optnote        = {7th International Conference Foundations of Software
                   Science and Computation Structures, part of the Joint
                   European Conferences on Theory and Practice of
                   Software, ETAPS 2004, Barcelona, Spain},
  year           = 2004
}

@Misc{FK-LP-NWI-04,
  Author         = "F. Kordon and L. Petrucci",
  Title          = "Proposal for an addendum to {ISO/IEC} 15909-1",
  Note           = {NWI submitted by AFNOR to ISO/IEC JTC1-SC7-WG19, ref.
                   MAL-012},
  lipn-category  = "rapl",
  month          = nov,
  year           = 2004
}

@InProceedings{CL-LP-PNSE-07,
  Author         = "C. Lakos and L. Petrucci",
  Title          = "Modular State Spaces and Place Fusion",
  BookTitle      = "Workshop on Petri Nets and Software Engineering
                   (PNSE'07, associated with PETRI NETS'07), Siedlce,
                   Poland",
  Pages          = "175--190",
  Publisher      = "University of Podlasie",
  lipn-category  = "autc",
  month          = jun,
  year           = 2007
}

@InProceedings{SB-LP-PNML04,
  Author         = "S. Bardin and L. Petrucci",
  Title          = "From {\sc PNML} to counter systems for accelerating
                   {P}etri Nets with {\sc fast}",
  BookTitle      = "Proc. of the Workshop on Interchange Formats for Petri
                   Nets (at ICATPN 2004)",
  Pages          = "26--40",
  lipn-category  = "autc",
  month          = jun,
  url            = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/SBLP-PNML04.pdf",
  year           = 2004
}

@InProceedings{CC-LP-CPN-04,
  Author         = "C. Choppy and L. Petrucci",
  Title          = "Towards a methodology for modelling with {P}etri nets",
  BookTitle      = "Proc.\ Workshop on Practical Use of Coloured Petri
                   Nets, Aarhus, Denmark",
  Pages          = "39--56",
  Note           = "Proceedings published as Report DAIMI-PB 570, Aarhus,
                   DK",
  lipn-category  = "autc",
  month          = oct,
  year           = 2004
}

@InProceedings{BerrabahBoufaresEtAl04b,
  Author         = {D. Berrabah and F. Boufarès and C.F. Ducateau and F.
                   Gargouri and V. Heiwy},
  Title          = {Les conflits entre les contraintes dans les schémas
                   conceptuels de Bases de Données {UML-EER}},
  BookTitle      = {Proceedings of the 8th Maghrebian Conference on
                   Software Engineering and Artificial Intelligence},
  Pages          = "437--448",
  lipn-category  = "autc",
  year           = 2004
}

@InProceedings{BT05,
  Author         = {Baillot, P. and Terui, K.},
  Title          = {A {F}easible {A}lgorithm for {T}yping in {E}lementary
                   {A}ffine {L}ogic},
  BookTitle      = {Proceedings of 7th International Conference on Typed
                   Lambda Calculi and Applications (TLCA 2005)},
  Volume         = {3461},
  Series         = lncs,
  Pages          = {55-70},
  Publisher      = sv,
  lipn-category  = "intc",
  opteditor      = {},
  optnumber      = {},
  year           = 2005
}

@InProceedings{GOF2,
  Author         = "A.I. Solomon and P. Blasiak and G. Duchamp and A.
                   Horzela and K.A. Penson",
  Title          = {Combinatorial Physics, Normal Order and Model
                   {Feynman} Graphs},
  BookTitle      = {Proceedings of the Symposium Symmetries in Science
                   XIII},
  Editor         = {B. Gruber and G. Marmo and N. Yoshinaga},
  Volume         = {},
  Series         = {},
  Pages          = {150--166},
  Address        = {Bregenz, Austria},
  Publisher      = {Kluwer Academic Publishers},
  lipn-category  = "intc",
  optannote      = {arXiv : {\tt quant-ph/0310174}},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@InProceedings{Tou-Torun,
  Author         = "F. Toumazet",
  Title          = {Characterization of generic products in {$Sp(2n,R)$
                   and $SO^\ast(2n)$}},
  BookTitle      = {Symmetry, Spectroscopy and SCHUR, Proc. Prof. Brian G.
                   Wybourne Commemorative Meeting },
  Editor         = {R.C. King and M. Bylicki and J. Karwowski },
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Torun, Poland},
  Publisher      = {Nicolaus Copernicus University Press},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@Article{GOF7,
  Author         = "P. B{\l}asiak and K.A. Penson and A.I. Solomon and A.
                   Horzela and G.H.E. Duchamp",
  Title          = {Some useful combinatorial formulas for bosonic
                   operators},
  Journal        = {J. Math. Phys.},
  Volume         = {46},
  Number         = {},
  Pages          = {052110--},
  lipn-category  = "jour",
  optannote      = {arXiv : {\tt quant-ph/0405103}},
  optmonth       = {},
  optnote        = {},
  year           = 2005
}

@Misc{BattistelliSchwer07a,
  Author         = "Delphine Battistelli and Jean-Luc Minel and Sylviane
                   R. Schwer",
  Title          = "Calendar Expressions Ordering in text Corpora",
  booktitle      = "JNLDB'07, Poster session's proceedings 12th
                   International Conference on Applications of Natural
                   Language to Information Systems, Paris",
  lipn-category  = "autc",
  month          = jun,
  year           = 2007
}

@InProceedings{HK-RK-LP-CBR-04,
  Author         = "H. Karoui and R. Kanawati and L. Petrucci",
  Title          = "An intelligent peer-to-peer multi-agent system for
                   collaborative management of bibliographic databases",
  BookTitle      = "Proc.\ Workshop on Case Based Reasoning, Cambridge,
                   England",
  lipn-category  = "autc",
  missingnote    = "Proceedings published as Report DAIMI-PB 570, Aarhus,
                   DK",
  missingpages   = "39--56",
  month          = dec,
  year           = 2004
}

@InProceedings{ABT05,
  Author         = {Atassi, V. and Baillot, P. and Terui, K.},
  Title          = {Verification of {P}time reducibility for system {F}
                   terms via {D}ual {L}ight {A}ffine {L}ogic},
  BookTitle      = {Proceedings of Computer Science Logic (CSL'06)},
  Volume         = {4207},
  Series         = lncs,
  Pages          = {150-166},
  Publisher      = sv,
  lipn-category  = "intc",
  optaddress     = {},
  optannote      = {},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@InProceedings{cf07,
  Author         = "Christophe Fouquer\'e",
  Title          = "A Logical Calculus for Modelling Interferences",
  BookTitle      = "4th International Colloquium on Theoretical Aspects of
                   Computing (ICTAC07)",
  Volume         = "4711",
  Series         = lncs,
  Pages          = "216--230",
  Publisher      = sv,
  lipn-category  = "intc",
  month          = sep,
  place          = "Macao, China",
  year           = 2007
}

@Article{FI-ACSD06,
  Author         = {R. Janicki and L. Petrucci (eds.)},
  Title          = "{Fifth Special Issue on Application of Concurrency to
                   System Design}",
  Journal        = fundi,
  Note           = "À paraître",
  lipn-category  = "edit",
  lipn-status    = "apar",
  year           = 2008
}

@Article{DD-MM-Calculemus2005,
  Author         = {David Delahaye and Micaela Mayero},
  Title          = {{Q}uantifier {E}limination over {A}lgebraically
                   {C}losed {F}ields in a {P}roof {A}ssistant using a
                   {C}omputer {A}lgebra {S}ystem},
  Volume         = {151(1)},
  Pages          = {57--73},
  booktitle      = {Proceedings of Calculemus 2005},
  lipn-category  = {intc},
  series         = {ENTCS},
  year           = 2006
}

@InProceedings{LK-LP-ICATPN04,
  Author         = "L. Kristensen and L. Petrucci",
  Title          = "An Approach to Distributed State Space Exploration for
                   Coloured {P}etri Nets",
  BookTitle      = atpn2004,
  Volume         = 3099,
  Series         = lncs,
  Pages          = "474--483",
  Publisher      = sv,
  lipn-category  = "intc",
  month          = jun,
  url            = "http://www-lipn.univ-paris13.fr/~petrucci/PAPERS/LKLP-ICATPN04.pdf",
  year           = 2004
}

@InProceedings{BFCA05,
  Author         = {G. H. E. Duchamp and H. Hadj-Kacem and E. Laugerotte},
  Title          = {On the decomposition of boolean functions},
  BookTitle      = "Proceedings of BFCA'05 Conference, March 7--8, 2005
                   Rouen, France",
  Editor         = "J.-F. Michon and P. Valarcher and J.-B. Yun{\`e}s",
  Pages          = "115--128",
  Publisher      = {Universités de Rouen et du Havre},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optnote        = {},
  year           = 2005
}

@InProceedings{GOF4,
  Author         = "G. Duchamp and K.A. Penson and A.I. Solomon and A.
                   Horzela and P. Blasiak",
  Title          = {One-Parameter Groups and Combinatorial Physics},
  BookTitle      = {Proceedings of the Third International Workshop on
                   Contemporary Problems in Mathematical Physics
                   (COPROMAPH3)},
  Editor         = {J. Govaerts and M. N. Hounkonnou and A. Z. Msezane },
  Volume         = {},
  Series         = {},
  Pages          = {436--},
  Address        = {Porto-Novo, Benin},
  Publisher      = {World Scientific Publishing},
  lipn-category  = "intc",
  optannote      = {arXiv : {\tt quant-ph/0401126}},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2004
}

@InProceedings{cfvm05SD,
  Author         = "Christophe Fouquer\'e and Virgile Mogbil",
  Title          = "Rewritings in Polarized (Partial) Proof Structures",
  BookTitle      = "1st Workshop on Structures and Deductions",
  Editor         = {Paola Bruscoli, Francois Lamarche and James Stewart},
  Volume         = {ISSN 1430-211X},
  Series         = "Technical Report",
  Pages          = {95--109},
  Publisher      = {Technische {Universit\"at} Dresden},
  lipn-category  = "rapl",
  month          = jul,
  place          = "Lisbon, Portugal",
  year           = 2005
}

@InProceedings{GOF9,
  Author         = "K. A. Penson and P. Blasiak and G. Dattoli and G. H.
                   E. Duchamp and A. Horzela and A. I. Solomon",
  Title          = {Monomiality principle, {Sheffer}-type polynomials and
                   the normal ordering principle},
  BookTitle      = {Journal of Physics: Conference Series, SSPCM'05 },
  Volume         = {30},
  Series         = {},
  Pages          = {86--97},
  Address        = {Myczkowce, Poland},
  Publisher      = {IoP},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@InProceedings{ChoppyReggioASWEC06,
  Author         = {C. Choppy and G. Reggio},
  Title          = "{Requirements Capture and Specification for Enterprise
                   Applications: a UML Based Attempt}",
  BookTitle      = {Proc of the Australian Software Engineering Conference
                   (ASWEC-2006)},
  Editor         = {Jun Han and Mark Staples},
  Pages          = {19--28},
  Publisher      = {IEEE},
  lipn-category  = "intc",
  year           = 2006
}

@Article{GOF8,
  Author         = "P. Blasiak and A. Horzela and K. A. Penson and G. H.
                   E. Duchamp and A.I. Solomon",
  Title          = {Normal Ordering via Substitutions and {Sheffer}-type
                   Polynomials},
  Journal        = {Phys. Lett. A},
  Volume         = {338},
  Number         = {},
  Pages          = {108--},
  lipn-category  = "jour",
  optannote      = {arXiv : {\tt quant-ph/0501155}},
  optmonth       = {},
  optnote        = {},
  year           = 2005
}

@InProceedings{MR07,
  Author         = {V. Mogbil and V. Rahli},
  Title          = {Uniform circuits, {\&} Boolean proof nets},
  BookTitle      = {Logical Foundations of Computer Science},
  Editor         = {Artemov, Sergei and Nerode, Anil},
  Volume         = {4514},
  Series         = {Lecture Notes in Computer Science},
  Pages          = {401-421},
  Publisher      = {Springer-Verlag Heidelberg},
  Note           = {International Symposium, LFCS 2007, New York, NY, USA,
                   June 4-7},
  isbn           = {978-3-540-72732-3},
  lipn-category  = "intc",
  year           = 2007
}

@InProceedings{CB1,
  Author         = "H. Kadri-Dahmani and C. Bertelle and G.H.E. Duchamp
                   and A. Osmani",
  Title          = {The evolution process of geographical data base within
                   self-organized topological propagation area},
  BookTitle      = {Complex Systems and Self-organization Modelling,
                   CoSSOM'06 (Toulouse)},
  Pages          = {},
  annote         = {},
  lipn-category  = "autc",
  month          = {},
  optkey         = {},
  year           = 2006
}

@TechReport{Reggio:2003:CLC,
  Author         = "G. Reggio and E. Astesiano and C. Choppy",
  Title          = "\textsc{Casl-Ltl}: {A} \textsc{Casl} Extension for
                   Dynamic Reactive Systems Version 1.0 -- Summary",
  Institution    = "Univ. of Genova",
  Number         = "DISI-TR-03-36",
  lipn-category  = "rapl",
  year           = 2003
}

@Article{cffi03,
  Author         = "Christophe Fouquer\'e and Fabrice Issac",
  Title          = "Corpus issus du Web : constitution et analyse
                   informationnelle",
  Journal        = "Revue Québecoise de Linguistique",
  Volume         = "13",
  Number         = 1,
  Pages          = "111--134",
  lipn-category  = "autj",
  year           = 2003
}

@Misc{SB-AF-JL-LP-ACSD05,
  Author         = "S. Bardin and A. Finkel and J. Leroux and L. Petrucci",
  Title          = "{FAST}: {F}ast {A}cceleration of {S}ymbolic
                   {T}ransition systems",
  Note           = "Tool presentation at ACSD'05",
  lipn-category  = "real",
  month          = jun,
  year           = 2005
}

@Article{GOF1,
  Author         = "K.A. Penson and P. B{\l}asiak and G. Duchamp and A.
                   Horzela and A.I. Solomon",
  Title          = {Hierarchical {Dobi\'nski}-type relations via
                   substitution and the moment problem},
  Journal        = {J. Phys. A: Math. Gen.},
  Volume         = {37},
  Number         = {},
  Pages          = {3457-},
  lipn-category  = "jour",
  optannote      = {arXiv : {\tt quant-ph/0312202}},
  optmonth       = {},
  optnote        = {},
  year           = 2004
}

@InProceedings{DTT-group24,
  Author         = "G. Duchamp and C. Tollu and F. Toumazet",
  Title          = {Combinatorics of the $q$-shuffle product and
                   {Bargmann-Fock} spaces of the $q$uon {Weyl} algebra },
  BookTitle      = {Physical and Mathematical Aspects of Symmetry, Proc.
                   24th Int. Conf. on Group-theoretical Methods in Physics},
  Volume         = {173},
  Series         = {Conference series},
  Pages          = {803--807},
  Publisher      = {IoP},
  lipn-category  = "intc",
  optaddress     = {},
  optannote      = {},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2003
}

@Article{Schwer06c,
  Author         = "Sylviane R. Schwer",
  Title          = "Représentation mathématique du temps : après
                   {Reichenbach}",
  Journal        = "Tranel (Travaux neuchâtelois de linguistique)",
  Volume         = "45",
  Pages          = "167--186",
  lipn-category  = "autj",
  year           = 2006
}

@InProceedings{LP-VECOS-07,
  Author         = "K. Klai and L. Petrucci",
  Title          = "Modular Construction of the Symbolic Observation Graph",
  BookTitle      = "Proc.\ 1st International Workshop on Verification and
                   Evaluation of Computer and Communication Systems
                   (VECOS'07), Algiers, Algeria",
  Series         = "eWiC",
  Pages          = "6",
  Publisher      = "British Computer Society",
  lipn-category  = "invi",
  month          = may,
  year           = 2007
}

@InProceedings{KTT-fpsac,
  Author         = "R. C. King and C. Tollu and F. Toumazet",
  Title          = {The Hive Model and the Factorisation of {Kostka}
                   Coefficients},
  BookTitle      = {Proceedings of FPSAC'05 },
  Volume         = {},
  Series         = {},
  Pages          = {721--732},
  Address        = {Taormina, Italy},
  Publisher      = {},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2005
}

@InProceedings{Schwer03b,
  Author         = "Sylviane R. Schwer",
  Title          = "Temporal reasoning without transitive table",
  BookTitle      = "Proceedings of KRR1 (Spatial and Temporal Reasoning)
                   of the 18th International Joint Conference on
                   Artificial Intelligence",
  lipn-category  = "autc",
  missingpages   = "??--??",
  month          = aug,
  year           = 2003
}

@InProceedings{BoufaresBerrabahEtAl03b,
  Author         = {F. Boufarès and D. Berrabah and C.F. Ducateau and V.
                   Heiwy},
  Title          = {Etude de la cohérence des contraintes de multiplicité
                   dans un schéma conceptuel de {BD} avec {UML}},
  BookTitle      = {Actes du Colloque National de la Recherche en IUT},
  Pages          = "375--382",
  lipn-category  = "autc",
  year           = 2003
}

@Article{DLB06,
  Author         = {Dal Lago, U. and Baillot, P.},
  Title          = {On {L}ight {L}ogics, {U}niform {E}ncodings and
                   {P}olynomial {T}ime},
  Journal        = {Mathematical Structures in Computer Science},
  Volume         = {16},
  Number         = {4},
  Pages          = {713-733},
  Note           = {(une version pr\'eliminaire avait \'et\'e
                   pr\'esent\'ee au \textit{Workshop on Logics for
                   Resources, Processes, and Programs} LRPP'04)},
  lipn-category  = "jour",
  optannote      = {},
  optkey         = {},
  optmonth       = {},
  year           = 2006
}

@InProceedings{SEFB04,
  Author         = {Suna, A. and El Fallah-Seghrouchni,A and Fouquer\'e,
                   C. and Baillot, P.},
  Title          = {Mobile {M}ulti-{A}gent {S}ystems: {A} {P}rogramming
                   {L}anguage and its {S}emantics},
  BookTitle      = {3rd International Joint Conference on Autonomous
                   Agents and Multiagent Systems (AAMAS 2004)},
  Pages          = {1386-1387},
  Publisher      = {IEEE Computer Society},
  Note           = {Poster},
  lipn-category  = "autc",
  optaddress     = {},
  optannote      = {},
  opteditor      = {},
  optmonth       = {},
  optnumber      = {},
  optorganization = {},
  optseries      = {},
  optvolume      = {},
  year           = 2004
}

@Article{BoufaresHamdoun05f,
  Author         = {F. Boufarès and S. Hamdoun},
  Title          = {Integration techniques to build a data warehouse using
                   heterogeneous data sources},
  Journal        = {Journal of Computer Sciences},
  Pages          = {48--55},
  lipn-category  = "jour",
  year           = 2005
}

@TechReport{MM-BM-FV-IncBehavior,
  Author         = {Micaela Mayero and B. Monsuez and F. Védrine},
  Title          = {{H}ow an "{I}ncoherent {B}ehavior" inside generic
                   hardware component characterizes functional errors},
  lipn-category  = {rapl},
  year           = 2005
}

@InProceedings{CC-SH-HK-FK-LP-YTM-ICTAC-06,
  Author         = "C. Choppy and S. Haddad and H. Klaudel and F. Kordon
                   and L. Petrucci and Y. Thierry-Mieg",
  Title          = "Tutorial on Formal Methods for Distributed and
                   Cooperative Systems",
  BookTitle      = "Proc.\ 3rd Int. Coll. on Theoretical Aspects of
                   Computing (1-day tutorial at ICTAC'06), Tunis, Tunisia",
  Volume         = 4281,
  Series         = lncs,
  Publisher      = sv,
  lipn-category  = "tuto",
  missingpages   = "362--365",
  month          = nov,
  year           = 2006
}

@InProceedings{Lellahi03a,
  Author         = "K. Lellahi and A. Zamulin",
  Title          = "Algebraic Semantics of Statements of Sequential Java",
  BookTitle      = "proc. ECOOP Workshop on Formal Techniques for Java
                   Programs (FTFJP-2003), Darmstadt Germany",
  lipn-category  = "autc",
  missingpages   = "??--??",
  month          = jun,
  year           = 2003
}

@Article{ChoppyReggioIST05,
  Author         = {C. Choppy and G. Reggio},
  Title          = "{A UML-Based Approach for Problem Frame Oriented
                   Software Development}",
  Journal        = {Journal of Information and Software Technology},
  Volume         = {47},
  Pages          = {929-954},
  lipn-category  = "jour",
  publisher      = {Elsevier},
  year           = 2005
}

@Misc{Schwer07b,
  Author         = "Sylviane R. Schwer",
  Title          = "Au sujet de la représentation et du raisonnement pour
                   les informations temporelles : vers un modèle purement
                   algébrique.",
  booktitle      = "Actes de MASHS 2007 : Computational Methods for
                   Modelling and learning in Social and human Sciences,
                   10-11 may 2007, ENST-Brest",
  lipn-category  = "autc",
  month          = may,
  year           = 2007
}

@Article{FK-LP-DSO-06,
  Author         = "F. Kordon and L. Petrucci",
  Title          = "Toward Formal Methods Oecumenism?",
  Journal        = "IEEE Distributed Systems Online",
  Volume         = 7,
  Number         = 7,
  lipn-category  = "autj",
  month          = jul,
  year           = 2006
}

@InProceedings{ChoppyReggioIASSE04,
  Author         = {C. Choppy and G. Reggio},
  Title          = "{Using UML for Problem Frame Oriented Software
                   Development}",
  BookTitle      = {Proc of the ISCA 13th Int. Conf. on Intelligent and
                   Adaptative Systems and Software Engineering
                   (IASSE-2004)},
  Editor         = {Walter Dosch and Narayan Debnath},
  Pages          = {239-244},
  Publisher      = {The International Society for Computers and Their
                   Applications (ISCA)},
  lipn-category  = "intc",
  year           = 2004
}

@Article{B04b,
  Author         = {Baillot, P.},
  Title          = {Type inference for {L}ight {A}ffine {L}ogic via
                   constraints on words},
  Journal        = {Theoretical Computer Science},
  Volume         = {328},
  Number         = {3},
  Pages          = {289-323},
  lipn-category  = "jour",
  optmonth       = {},
  year           = 2004
}

@Unpublished{BD4,
  Author         = "L. Jaff and Hatem Hadj-Kacem and G. H.E. Duchamp and
                   and C. Bertelle",
  Title          = {Moderate Growth Time Series for Dynamic Combinatorics
                   Modelisation},
  Note           = {submitted to the {\em International Journal of
                   Electronic Commerce}},
  annote         = {},
  lipn-category  = "autc",
  lipn-status    = {apar},
  month          = {},
  optkey         = {},
  year           = {}
}

@InProceedings{BadriBoufaresDucateauHamdoun06f,
  Author         = {M. Badri and F. Boufarès and C.F. Ducateau and S.
                   Hamdoun},
  Title          = {Maintenance des entrepôts de données hétérogènes},
  BookTitle      = {Proceedings of the 9th Maghrebian Conference on
                   Software Engineering and Artificial Intelligence},
  Pages          = {152--158},
  lipn-category  = "autc",
  year           = 2006
}

@Article{BoufaresBerrabahDucateau06d,
  Author         = {D. Berrabah and F. Boufarès and C.F. Ducateau},
  Title          = {A new tool to check the coherence of constraints
                   defined on {UML} class diagrams},
  Journal        = {International Journal of Computer Science and Network
                   Security},
  Volume         = {6},
  Pages          = {162--171},
  lipn-category  = "jour",
  year           = 2006
}

@Article{ABT07,
  Author         = {Atassi, V. and Baillot, P. and Terui, K.},
  Title          = {Verification of Ptime Reducibility for system F Terms:
                   Type Inference in Dual Light Affine Logic},
  Journal        = {Logical Methods in Computer Science},
  Note           = {\`a para\^itre. 32 pages.},
  lipn-category  = "jour",
  optannote      = {},
  optmonth       = {},
  year           = 2007
}

@InProceedings{GOF10,
  Author         = "G. H. E. Duchamp and P. Blasiak and A. Horzela and K.
                   A. Penson and A. I. Solomon",
  Title          = {{Feynman} graphs and related {Hopf} algebras},
  BookTitle      = {Journal of Physics: Conference Series, SSPCM'05 },
  Volume         = {30},
  Series         = {},
  Pages          = {107--118},
  Address        = {Myczkowce, Poland},
  Publisher      = {IoP},
  lipn-category  = "intc",
  optannote      = {arXiv : {\tt cs.SC/0510041}},
  optcrossref    = {},
  opteditor      = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2006
}

@Misc{BattistelliSchwer06a,
  Author         = "Delphine Battistelli and Jean-Luc Minel and Sylviane
                   R. Schwer",
  Title          = "Quelques exemples d'utilisation des S-Langages pour le
                   traitement de la temporalité en linguistique",
  booktitle      = "Journée Représentation et Raisonnement sur le Temps et
                   l'Espace associée à SdC 2006 - Semaine de la
                   Connaissance Nantes",
  lipn-category  = "autc",
  month          = jun,
  year           = 2006
}

@InProceedings{HamdounBoufares04c,
  Author         = {S. Hamdoun and F. Boufarès},
  Title          = "Relationships between attributes to integrate
                   heterogeneous data sources",
  BookTitle      = {Proceedings of the 2004 International Arab Conference
                   on Information Technology},
  Volume         = 2,
  Pages          = {602--607},
  lipn-category  = "intc",
  year           = 2004
}

@Article{DC1,
  Author         = "G. Duchamp and J.-M. Champarnaud",
  Title          = {Derivatives of rational expressions and related
                   theorems},
  Journal        = {Theoretical Computer Science},
  Volume         = {313},
  Number         = {1},
  Pages          = {31--44},
  lipn-category  = "jour",
  optannote      = {},
  optmonth       = {},
  optnote        = {},
  year           = 2004
}

@Article{KanVau-TCS,
  Author         = "Max Kanovich and Jacqueline Vauzeilles",
  Title          = "Strong Planning under Uncertainty in Domains with
                   Numerous but Identical Elements (a generic approach)",
  Journal        = "Theoretical Computer Science",
  Volume         = 379,
  Number         = {1--2},
  Pages          = {84--119},
  lipn-category  = "jour",
  year           = 2007
}

@Article{Schwer06e,
  Author         = "Sylviane R. Schwer",
  Title          = "Traitement de la temporalité des discours : une
                   Analysis Situs",
  Journal        = "Revue Chronos",
  Note           = "À paraître",
  lipn-category  = "autj",
  lipn-status    = "apar",
  year           = 2006
}

@Book{MeFoSyLoMa-06,
  Editor         = "S. Haddad and F. Kordon and L. Petrucci",
  Title          = "{M\'ethodes formelles pour les syst\`emes r\'epartis
                   et coop\'eratifs}",
  Publisher      = hermes,
  isbn           = {2-7462-1447-4},
  lipn-category  = "livr",
  month          = oct,
  year           = 2006
}

@Article{LTT-inv,
  Author         = "J.-G. Luque and J.-Y. Thibon and F. Toumazet",
  Title          = {Unitary invariants of qubit systems},
  Journal        = {Mathematical Structures in Computer Science},
  Volume         = {},
  Number         = {},
  Pages          = {19~pages},
  Note           = "À paraître",
  lipn-category  = "jour",
  lipn-status    = "apar",
  optannote      = {arXiv: \texttt{quant-ph/0604202}},
  optmonth       = {},
  optnote        = {to appear},
  year           = 2006
}

@InProceedings{cfle04,
  Author         = "Louisette Emirkanian and Christophe Fouquer\'e and
                   Fabrice Issac",
  Title          = "Corpus issus du Web : analyse des pertinences
                   thématiques et informationnelles",
  BookTitle      = "Actes du Congrès JADT2004",
  Pages          = {},
  lipn-category  = "autc",
  month          = mar,
  place          = "Louvain-la-Neuve, Belgique",
  year           = 2004
}

@InProceedings{KTT-crm,
  Author         = "R.C. King and C. Tollu and F. Toumazet",
  Title          = {Stretched {Littlewood-Richardson} and {Kostka}
                   coefficients},
  BookTitle      = {Symmetry in physics: in Memory of Robert T. Sharp},
  Editor         = {P. Winternitz and J. Harnad and C.S. Lam and J. Patera},
  Volume         = {34},
  Series         = {CRM Proceedings and Lecture Notes},
  Pages          = {99--112},
  Publisher      = {Amer. Math. Soc.},
  lipn-category  = "intc",
  optaddress     = {},
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2004
}

@Article{KanVau-AMAI,
  Author         = "Max Kanovich and Jacqueline Vauzeilles",
  Title          = "Linear logic Foundations for Artificial Intelligence",
  Journal        = "Annals of Mathematics and Artificial Intelligence",
  lipn-category  = "soum"
}

@Misc{JVL-KNOPPIX4GTR04,
  Author         = "J.-V. Loddo",
  Title          = "Knoppix4GTR",
  Note           = "Cdrom amorçable, auto-configurable, dérivé de Knoppix
                   3.8, francisé et spécialisé pour les enseignements au
                   dép. GTR de l'IUT Villetaneuse. Licence GPL.",
  lipn-category  = "real",
  month          = sep,
  url            = "http://www-lipn.univ-paris13.fr/~loddo/netxkiss/knoppix-GTR-Sept-2004.iso",
  year           = 2004
}

@TechReport{LSV:07:16,
  Author         = {S. Bardin and A. Finkel and J. Leroux and L. Petrucci},
  Title          = {FAST: Acceleration from theory to practice},
  Institution    = {Laboratoire Sp{\'e}cification et V{\'e}rification, ENS
                   Cachan, France},
  Type           = {Research Report},
  Number         = {LSV-07-16},
  Note           = {21 pages},
  lipn-category  = "rapl",
  month          = apr,
  url            = {http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/PDF/
                   rr-lsv-2007-16.pdf},
  year           = 2007
}

@Book{MeFoSyLoMa-08,
  Author         = "F. Kordon and L. Pautet and L. Petrucci",
  Title          = "{Systèmes répartis en action : de l'embarqué au large
                   échelle}",
  Publisher      = hermes,
  lipn-category  = "livr",
  lipn-status    = "apar",
  missingmonth   = nov,
  year           = 2008
}

@Article{HamdounBoufaresBadri07c,
  Author         = {S. Hamdoun and F. Boufarès and M. Badri},
  Title          = {Construction et Maintenance des entrepôts de données
                   hétérogènes},
  Journal        = {eTI journal : Electronic Journal of Information
                   Technologies},
  Note           = "À paraître",
  lipn-category  = "jour",
  lipn-status    = "apar",
  year           = 2007
}

@Misc{JVL-NETXKISS05,
  Author         = "J.-V. Loddo",
  Title          = "Netxkiss",
  Note           = "Application (en mode texte) de simulation d'un réseaux
                   d'ordinateurs qui exploite la technologie UML (User
                   Mode Linux) et repose sur un DVD amorçable,
                   auto-configurable, dérivé de Knoppix 3.8. Code source
                   OCaml, licence GPL.",
  lipn-category  = "real",
  month          = may,
  url            = "http://www-lipn.univ-paris13.fr/~loddo/netxkiss/netxkiss-0.1.iso",
  year           = 2005
}

@Article{BOUDES:2006:HAL-00091450:2,
  Author         = {{B}oudes, {P}ierre},
  Title          = {{N}on uniform (hyper/multi)coherence spaces},
  Journal        = {Mathematical Structures in Computer Science},
  Note           = {39 pages {A}ccept{\'e} pour publication {\`a}
                   {M}{S}{C}{S} {F}.3.2 },
  abstract       = {{I}n (hyper)coherence semantics, proofs/terms are
                   cliques in (hyper)graphs. {I}ntuitively, vertices
                   represent results of computations and the edge relation
                   witnesses the ability of being assembled into a same
                   piece of data or a same (strongly) stable function, at
                   arrow types. {I}n (hyper)coherence semantics, the
                   argument of a (strongly) stable functional is always a
                   (strongly) stable function. {A}s a consequence,
                   comparatively to the relational semantics, where there
                   is no edge relation, some vertices are missing.
                   {R}ecovering these vertices is essential for the
                   purpose of reconstructing proofs/terms from their
                   interpretations. {I}t shall also be useful for the
                   comparison with other semantics, like game semantics.
                   {I}n [{B}{E}01], {B}ucciarelli and {E}hrhard introduced
                   a so called non uniform coherence space semantics where
                   no vertex is missing. {B}y constructing the co-free
                   exponential we set a new version of this last
                   semantics, together with non uniform versions of
                   hypercoherences and multicoherences, a new semantics
                   where an edge is a finite multiset. {T}hanks to the
                   co-free construction, these non uniform semantics are
                   deterministic in the sense that the intersection of a
                   clique and of an anti-clique contains at most one
                   vertex, a result of interaction, and extensionally
                   collapse onto the corresponding uniform semantics.},
  affiliation    = {{L}aboratoire d'informatique de {P}aris-nord
                   [{L}{I}{P}{N}] },
  arxivid        = {cs.LO/0609021},
  keywords       = {linear logic; denotational semantics; coherence
                   spaces; hypercoherences},
  language       = {{A}nglais},
  lipn-category  = "jour",
  lipn-status    = "apar",
  url            = {http://hal.archives-ouvertes.fr/hal-00091450/en/},
  year           = 2008
}

@Article{KTW-vdM,
  Author         = "R. C. King and F. Toumazet and B. G. Wybourne",
  Title          = {The square of the {Vandermonde} determinant and its
                   $q$-generalisation},
  Journal        = {J. Phys. A: Math. Gen.},
  Volume         = {37},
  Number         = {},
  Pages          = {735--767},
  lipn-category  = "jour",
  optannote      = {},
  optmonth       = {},
  optnote        = {},
  year           = 2004
}

@Article{ChoppyHatHeisIE05,
  Author         = {C. Choppy and D. Hatebur and M. Heisel},
  Title          = {Architectural Patterns for Problem Frames},
  Journal        = {IEE Proceedings - Software, Special Issue on Relating
                   Software Requirements and Architectures},
  Volume         = {152},
  Number         = {4},
  Pages          = {198-208},
  lipn-category  = "jour",
  year           = 2005
}

@InProceedings{karoui06b,
  Author         = {Hager Karoui and Rushed Kanawati and Laure Petrucci},
  Title          = {{COBRAS}: {C}ooperative {CBR} {S}ystem for
                   {B}ibliographical {R}eference {R}ecommendation},
  BookTitle      = {8th European Conference on Case-Based Reasonning
                   (ECCBR'06)},
  Volume         = {4106},
  Series         = {LNCS},
  Pages          = {76-90},
  Address        = {Fethiye, Turkey},
  Publisher      = {springer},
  date-added     = {2007-09-22 22:49:24 +0200},
  date-modified  = {2007-09-22 22:49:24 +0200},
  lipn-category  = {intc},
  owner          = {rk},
  timestamp      = {2007.09.22},
  year           = 2006
}

@InProceedings{LoddoSaiu:2007,
  Author         = "Loddo, Jean-Vincent and Saiu, Luca",
  Title          = {{M}arionnet -- {H}ow to {I}mplement a {V}irtual
                   {N}etwork {L}aboratory in {S}ix {M}onths and be {H}appy},
  BookTitle      = {ACM SIGPLAN Workshop on ML},
  Publisher      = {ACM Press},
  lipn-category  = "autc",
  lipn-status    = {apar},
  location       = {Freiburg, Germany},
  year           = 2007
}

@InProceedings{KBDO,
  Author         = "H. Kadri-Dahmani and C. Bertelle and G. H.E. Duchamp
                   and A. Osmani",
  Title          = {Evolutive Complex Scheduling in Interaction Networks
                   for Quality Improvment in Geographical Data Base
                   Updating},
  BookTitle      = {Proc. of the 12th IEEE International Conference on
                   Electronics, Circuits and Systems},
  Editor         = {Noureddine Boudriga and Mohammad S. Obaidat},
  Volume         = {},
  Series         = {},
  Pages          = {},
  Address        = {Gammarth, Tunisia},
  Publisher      = {IoP},
  lipn-category  = "intc",
  optannote      = {},
  optcrossref    = {},
  optkey         = {},
  optmonth       = {},
  optnote        = {},
  optnumber      = {},
  optorganization = {},
  year           = 2005
}

@InProceedings{Schwer04a,
  Author         = "Sylviane R. Schwer",
  Title          = "Relations temporelles qualitatives et langages formels",
  BookTitle      = "Actes des 11\`emes Journ\'ees de Rochebrune,
                   Rencontres interdisciplinaires sur les systèmes
                   complexes naturels et artificiels, Le temps dans les
                   systèmes complexes naturels et artificiels",
  Pages          = "329--340",
  lipn-category  = "autc",
  month          = jan,
  year           = 2004
}

@Article{CL-LP-STTT-06,
  Author         = "C. Lakos and L. Petrucci",
  Title          = "Modular State Space Exploration for Timed {P}etri Nets",
  Journal        = jsttt,
  Volume         = 9,
  Number         = "3--4",
  Pages          = "393--411",
  lipn-category  = "jour",
  month          = jun,
  year           = 2007
}

@InProceedings{CL-LP-CPN-05,
  Author         = "C. Lakos and L. Petrucci",
  Title          = "Distributed and Modular State Space Exploration for
                   Timed {P}etri Nets",
  BookTitle      = "Proc.\ Workshop on Practical Use of Coloured Petri
                   Nets, Aarhus, Denmark",
  Pages          = "191--210",
  Note           = "Proceedings published as Report DAIMI-PB 576, Aarhus,
                   DK",
  lipn-category  = "autc",
  month          = oct,
  year           = 2005
}

@InProceedings{BCC-RJCIA07,
  Author         = {O. Bertrand and P. Carle and C. Choppy},
  Title          = "{Vers une exploitation des simulations distribu\'ees
                   par les chroniques}",
  BookTitle      = {8e Rencontres nationales des Jeunes Chercheurs en
                   Intelligence Artificielle (RJCIA 07)},
  Pages          = "15--30",
  lipn-category  = "autc",
  year           = 2007
}

@Article{Schwer07c,
  Author         = "Sylviane R. Schwer",
  Title          = "Traitement de la temporalité des discours : une
                   Analysis Situs",
  Journal        = "Cahiers Chronos",
  Volume         = "18",
  Pages          = "7--21",
  lipn-category  = "autj",
  year           = 2007
}

@InProceedings{BerrabahBoufares07b,
  Author         = {D. Berrabah and F. Boufarès},
  Title          = {Constraints checkinh in {UML} class diagrams: {SQL} vs
                   {OCL}},
  BookTitle      = {Proceedings of the 18th International conference on
                   Database and Expert Systems Applications},
  Note           = "À paraître",
  lipn-category  = "autc",
  lipn-status    = "apar",
  year           = 2007
}

@TechReport{KanVau-FSTTCS,
  Author         = "Max Kanovich and Jacqueline Vauzeilles",
  Title          = "Linear Logic in Temporal Planning for Actions with
                   Delayed Effects",
  Institution    = {\acs{LIPN}},
  lipn-category  = "rapl",
  year           = 2006
}

@InProceedings{BerrabahBoufares07d,
  Author         = {A. BenHadjAli and F. Boufarès and S. BenAhmed},
  Title          = {Handling integrity constraints via model
                   transformation},
  BookTitle      = {Proceedings of the 16th International conference on
                   Information Systems Development (Galway, Ireland,
                   August 29-31, 2007)},
  Note           = "À paraître",
  lipn-category  = "autc",
  lipn-status    = "apar",
  year           = 2007
}

@Misc{JVL-SYNOPSYS06,
  Author         = "J.-V. Loddo",
  Title          = "Synopsys",
  Note           = "Utilitaire permettant d'automatiser l'analyse
                   lexicale, syntaxique et en partie sémantique des
                   paramètres d'appel d'un script bash. Code source OCaml,
                   licence GPL.",
  lipn-category  = "real",
  month          = jun,
  url            = "http://www-lipn.univ-paris13.fr/~loddo/synopsis/",
  year           = 2006
}

@InProceedings{pccfjvl07,
  Author         = "Pascal Coupey and Christophe Fouquer\'e and
                   Jean-Vincent Loddo",
  Title          = "Tree Components Programming: An Application to XML",
  BookTitle      = "4th International Colloquium on Theoretical Aspects of
                   Computing (ICTAC07)",
  Volume         = "4711",
  Series         = lncs,
  Pages          = "139--153",
  Publisher      = sv,
  lipn-category  = "intc",
  month          = sep,
  place          = "Macao, China",
  year           = 2007
}

@InProceedings{FK-LP-CAR-07,
  Author         = "F. Kordon and L. Petrucci",
  Title          = "A formal approach to designing autonomous systems:
                   from {Intelligent Transport Systems} to Robots",
  BookTitle      = "Proc.\ 2nd National Workshop on Control Architectures
                   of Robots: from models to execution on distributed
                   control architectures, Paris, France",
  lipn-category  = "auti",
  missingpages   = "15--26",
  missingpublisher = "British Computer Society",
  missingseries  = "eWiC",
  month          = may,
  year           = 2007
}