|
|
A. PUBLICATIONS ORIGINALES DANS DES REVUES
A COMITE DE LECTURE
2000
CHOPPY C., POIZAT P., ROYER J.-C. : “The KORRIGAN environment”, Journal of Universal Computer Science, vol. 7, n° 1, pp. 19-36.
2001
KANOVITCH M., VAUZEILLES J. : “The Classical AI Planning Problems in the Mirror of Horn Linear Logic : Semantics, Expressibility, Complexity“, Mathematical Structures in Computer Science, Vol. 11, pp. 1-28, 2001.
2002
SCHWER S. : "Formalizing Calendars with the Category of Ordinals", Applied Intelligence, numéro spécial sur le Temps et l'Espace, Applied Intelligence 17 (3), pp. 275-295.
AUTEBERT J.-M., LATAPY M., SCHWER S. : "Le treillis des Chemins de Delannoy", Discrete Mathematics, 258 (1-3), pp. 225-234. Aussi rapport interne LIPN 2001-3, Université Paris 13.
SCHWER S. : "Reasoning with Intervals on Granules", Journal of Universal Computer Science, Special issue on Spatial and Temporal Reasoning, 8 (8), pp. 793-808.
2003 ou à paraître
BAILLOT P. : "Stratified coherence spaces : a denotational semantics for Light Linear Logic", Theoretical Computer Science (special issue on Implicit Computational Complexity), à paraître.
BOUFARES F., BENNACEUR H. : “Consistency Problems in ER-Schemas for Database Systems”, The international journal of information sciences, à paraître.
SCHWER S., AUTEBERT J.-M. : "On generalized Delannoy Paths", SIAM Journal on Discrete Mathematics 16 (2), pp. 208-223. Aussi rapport interne LIPN 2001-4, Université Paris 13.
2001
ISSAC F., HAMON T., BOUCHARD L., EMIRKANIAN L., FOUQUERÉ C. : « Extraction informatique de données sur le Web : une expérience », Distances, vol. 5, n° 2, pp. 195-209.
2002
SCHWER S. : "S-arrangements avec répétitions", C. R. Académie des Sciences, Paris, Ser. I 334, pp. 261-266. Aussi rapport interne LIPN 2001-2, Université Paris 13.
2003 ou à paraître
FOUQUERE C., ISSAC F. : « Corpus issus du web : constitution et analyse informationnelle. Revue Québecoise de Linguistique. , 13 p, à paraître.
AUTEBERT J.-M., DECAILLOT A.-M., SCHWER R. S. : « Henri-Auguste Delannoy et la publication des œuvres posthumes de Lucas », Gazette des mathématiciens. , n° 95, 12 p., pp. 51-62.
B. Livres ou contributions à des livres
2000
BERT D., CHOPPY C., MOSSES P. (Editeurs) : “Recent Trends in Algebraic Development Techniques”, Selected Papers of the 14th International Workshop on Algebraic Development Techniques (WADT99), Springer-Verlag, L.N.C.S. 1857, 2000.
CHOPPY C., REGGIO G. : “Using CASL to Specify the Requirements and the Design: A Problem Specific Approach”, Recent Trends in Algebraic Development Techniques, LNCS 1827, Springer-Verlag, pp.104-123, 2000.
FOUQUERE C., ISSAC F. : "A bottom-up TAG parser : Application to foreign language lexical learning", Tree Adjoining Grammars, ed. A. Abeillé, O. Rambow, CSLI, pp. 427-444, 2000.
SCHWER S. : suite A055203 du N. J. A. Sloane "An On-Line Version of the Encyclopedia of Integer Sequences", http://www.research.att.com/_njas/sequences, June 22, 2000.
2001
SCHWER S. : "Des Entrepôts de Données pour l'aide à la décision", chapitre 7 de "Ingénierie des Systèmes d'Information avec le groupe EVOLUTION, HERMES, 2001.
2002
LELLAHI K. : "Modeling data and objects : An algebraic viewpoint", Theoretical Aspects of Computer Science, Advanced Lectures, LNCS 2292, Springer-Verlag, pp. 113-147, January 2002.
2003 ou à paraître
KING R.C., TOLLU C., TOUMAZET F. : “Stretched Littlewood-Richardson and Kostka coefficients”, In : PAVEL WINTERNITZ, eds, Symmetry in physics, In memory of Robert T. Sharp, à paraître.
CHOPPY C., HEISEL M. : “Use of Patterns in Formal Development: Systematic Transition From Problems to Architectural Designs”. In : M. WIRSING, D. PATTINSON, R. HENNICKER. Recent Trends in Algebraic Development Techniques. , n. 2755, 15 p. , pp. 205-220.
2000
CHOPPY C., POIZAT P., ROYER J.-C. : “A Global Semantics for Views”, International Conference on Algebraic Methodology And Software Technology, AMAST'2000, Iowa City, Iowa, USA, 20-27 Mai 2000, Teo Rus (Ed.), L.N.C.S. 1816, pp. 165-180, Springer-Verlag.
REGGIO G., E. ASTESIANO, CHOPPY C., HUSSMANN H. : “Analysing UML active classes and associated state machines - a lightweight approach”, Fundamental Approaches to Software Engineering (FASE 2000), Tom Maibaum (Ed.), Berlin, L.N.C.S. 1783, pp. 127-146, Springer-Verlag, March 2000.
N. KRAIEM, BOUFARES F. : "A Process Meta-model to Describe Cooperative Work", 6th international Conference on Information Systems Analysis and Synthesis (ISAS 2000), Orlando, USA, 23-26 juillet 2000.
2001
BECHET D.: "Universal interaction systems with only two agents", twelve International Conference on Rewriting Techniques and Applications, Utrecht, The Netherlands, LNCS 2051, May 2001.
BOUFARES F., KRAIEM N. : "A new tool to analyze ER-schemas", Proceedings of the Second Asia-Pacific Conference on Quality Software (APAQS 2001), Hong Kong, China, pp. 302-307, December 10-11, 2001.
BOUFARES F., KRAIEM N. : "An Intelligent Tool for Analyzing ER-schemas in Order to Discover Unreliable Sets of Cardinality Constraints", 5th World multiconference on Systemics, Cybernetics and Informatics (SCI 2001) and 7th international conference on Information Systems Analysis and Synthesis (ISAS 2001), July 22-25, Orlando, Californie, USA.
CHOPPY C., POIZAT P., ROYER J.-C. : “Formal Specification of Mixed Components with Korrigan”, APSEC'2001 - Asia-Pacific Software Engineering Conference, H. Jifeng (Ed.), IEEE Computer Society Press. pp. 169-176. Macau, China. 2001.
CHOPPY C., POIZAT P., ROYER J.-C. : “Specifications of mixed systems in Korrigan with the support of a UML-inspired graphical notation”, Fundamental Approaches to Software Engineering (FASE 2001), Genova, Italie, Avril 2001, L.N.C.S. 2029, Springer-Verlag, pp..124-139.
LELLAHI K. : "Conceptual data Modeling : An algebraic viewpoint", Proceeding of Perspectives of System Informatics (PSI 2001), 3-9 July 2001, Novosibirsk, Russia, LNCS 2244, Springer-Verlag, pp. 347-359.
LELLAHI K., ZAMULIN A. : "Object-oriented database as a dynamic system with implicit state", Proceeding of Fifth East-European Conference on Advances in Database and Information System (ADBIS 2001), september 25-28, 2001, Vilnius, Lithuania, LNCS 2151, Springer-Verlag, pp. 239-259. Aussi rapport interne LIPN 2001-1, Université Paris 13.
LELLAHI K., ZAMULIN A. : "Dynamic System based on Update Sets", Proceedings of the 3rd international workshop on Computer Science and Information Technologies (CSIT 2001), september 21-26, 2001, Ufa Yangantau, Russia, pp. 190-199.
SCHWER S., KROB D., LATAPY M., NOVELLI J.-C., PHAN H.D. : "Pseudo-Permutations I: First Combinatorial and Lattice Properties", Proceedings of 13th International Conference on Formal Power Series & Algebraic Combinatorics (FP-SAC'01), May 20-26 2001, Arizona USA.
SCHWER S. : "Temporal Granularity Enlightened by Knowledge", Proceedings of 5th International Conference on Application of Natural Language to Information Systems (NLDB'2000), Versailles, France, june 28-30 juin 2000, Revised Papers, Mokrane Bouzeghoub, Zoubida Kedad, Elisabeth Métais (Eds.), Lecture Notes in Computer Science 1959, Springer, 2001, ISBN 3-540-41943-8.
2002
BAILLOT P. : "Checking polynomial time complexity with types", paru dans Foundations of Information Technology in the Era of Network and Mobile Computing (proceedings of IFIP TCS 2002), pp. 370-383, Kluwer Academic Publishers, 2002.
BOUFARES F., BENNACEUR H., ABDELLATIF A., SAHLI F. : "Oracle Designer and the Global Coherence of a Conceptual Data Model", Proceedings of the 9th European Conference on Information Technology Evaluation (ECITE’2002), Paris, France, July 15-16, pp. 71-78, 2002.
CASTAING J. : "Non-Commutative Logic for Hand-Written Character Modelling", Proceedings of the International conference in Artificial Intelligence and Symbolic Computing 2002, Marseille, LNAI 2385, 1-6 juillet 2002.
SCHWER S., BANDERIER C. : "Why Delannoy Numbers ?", Proceedings of the 5th Lattice path combinatorics and discrete distributions conference, Athènes, 5-7 juin 2002, aussi rapport interne LIPN 2002-08, Université Paris 13.
2003 ou à paraître
DUCHAMP G., TOLLU C., TOUMAZET F. : “Combinatorics of the q-shuffle product and the q-uon Weyl algebra”, Group 24: physical and mathematical aspects of symmetries. 24th colloquium on group-theoretical methods in physics, Paris,15-20 July 2002.
BOUFARES F., BENNACEUR H., OSMANI A. : “On the consistency of cardinality constraints in UML Modelling”, 10th ISPE International Conference on Concurrent Engineering : Research and Applications, Madeira Island, Portugal, 26-30 juillet 2003.
KANOVITCH M., VAUZEILLES J. : “Coping Polynomially with Numerous but Identical Elements within Planning Problems”, Computer Science Logic’03 and Kurt Gôdel Colloquium, Vienne, 25-30 aôut 2003.
SCHWER R. S. : “Temporal reasoning without transitive table”, Workshop Spatial Temporal Reasoning of 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexique, 9 août 2003.
Avec Comité de Lecture
2000
BAUDOT R.: "Non-Commutative Logic Programming Language NocLog", présentation courte à LICS 2000, Santa Barbara, USA, June 2000.
2001
CHOPPY C., REGGIO G. : “Method Patterns for System Specifications Using CASL”, 15th International Workshop on Algebraic Development Techniques WADT'01, Gênes, 2001.
2002
CANCILA D., BAUDOT R.: "Curry and NoCLog : a Study of Concurrency through the Dining Philosophers Problem", Proceedings of 11th International Workshop WFLP 2002, Grado, Italy, 20-22 juin 2002, pp. 131-144.
FOUQUERE C., ISSAC F. : "Constitution de corpus du web et analyse informationnelle : premiers résultats", colloque TCW 2002, MSH Paris-Nord, novembre 2002.
LELLAHI S.-K., ZAMULIN A. : "Towards a formalization of sequential Java like programs", Proceeding of "Workshop on Object-Oriented Programming Language", Malaga,Spain, June 10-14, 2002.
SCHWER S., JUNGJARIYANONN S. : "Extended Boolean Computations", Proceedings of Workshop 8 (Spatial and Temporal Reasoning) of the 15th European Conference on Artificial Intelligence, Lyon, 23 juillet 2002, pp. 63-68.
2003 à paraître
CHOPPY C., HEISEL M. : “From Problems to Architectural Designs”, WADT 2002, 16th International Workshop on Algebraic Development, 2003
LELLAHI K., ZAMULIN A. : “Algebraic semantics of statments of sequential Java”, Workshop on formal techniques for java-like programs, Darmstadt, Allemagne, 21-25 Juillet 2003.
JUNGJARIYANONN S., SCHWER S. R. : “Extended Trivalent Computations”, Workshop Spatial and Temporal Reasoning of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexique, 9 août 2003.
Nationaux
2001
CHOPPY C., GARCIA G. : “SIRENE (Simulateur de Réseaux Electriques Normalisés pour l'Exploitation) - Une approche de spécification”, ICSSEA 2001, Journées Internationales "Génie Logiciel et Ingénierie des Systèmes et de leurs Applications'', Paris, Décembre 2001.
2003 à paraître
BOUFARES F., HAMDOUN S. : « Construction et Auto-maintenance d'un Web Warehouse », Colloque National de la Recherche en IUT, CNRIUT'2003. 15-16 mai 2003. Tarbes, France. , 366-374.
BOUFARES F., BERRABAH D., DUCATEAU C.F. et HEIWY V. : “Etude de la cohérence des contraintes de multiplicité dans un schéma conceptuel de BD avec UML”, Colloque National de la Recherche en IUT, CNRIUT’2003, 15-16 mai 2003, Tarbes, France, pp. 375-382.
CASTAING J. : “A Logical FrameWork for the Motivic Analysis of Music”, RESONANCES, IRCAM Centre Pompidou, 15-24 Octobre 2003.
Sans Comité de Lecture
2000
BAUDOT R.: "Non-Commutative Logic Programming – The Language NocLog", présenté au colloque de l'European TMR Linear, Oxford, GB, April 2000.
2001
BECHET D. : "Polynomial description of the interface of MLL modules", présenté au colloque "The geometrical approach to logic" de lEuropean TMR linear, Sienne, Italie, Avril 2001.
E. Conférence Invitee
2000
CHOPPY C., POIZAT P., ROYER J.-C. : “Integration and Composition of Static and Dynamic "Views": Unifying Approach to Complex System Specification”, In INT'2000, Workshop on Integration of Specification Techniques with Applications in Engineering, Berlin, Germany, 31 mars-1er Avril 2000, Bericht-Nr 2000/04, ISSN 1436-9915, pp. 12-20.
F. Prépublications
2000
LELLAHI K., BOUFARES F. : "Meta-model and loose Semantics for ER-Model", rapport interne LIPN 2000-3, Université Paris 13.
2001
BOUFARES F. : “Un outil intelligent pour l’analyse des schémas EA”, rapport interne LIPN n°2001-05, Université Paris 13.
2002
BOUFARES F., BENNACEUR H., "Checking the global coherence of ER-schemas using Fourier-Motzkin elimination", rapport interne LIPN 2002-02, Université Paris 13.
SCHWER S., AUTEBERT J.-M., DECAILLOT A.-M. : "Henri-Auguste Delannoy : la cheville ouvrière des oeuvres posthumes de Delannoy", rapport interne LIPN 2002-09, Université Paris 13, et prépublication 2002-12 du MAP5.
2003
BAILLOT P. : “Type inference for polynomial time complexity via constraints on words”, rapport interne LIPN 2003-02, Université Paris 13.
G. Doctorats et habilitations a diriger les recherches
2000
BAUDOT R.: "Programmation logique : non-commutativité et polarisation", Thèse de Doctorat d'Informatique, Université Paris 13, 14 décembre 2000, Directeurs : Jacqueline VAUZEILLES et Christophe FOUQUERÉ.
2001
LELLAHI K. : "Modélisation et manipulation algébrique des objets", Rapport Scientifique présenté pour l'obtention d'une HDR, spécialité Informatique, soutenue le 20 décembre 2001, 107 pages, parrainée par Jacqueline VAUZEILLES.
2002
Setthachaï JUNGJARIYANONN : “Mots temporels et les algorithmes de calculs sur les chaînes d'intervalles", Thèse de Doctorat d'Informatique, Université Paris 13, 20 mars 2002, Directrice : Sylviane SCHWER.
Diffusion de la connaissance
2000
SCHWER S. : "Spécifications Temporelles : Logiques et/ou Algèbre”, huitièmes journées du LIPN, Villetaneuse, 11-12 Septembre 2000, Actes des journées, pp. 106-115.
Rapports
2003
CHOPPY C., REGGIO G. : “Towards a formally grounded software development method”, 85 p. Soumise à publication dans une revue.
G.
REGGIO, ASTESIANO E., C. CHOPPY : “CASL-LTL: A CASL
Extension for Dynamic Reactive Systems” -- Summary. , 19
p. Rapport de recherche DISI-TR-03-36. Disponible sur
:ftp://ftp.disi.unige.it/person/ReggioG/ReggioEtAll03b.ps.
LELLAHI K. ; ZAMULIN A. : “A state-based algebraic semantics of statements of sequential java”, rapport interne LIPN n° 2003-03, Université Paris 13.
Rapport Scientifique du LIPN – UMR 7030 – 2000-2003