Publications HAL de Hélène, KIRCHNER

2018

Journal articles

titre
Labelled Graph Strategic Rewriting for Social Networks
auteur
Maribel Fernandez, Hélène Kirchner, Bruno Pinaud, Jason Vallet
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, A Paraître
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01664593/file/jlamp.pdf BibTex

2016

Conference papers

titre
Labelled Graph Rewriting Meets Social Networks
auteur
Maribel Fernández, Hélène Kirchner, Bruno Pinaud, Jason Vallet
article
Dorel Lucanu. Rewriting Logic and Its Applications, WRLA 2016, Apr 2016, Eindhoven, Netherlands. Springer International Publishing Switzerland, LNCS, 9942, pp.1--25, 2016, LNCS 〈10.1007/978-3-319-44802-2_1〉
DOI
DOI : 10.1007/978-3-319-44802-2_1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01347355/file/wrlaFinalCorrige.pdf BibTex

2015

Conference papers

titre
Port Graphs, Rules and Strategies for Dynamic Data Analytics -Extended Abstract
auteur
Hélène Kirchner
article
Maribel Fernandez. International Conference on Rewriting, Deduction, and Programming, Jun 2015, Warsaw, Poland. LIPICS 36, 2015, LIPICS Proceedings of 26th International Conference on Rewriting Techniques and Applications (RTA 2015). 〈http://drops.dagstuhl.de/opus/institut_lipics.php?fakultaet=04〉. 〈10.4230/LIPIcs.RTA.2015.i 〉
DOI
DOI : 10.4230/LIPIcs.RTA.2015.i
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01183812/file/p00-kirchner.pdf BibTex
titre
A Visual Analytics Approach to Compare Propagation Models in Social Networks
auteur
Jason Vallet, Hélène Kirchner, Bruno Pinaud, Guy Melançon
article
Arend Rensink; Eduardo Zambon. Graphs as Models, Apr 2015, London, United Kingdom. Electronical Proceedings in Theoretical Computer Science, 181, 2015, 〈http://www.utwente.nl/ewi/gam2015/〉. 〈10.4204/EPTCS.181.5〉
DOI
DOI : 10.4204/EPTCS.181.5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01150667/file/paper.pdf BibTex

Book sections

titre
Rewriting Strategies and Strategic Rewrite Programs
auteur
Hélène Kirchner
article
Logic, Rewriting, and Concurrency (LRC 2015). Festschrift Symposium in Honor of Jos\'e Meseguer, Urbana, Illinois, USA, September 23-25, 2015,, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01143486/file/HK-RewStrat.pdf BibTex

2014

Conference papers

titre
Propagation Dynamics in Social Networks Through Rule-Based Modeling
auteur
Jason Vallet, Bruno Pinaud, Guy Melançon, Hélène Kirchner
article
1st European Conference on Social Network (EUSN), Jul 2014, Barcelona, Spain
Accès au bibtex
BibTex
titre
Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY
auteur
Maribel Fernandez, Hélène Kirchner, Ian Mackie, Bruno Pinaud
article
Arnold Beckmann; Erzsébet Csuhaj-Varjú; Klaus Meer. Computability In Europe, Jun 2014, Budapest, Hungary. Springer International Publishing, Lecture Notes in Computer Science, 8493, pp.183-193, 2014, Language, Life, Limits. 〈10.1007/978-3-319-08019-2_19〉
DOI
DOI : 10.1007/978-3-319-08019-2_19
Accès au bibtex
BibTex
titre
Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework
auteur
Maribel Fernandez, Hélène Kirchner, Bruno Pinaud
article
Dragan Bošnački; Stefan Edelkamp; Alberto Lluch Lafuente; Anton Wijs. 3rd Workshop on GRAPH Inspection and Traversal Engineering, Apr 2014, Grenoble, France. 159, pp.15--29, 2014, 〈10.4204/EPTCS.159.3〉
DOI
DOI : 10.4204/EPTCS.159.3
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00954546/file/main.pdf BibTex

Book sections

titre
Equational logic and rewriting
auteur
Claude Kirchner, Hélène Kirchner
article
Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01183817/file/eqLogicRw.pdf BibTex

2013

Journal articles

