BibTeX records: Laurent Trilling

download as .bib file

@inproceedings{DBLP:conf/bibe/SegretainTG021,
  author       = {R{\'{e}}mi Segretain and
                  Laurent Trilling and
                  Nicolas Glade and
                  Sergiu Ivanov},
  title        = {Who Plays Complex Music? On the Correlations Between Structural and
                  Behavioral Complexity Measures in Sign Boolean Networks},
  booktitle    = {21st {IEEE} International Conference on Bioinformatics and Bioengineering,
                  {BIBE} 2021, Kragujevac, Serbia, October 25-27, 2021},
  pages        = {1--6},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/BIBE52308.2021.9635403},
  doi          = {10.1109/BIBE52308.2021.9635403},
  timestamp    = {Fri, 17 Dec 2021 08:28:48 +0100},
  biburl       = {https://dblp.org/rec/conf/bibe/SegretainTG021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/Segretain0TG20,
  author       = {R{\'{e}}mi Segretain and
                  Sergiu Ivanov and
                  Laurent Trilling and
                  Nicolas Glade},
  editor       = {Rosa M. Benito and
                  Chantal Cherifi and
                  Hocine Cherifi and
                  Esteban Moro and
                  Luis Mateus Rocha and
                  Marta Sales{-}Pardo},
  title        = {A Methodology for Evaluating the Extensibility of Boolean Networks'
                  Structure and Function},
  booktitle    = {Complex Networks {\&} Their Applications {IX} - Volume 2, Proceedings
                  of the Ninth International Conference on Complex Networks and Their
                  Applications, {COMPLEX} {NETWORKS} 2020, 1-3 December 2020, Madrid,
                  Spain},
  series       = {Studies in Computational Intelligence},
  volume       = {944},
  pages        = {372--385},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-65351-4\_30},
  doi          = {10.1007/978-3-030-65351-4\_30},
  timestamp    = {Sun, 02 Oct 2022 15:57:51 +0200},
  biburl       = {https://dblp.org/rec/conf/complexnetworks/Segretain0TG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complexnetworks/VuongCIGT17,
  author       = {Quoc{-}Trung Vuong and
                  Roselyne J. Chauvin and
                  Sergiu Ivanov and
                  Nicolas Glade and
                  Laurent Trilling},
  editor       = {Chantal Cherifi and
                  Hocine Cherifi and
                  M{\'{a}}rton Karsai and
                  Mirco Musolesi},
  title        = {A Logical Constraint-based Approach to Infer and Explore Diversity
                  and Composition in Thresholded Boolean Automaton Networks},
  booktitle    = {Complex Networks {\&} Their Applications {VI} - Proceedings of
                  Complex Networks 2017 (The Sixth International Conference on Complex
                  Networks and Their Applications), {COMPLEX} {NETWORKS} 2017, Lyon,
                  France, November 29 - December 1, 2017},
  series       = {Studies in Computational Intelligence},
  volume       = {689},
  pages        = {567--579},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-72150-7\_46},
  doi          = {10.1007/978-3-319-72150-7\_46},
  timestamp    = {Sun, 06 Oct 2024 20:58:38 +0200},
  biburl       = {https://dblp.org/rec/conf/complexnetworks/VuongCIGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbbio/MobiliaRCFT15,
  author       = {Nicolas Mobilia and
                  Alexandre Rocca and
                  Samuel Chorlton and
                  Eric Fanchon and
                  Laurent Trilling},
  editor       = {Francisco M. Ortu{\~{n}}o Guzman and
                  Ignacio Rojas},
  title        = {Logical Modeling and Analysis of Regulatory Genetic Networks in a
                  Non Monotonic Framework},
  booktitle    = {Bioinformatics and Biomedical Engineering - Third International Conference,
                  {IWBBIO} 2015, Granada, Spain, April 15-17, 2015. Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9043},
  pages        = {599--612},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-16483-0\_58},
  doi          = {10.1007/978-3-319-16483-0\_58},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iwbbio/MobiliaRCFT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipcat/CorblinFTCT12,
  author       = {Fabien Corblin and
                  Eric Fanchon and
                  Laurent Trilling and
                  Claudine Chaouiya and
                  Denis Thieffry},
  editor       = {Michael A. Lones and
                  Stephen L. Smith and
                  Sarah A. Teichmann and
                  Felix Naef and
                  James Alfred Walker and
                  Martin Trefzer},
  title        = {Automatic Inference of Regulatory and Dynamical Properties from Incomplete
                  Gene Interaction and Expression Data},
  booktitle    = {Information Processign in Cells and Tissues - 9th International Conference,
                  {IPCAT} 2012, Cambridge, UK, March 31 - April 2, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7223},
  pages        = {25--30},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28792-3\_4},
  doi          = {10.1007/978-3-642-28792-3\_4},
  timestamp    = {Thu, 23 Jun 2022 19:59:03 +0200},
  biburl       = {https://dblp.org/rec/conf/ipcat/CorblinFTCT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/CorblinFT10,
  author       = {Fabien Corblin and
                  Eric Fanchon and
                  Laurent Trilling},
  title        = {Applications of a formal approach to decipher discrete genetic networks},
  journal      = {{BMC} Bioinform.},
  volume       = {11},
  pages        = {385},
  year         = {2010},
  url          = {https://doi.org/10.1186/1471-2105-11-385},
  doi          = {10.1186/1471-2105-11-385},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/bmcbi/CorblinFT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/biosystems/CorblinTFRT09,
  author       = {Fabien Corblin and
                  S{\'{e}}bastien Tripodi and
                  Eric Fanchon and
                  Delphine Ropers and
                  Laurent Trilling},
  title        = {A declarative constraint-based method for analyzing discrete genetic
                  regulatory networks},
  journal      = {Biosyst.},
  volume       = {98},
  number       = {2},
  pages        = {91--104},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.biosystems.2009.07.007},
  doi          = {10.1016/J.BIOSYSTEMS.2009.07.007},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/biosystems/CorblinTFRT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/CorblinFT07,
  author       = {Fabien Corblin and
                  Eric Fanchon and
                  Laurent Trilling},
  title        = {Mod{\'{e}}lisation de r{\'{e}}seaux biologiques discrets
                  en programmation logique par contraintes},
  journal      = {Tech. Sci. Informatiques},
  volume       = {26},
  number       = {1-2},
  pages        = {73--98},
  year         = {2007},
  url          = {https://doi.org/10.3166/tsi.26.73-98},
  doi          = {10.3166/TSI.26.73-98},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/CorblinFT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/FanchonCTHG04,
  author       = {Eric Fanchon and
                  Fabien Corblin and
                  Laurent Trilling and
                  Bastien Hermant and
                  Danielle Gulino},
  editor       = {Vincent Danos and
                  Vincent Sch{\"{a}}chter},
  title        = {Modeling the Molecular Network Controlling Adhesion Between Human
                  Endothelial Cells: Inference and Simulation Using Constraint Logic
                  Programming},
  booktitle    = {Computational Methods in Systems Biology, International Conference,
                  {CMSB} 2004, Paris, France, May 26-28, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3082},
  pages        = {104--118},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-25974-9\_9},
  doi          = {10.1007/978-3-540-25974-9\_9},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/cmsb/FanchonCTHG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/Buthod-GarconDT01,
  author       = {S{\'{e}}bastien Buthod{-}Gar{\c{c}}on and
                  Michel Dumoulin and
                  Laurent Trilling},
  editor       = {Philippe Codognet},
  title        = {Un r{\'{e}}solveur d'ordonnancements de gammes sur le long terme
                  avec int{\'{e}}gration dynamique des temps de r{\'{e}}glage},
  booktitle    = {Programmation en logique avec contraintes, Actes des JFPLC'2001, 24
                  avril - 27 avril 2001, Cit{\'{e}} des sciences et de l'industrie,
                  Paris, France},
  pages        = {59--74},
  publisher    = {Hermes},
  year         = {2001},
  timestamp    = {Sat, 23 Jun 2018 18:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/Buthod-GarconDT01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jobim/Thierry-MiegT00,
  author       = {Nicolas Thierry{-}Mieg and
                  Laurent Trilling},
  editor       = {Olivier Gascuel and
                  Marie{-}France Sagot},
  title        = {InterDB, a Prediction-Oriented Protein Interaction Database for C.
                  elegans},
  booktitle    = {Computational Biology, First International Conference on Biology,
                  Informatics, and Mathematics, {JOBIM} 2000, Montpellier, France, May
                  3-5, 2000, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2066},
  pages        = {135--146},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45727-5\_12},
  doi          = {10.1007/3-540-45727-5\_12},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/jobim/Thierry-MiegT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BouhineauTC99,
  author       = {Denis Bouhineau and
                  Laurent Trilling and
                  Jacques Cohen},
  title        = {An Application of {CLP:} Checking the Correctness of Theorems in Geometry},
  journal      = {Constraints An Int. J.},
  volume       = {4},
  number       = {4},
  pages        = {383--405},
  year         = {1999},
  url          = {https://doi.org/10.1023/A:1009825124248},
  doi          = {10.1023/A:1009825124248},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/BouhineauTC99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LevyT99,
  author       = {Michel Levy and
                  Laurent Trilling},
  editor       = {Jeannette M. Wing and
                  Jim Woodcock and
                  Jim Davies},
  title        = {A PVS-Based Approach for Teaching Constructing Correct Iterations},
  booktitle    = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
                  of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
                  Volume {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1709},
  pages        = {1859--1860},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-48118-4\_52},
  doi          = {10.1007/3-540-48118-4\_52},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/LevyT99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcce/AllenT95,
  author       = {Richard Allen and
                  Laurent Trilling},
  editor       = {David Tinsley and
                  Tom J. van Weert},
  title        = {Logic programming: a tool for development of educational systems},
  booktitle    = {World Conference on Computers in Education VI, {WCCE} '95 Liberating
                  the Learner, Proceedings of the sixth {IFIP} World Conference on Computers
                  in Education, Birmingham, UK, 1995},
  series       = {{IFIP} - The International Federation for Information Processing},
  pages        = {953--962},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/978-0-387-34844-5\_89},
  doi          = {10.1007/978-0-387-34844-5\_89},
  timestamp    = {Fri, 23 Feb 2018 14:51:24 +0100},
  biburl       = {https://dblp.org/rec/conf/wcce/AllenT95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AllenDT94,
  author       = {Richard Allen and
                  Cyrille Desmoulins and
                  Laurent Trilling},
  editor       = {Rosa Maria Bottino and
                  Paola Forcheri and
                  Maria Teresa Molfino},
  title        = {On Cross-Fertilization between Logic Programming and Educational Systems},
  booktitle    = {{ICLP} 1994 Workshop {W11:} Logic Programming and Education, Santa
                  Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/AllenDT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/IdtLT94,
  author       = {Jeanne Idt and
                  Michel Levy and
                  Laurent Trilling},
  editor       = {Rosa Maria Bottino and
                  Paola Forcheri and
                  Maria Teresa Molfino},
  title        = {Constraints that Assist in the Teaching of Logic Programming},
  booktitle    = {{ICLP} 1994 Workshop {W11:} Logic Programming and Education, Santa
                  Margherita Ligure, Italy, June 1994},
  year         = {1994},
  timestamp    = {Mon, 02 Dec 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/IdtLT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/AllenIT93,
  author       = {Richard Allen and
                  Jeanne Idt and
                  Laurent Trilling},
  editor       = {Ruzena Bajcsy},
  title        = {Constraint Based Automatic Construction and Manipulation of Geometric
                  Figures},
  booktitle    = {Proceedings of the 13th International Joint Conference on Artificial
                  Intelligence. Chamb{\'{e}}ry, France, August 28 - September 3,
                  1993},
  pages        = {453--459},
  publisher    = {Morgan Kaufmann},
  year         = {1993},
  url          = {http://ijcai.org/Proceedings/93-1/Papers/064.pdf},
  timestamp    = {Tue, 20 Aug 2019 16:18:33 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/AllenIT93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/its/AllenDT92,
  author       = {Richard Allen and
                  Cyrille Desmoulins and
                  Laurent Trilling},
  editor       = {Claude Frasson and
                  Gilles Gauthier and
                  Gordon I. McCalla},
  title        = {Tuteurs Intelligents et Intelligence Artificielle: probl{\`{e}}mes
                  pos{\'{e}}s en construction de figures g{\'{e}}om{\'{e}}triques},
  booktitle    = {Intelligent Tutoring Systems, Second International Conference, {ITS}
                  '92, Montr{\'{e}}al, Canada, June 10-12, 1992, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {608},
  pages        = {325--334},
  publisher    = {Springer},
  year         = {1992},
  url          = {https://doi.org/10.1007/3-540-55606-0\_40},
  doi          = {10.1007/3-540-55606-0\_40},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/its/AllenDT92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hlppp/HermannT91,
  author       = {Daniel Herman and
                  Laurent Trilling},
  editor       = {Jean{-}Pierre Ban{\^{a}}tre and
                  Daniel Le M{\'{e}}tayer},
  title        = {Constructing a Parallel Sort Program on Hypercube by Using Distributively
                  Callable Procedures},
  booktitle    = {Research Directions in High-Level Parallel Programming Languages,
                  Mont Saint-Michel, France, June 17-19, 1991, Procedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {574},
  pages        = {374--385},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-55160-3\_56},
  doi          = {10.1007/3-540-55160-3\_56},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/hlppp/HermannT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/HermanT91,
  author       = {Daniel Herman and
                  Laurent Trilling},
  editor       = {Frank K. H. A. Dehne and
                  Frantisek Fiala and
                  Waldemar W. Koczkodaj},
  title        = {Programming a Parallel Sort Using Distributed Procedure Calls},
  booktitle    = {Advances in Computing and Information - ICCI'91, International Conference
                  on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {497},
  pages        = {415--417},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54029-6\_189},
  doi          = {10.1007/3-540-54029-6\_189},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icci/HermanT91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/QuiniouT88,
  author       = {Rene Quiniou and
                  Laurent Trilling},
  editor       = {Tim O'Shea and
                  Vassil Stoyanov Sgurev},
  title        = {Collective Predicates: Expressing Control of OR-Parallelism in Prolog},
  booktitle    = {Artificial Intelligence {III:} Methodology, Systems, Applications
                  - Proceedings of the Third International Conference on Artificial
                  Intelligence: Methodology, Systems, Applications, {AIMSA} 1988, Varna,
                  Bulgaria, September 20-23, 1988},
  pages        = {159--167},
  publisher    = {North-Holland},
  year         = {1988},
  timestamp    = {Thu, 16 Mar 2017 14:36:04 +0100},
  biburl       = {https://dblp.org/rec/conf/aimsa/QuiniouT88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/QuiniouT85,
  author       = {Rene Quiniou and
                  Laurent Trilling},
  editor       = {Serge Bourgault and
                  Mehmet Dincbas},
  title        = {Des primitives pour la synchronisation des branches {OU.} Un exemple
                  d'application},
  booktitle    = {SPLT'85, S{\'{e}}minaire Programmation en Logique, 29-31 mai
                  1985, Tr{\'{e}}gastel, France},
  year         = {1985},
  timestamp    = {Mon, 06 Sep 2004 15:35:20 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/QuiniouT85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/CourantRT84,
  author       = {Mich{\`{e}}le Courant and
                  Sophie Robin and
                  Laurent Trilling},
  editor       = {Mehmet Dincbas},
  title        = {Un syst{\`{e}}me de traitement de petites annonces},
  booktitle    = {SPLT'84, S{\'{e}}minaire Programmation en Logique, 25-27 avril
                  1984, Plestin-les-Gr{\`{e}}ves, France},
  year         = {1984},
  timestamp    = {Mon, 06 Sep 2004 15:26:43 +0200},
  biburl       = {https://dblp.org/rec/conf/jfplc/CourantRT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/BanatreRT79,
  author       = {Jean{-}Pierre Ban{\^{a}}tre and
                  Jean{-}Paul Routeau and
                  Laurent Trilling},
  title        = {An Event-Driven Compiling Technique},
  journal      = {Commun. {ACM}},
  volume       = {22},
  number       = {1},
  pages        = {34--42},
  year         = {1979},
  url          = {https://doi.org/10.1145/359046.359055},
  doi          = {10.1145/359046.359055},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cacm/BanatreRT79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CohenTW74,
  author       = {Jacques Cohen and
                  Laurent Trilling and
                  Peter Wegner},
  title        = {A nucleus of a theorem-prover described inAlgol -68},
  journal      = {Int. J. Parallel Program.},
  volume       = {3},
  number       = {1},
  pages        = {1--31},
  year         = {1974},
  url          = {https://doi.org/10.1007/BF01355585},
  doi          = {10.1007/BF01355585},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/CohenTW74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/algol/TrillingV70,
  author       = {Laurent Trilling and
                  Jean{-}Pierre Verjus},
  editor       = {John E. L. Peck},
  title        = {An Attempted Definition of an Extensible System},
  booktitle    = {{ALGOL} 68 Implementation: Proceedings of the {IFIP} Working Conference
                  on {ALGOL} 68 Implementation, Munich, Germany, July 20-24, 1970},
  pages        = {119--139},
  publisher    = {North-Holland},
  year         = {1970},
  timestamp    = {Wed, 02 Mar 2022 15:55:47 +0100},
  biburl       = {https://dblp.org/rec/conf/algol/TrillingV70.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Trilling67,
  author       = {Laurent Trilling},
  title        = {Contribution {\`{a}} l'{\'{e}}tude des m{\'{e}}canismes
                  de traduction des langages de programmation : application au traitement
                  des structures d{\'{e}}finies dynamiquement},
  school       = {Joseph Fourier University, Grenoble, France},
  year         = {1967},
  url          = {https://tel.archives-ouvertes.fr/tel-00280779},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Trilling67.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}