Difference between revisions of "Book chapters"
From LRDE
(Use a template to display publications table) |
|||
Line 1: | Line 1: | ||
{{#ask: [[Category:Publications]] [[Publication type::incollection]] |
{{#ask: [[Category:Publications]] [[Publication type::incollection]] |
||
− | | ?Has bibtex |
+ | | ?Has bibtex id |
− | | ?Has author |
+ | | ?Has author |
− | | ?Has title |
+ | | ?Has title |
| ?Published in |
| ?Published in |
||
| ?News date#MEDIAWIKI=Date |
| ?News date#MEDIAWIKI=Date |
||
Line 9: | Line 9: | ||
| introtemplate = PublicationRowIntro |
| introtemplate = PublicationRowIntro |
||
| outrotemplate = PublicationRowOutro |
| outrotemplate = PublicationRowOutro |
||
− | | named args = yes |
||
| sort = News date |
| sort = News date |
||
| order = descending |
| order = descending |
Latest revision as of 10:14, 26 July 2018
Title | Authors | Published in | Date | |
---|---|---|---|---|
barnat.18.hpcr | Parallel Model Checking Algorithms for Linear-Time Temporal Logic | Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault | Handbook of Parallel Constraint Reasoning | 10 April 2018 |
tochon.17.chapter | Advances in Utilization of Hierarchical Representations in Remote Sensing Data Analysis | Guillaume Tochon, Mauro Dalla Mura, Philippe Salembier, Jocelyn Chanussot, Miguel-Angel Veganzones, Silvia Valero | Comprehensive Remote Sensing, 1st Edition | 8 November 2017 |
verna.12.dsl | Extensible languages: blurring the distinction between DSLs and GPLs | Didier Verna | Formal and Practical Aspects of Domain-Specific Languages: Recent Developments | 1 September 2012 |
geraud.10.livre | Morphologie et algorithmes | Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck | Morphologie mathématique 2 : estimation, choix et mise en œuvre | 1 September 2010 |
geraud.10.book | Algorithms for Mathematical Morphology | Thierry Géraud, Hugues Talbot, Marc Van Droogenbroeck | Mathematical Morphology—From Theory to Applications | 1 July 2010 |
duflot.06.book | Practical Application of Probabilistic Model Checking to Communication Protocols | Marie Duflot, Marta Kwiatkowska, Gethin Norman, Dave Parker, Sylvain Peyronnet, Claudine Picaronny, Jeremy Sproston | FMICS Handbook on Industrial Critical Systems | 1 January 2006 |