titre
Runtime Verification for Biochemical Programs
auteur
Helene Kirchner
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2013, Proceedings of the first workshop on Hybrid Autonomous Systems, 297, pp.27-46. 〈http://authors.elsevier.com/sd/article/S1571066113000832〉. 〈10.1016/j.entcs.2013.12.003〉
DOI
DOI : 10.1016/j.entcs.2013.12.003
Accès au bibtex
BibTex

Conference papers

titre
A rewriting point of view on strategies
auteur
Helene Kirchner
article
SR - 1st Workshop on Strategic Reasoning, 2013, Rome, Italy. EPTCS, 112, pp.99-105, 2013, 〈10.4204/EPTCS.112.15〉
DOI
DOI : 10.4204/EPTCS.112.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00986699/file/HKirchnerSR2013.pdf BibTex

2011

Journal articles

titre
Proving Weak Properties of Rewriting
auteur
Isabelle Gnaedig, Hélène Kirchner
article
Theoretical Computer Science, Elsevier, 2011, 412, pp.4405-4438. 〈10.1016/j.tcs.2011.04.028〉
DOI
DOI : 10.1016/j.tcs.2011.04.028
Accès au bibtex
BibTex

Conference papers

titre
A Strategy Language for Graph Rewriting
auteur
Helene Kirchner, Olivier Namet, Maribel Fernandez
article
LOPSTR 2011 - 21st International Symposium on Logic-Based Program Synthesis and Transformation, Jul 2011, Odense, Denmark. Springer, 2012, LNCS
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684244/file/maincameraready.pdf BibTex
titre
Formal Specification and Validation of Security Policies
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
article
J. Garcia-Alfaro and P. Lafourcade. FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. Springer, Heidelberg, 6888, pp.148-163, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-27901-0_12〉
DOI
DOI : 10.1007/978-3-642-27901-0_12
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00507300/file/FormalSpecificationandValidationofSecurityPolicies.pdf BibTex
titre
Runtime Verification for Biochemical Programs
auteur
Hélène Kirchner, Oana Andrei
article
HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684245/file/HAS-rv-final-entcs.pdf BibTex
titre
PORGY: Strategy-Driven Interactive Transformation of Graphs
auteur
Oana Andrei, Maribel Fernandez, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
article
Rachid Echahed. 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Apr 2011, Saarbrücken, Germany. 48, pp.54-68, 2011, Electronic Proceedings in Theoretical Computer Science (EPTCS). 〈10.4204/EPTCS.48.7〉
DOI
DOI : 10.4204/EPTCS.48.7
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00563249/file/porgy-main.pdf BibTex

2010

Journal articles

titre
Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
auteur
Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
article
Journal of Symbolic Computation, Elsevier, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. 〈10.1016/j.jsc.2008.10.006〉
DOI
DOI : 10.1016/j.jsc.2008.10.006
Accès au bibtex
BibTex
titre
Extensional and Intensional Strategies
auteur
Tony Bourdier, Horatiu Cirstea, Daniel Dougherty, Hélène Kirchner
article
Electronic Proceedings in Theoretical Computer Science, EPTCS, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. 〈http://arxiv.org/abs/1001.4427〉. 〈10.4204/EPTCS.15.1〉
DOI
DOI : 10.4204/EPTCS.15.1
Accès au bibtex
BibTex

Conference papers

titre
Rule-based Specification and Analysis of Security Policies
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
article
5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain. 2010
Accès au bibtex
BibTex
titre
On Formal Specification and Analysis of Security Policies
auteur
Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
article
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00429240/file/article.pdf BibTex

2009

Journal articles

titre
Analysis of Rewrite-Based Access Control Policies
auteur
Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. 〈10.1016/j.entcs.2009.02.072〉
DOI
DOI : 10.1016/j.entcs.2009.02.072
Accès au bibtex
BibTex
titre
Inductive Proof Search Modulo
auteur
Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
article
Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. 〈10.1007/s10472-009-9154-5〉
DOI
DOI : 10.1007/s10472-009-9154-5
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337380/file/ftp-amai.pdf BibTex
titre
Termination of Rewriting under Strategies
auteur
Isabelle Gnaedig, Hélène Kirchner
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2009, 10 (2), pp.1-52. 〈10.1145/1462179.1462182〉
DOI
DOI : 10.1145/1462179.1462182
Accès au bibtex
BibTex

Conference papers

titre
Component-based Security Policy Design with Colored Petri Nets
auteur
Helene Kirchner, Hejiao Huang
article
Jens Palsbberg. Semantics and Algebraic Specification, Sep 2009, Udine, Italy. Springer, 5700, pp.21-42, 2009, Lecture Notes in Computer Science. 〈http://www.springerlink.com/content/u406751h7v30/〉
Accès au bibtex
BibTex
titre
Policy Composition based on Petri Nets
auteur
Hejiao Huang, Helene Kirchner
article
33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. IEEE Computer Society Press, pp.416--421, 2009, Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference. 〈10.1109/COMPSAC.2009.169〉
DOI
DOI : 10.1109/COMPSAC.2009.169
Accès au bibtex
BibTex
titre
Constraint Based Strategies
auteur
Helene Kirchner, Kirchner Florent, Claude Kirchner
article
Santiago Escobar. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. Springer Berlin / Heidelberg, 5979, pp.13-26, 2010, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
A Port Graph Calculus for Autonomic Computing and Invariant Verification
auteur
Oana Andrei, Helene Kirchner
article
A. Corradini. TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, Mar 2009, York, United Kingdom. To appear in Electronic Notes in Theoretical Computer Science, Elsevier., 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00418560/file/verif.pdf BibTex

2008

Conference papers

titre
A Higher-Order Graph Calculus for Autonomic Computing
auteur
Oana Andrei, Hélène Kirchner
article
Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00328554/file/hal-calculusforautonomic.pdf BibTex
titre
A Biochemical Calculus Based on Strategic Graph Rewriting
auteur
Oana Andrei, Hélène Kirchner
article
The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00328536/file/shortcomm-ab08.pdf BibTex
titre
Analysis of Rewrite-Based Access Control Policies
auteur
Anderson Santana de Oliveira, Claude Kirchner, Hélène Kirchner
article
3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States. 2008
Accès au bibtex
BibTex
titre
Strategic Port Graph Rewriting for Autonomic Computing
auteur
Oana Andrei, Hélène Kirchner
article
The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00328491/file/tfit.pdf BibTex

2007

Journal articles

titre
Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems
auteur
Hejiao Huang, Helene Kirchner, Songyun Liu, Weili Wu
article
International Journal of Security and Networks, Inderscience, 2007, 4 (4), pp.223-233
Accès au bibtex
BibTex

Conference papers

titre
Weaving Rewrite-Based Access Control Policies
auteur
Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner
article
Heiko Mantel, Virgil Gligor. The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, Nov 2007, Alexandria, United States. 2007
Accès au bibtex
BibTex
titre
Graph Rewriting and Strategies for Modeling Biochemical Networks
auteur
Oana Andrei, Hélène Kirchner
article
International Workshop on Natural Computing and Applications - NCA 2007, Sep 2007, Timisoara, Romania. IEEE Computer Society, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00146362/file/2nd-hal-rhobio.pdf BibTex
titre
Modular Access Control via Strategic Rewriting
auteur
Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
article
Joachim Biskup, Javier Lopez. 12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. Springer Berlin / Heidelberg, 4734, pp.578-593, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74835-9_38〉
DOI
DOI : 10.1007/978-3-540-74835-9_38
Accès au bibtex
BibTex
titre
Inductive Proof Search Modulo
auteur
Fabrice Nahon, Claude Kirchner, Hélène Kirchner
article
Silvio Ranise. 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. Technical report ULCS-07-018 Department of Computer Science University of Liverpool, pp.4-19, 2007, Proceedings of the 6th International Workshop on First-Order Theorem Proving FTP 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00187458/file/ftp-07.pdf BibTex
titre
A Rewriting Calculus for Multigraphs with Ports
auteur
Oana Andrei, Hélène Kirchner
article
The Eighth International Workshop on Rule-Based Programming (RULE 2007), Jun 2007, Paris, France. ENTCS, pp.20, 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00139363/file/2nd-hal-rewmgraphs.pdf BibTex
titre
Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
auteur
Isabelle Gnaedig, Hélène Kirchner
article
Hubert Comon and Claude Kirchner and Hélène Kirchner. Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Jun 2007, Paris, France. Springer, 4600, pp.44-67, 2007, Lecture Notes in Computer Science
Accès au bibtex
BibTex

2005

Conference papers

titre
Termination of rewriting strategies: a generic approach
auteur
Isabelle Gnaedig, Hélène Kirchner
article
M. Hofmann, H.-W. Loidl. Proceedings of the third Workshop on Applied Semantics APPSEM'05, Sep 2005, Chiemsee, Germany. 2005
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00172897/file/appsem.pdf BibTex

2004

Conference papers

titre
A proof of weak termination providing the right way to terminate
auteur
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article
First International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, Springer Verlag, 15 p, 2004, Lecture notes in Computer Science
Accès au bibtex
BibTex

2003

Journal articles

titre
Outermost ground termination
auteur
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article
Electronic Notes in Theoretical Computer Science, Elsevier, 2003, 71, 20 p
Accès au bibtex
BibTex

Conference papers

titre
Simplification and Termination of Strategies in Rule-Based Languages
auteur
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article
Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003, Aug 2003, Uppsala, Sweden, pp.124-135, 2003
Accès au bibtex
BibTex
titre
Proof Search and Proof Check for Equational and Inductive Theorems
auteur
Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen
article
Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p, 2003
Accès au bibtex
BibTex
titre
A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
auteur
Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Mariana-Liliana Ibanescu
article
Robert Nieuwenhuis. 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, 2706, pp.30-45, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
auteur
Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Mariana-Liliana Ibanescu
article
Peter M.A. Sloot, David Abramson, Alexander V. Bogdanov. International Conference on Computational Science - ICCS 2003, Jun 2003, Melbourne, Australie, Springer Verlag, 2659, pp.367-376, 2003, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
The QSL platform at LORIA
auteur
Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz
article
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099497/file/A03-R-539.pdf BibTex
titre
CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
auteur
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article
6th International Workshop on Termination 2003 - WST'03, 2003, Valencia, Spain, pp.77-79, 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099467/file/A03-R-436.pdf BibTex

2002

Conference papers

titre
CARIBOO: An Induction Based Proof Tool for Termination with Strategies
auteur
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article
Frank Pfennig. Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, ACM Press, 12 p, 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107557/file/A02-R-124.pdf BibTex
titre
An algebraic semantics for objects in a rule-based language
auteur
Hubert Dubois, Hélène Kirchner
article
16th International Workshop on Algebraic Development Techniques - WADT'2002, Sep 2002, Frauenchiemsee, Germany, 3 p, 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107616/file/A02-R-444.pdf BibTex
titre
Algebraic Methodology And Software Technology
auteur
Hélène Kirchner, Christophe Ringeissen
article
Hélène Kirchner and Christophe Ringeissen. 9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, Springer-Verlag, 2422, XI-501 p, 2002, Lecture Notes in Computer Science
Accès au bibtex
BibTex
titre
Object Programming in a Rule-Based Language with Strategies
auteur
Hubert Dubois, Hélène Kirchner
article
Workshop on Multiparadigm Programming with OO Languages - ECOOP'02, Jun 2002, Malaga, Spain, 25 p, 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00107615/file/A02-R-443.pdf BibTex
titre
Outermost ground termination
auteur
Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
article
4th International Workshop on Rewriting Logic and its Applications - WRLA' 02, 2002, Pisa, Italy, 16 p, 2002
Accès au bibtex
BibTex

2001

Conference papers

titre
Prototyping and verfication with rules and strategies
auteur
Hélène Kirchner
article
Cyber Assist International Symposium, 2001, Tokyo, Japan, 2001
Accès au bibtex
BibTex

2000

Conference papers

titre
Algebraic Specifications, Higher-Order Types and Set-Theoretic Models
auteur
Hélène Kirchner
article
Winter Workshop in Logics, Types & Rewriting, Feb 2000, Edinburgh, UK, 2000
Accès au bibtex
BibTex
titre
Objects, rules and strategies in ELAN
auteur
Hubert Dubois, Hélène Kirchner
article
2nd AMAST Workshop on Algebraic Methods in Language Processing - AMILP'2000, 2000, Iowa City, Iowa, USA, 19 p, 2000
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099054/file/A00-R-246.pdf BibTex
titre
Termination and normalisation under strategies--Proofs in ELAN
auteur
Hélène Kirchner, Isabelle Gnaedig
article
K.Futatsugi. 3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, 36, pp.93--115, 2000, Electronic Notes in Theoretical Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00099059/file/A00-R-307.pdf BibTex
titre
Frontiers of Combining Systems
auteur
Hélène Kirchner, Christophe Ringeissen
article
Third International Workshop - FroCoS'2000, 2000, Nancy, France, Springer-Verlag, 1794, 290 p, 2000, Lecture Notes in Artificial Intelligence
Accès au bibtex
BibTex