versatile < version < versioned

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by version

Number of relevant bibliographic references: 69.
[0-20] [0 - 20][0 - 50][20-40]

Ident.	Authors (with country if any)	Title
000571 (2015-04-20)	Miguel Couceiro [France] ; Tamas Waldhauser [Hongrie]	Lattice-Theoretic Approach to Version Spaces in Qualitative Decision Making
000A25 (2014-07-22)	Neeraj Kumar Singh [Canada] ; Dominique Méry [France]	Event B (english version)
000A28 (2014-07-20)	Valmi Dufour-Lussier [France] ; Alice Hermann [France] ; Florence Le Ber [France] ; Jean Lieber [France]	Belief revision in the propositional closure of a qualitative algebra (extended version)
000A72 (2014-06-30)	Anthéa Mayzaud [France] ; Anuj Sehgal [Allemagne] ; Rémi Badonnel [France] ; Isabelle Chrisment [France] ; Jürgen Schönw Lder [Allemagne]	A Study of RPL DODAG Version Attacks
000C35 (2014-04)	Paula Chocron [Argentine] ; Pascal Fontaine [France] ; Christophe Ringeissen [France]	A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version)
000C62 (2014-03)	Mohamed Tlig [France] ; Olivier Buffet [France] ; Olivier Simonin [France]	Decentralized Traffic Management: A Synchronization-Based Intersection Control --- Extended Version
000D15 (2014-01)	Manamiary Bruno Andriamiarina [France] ; Dominique Méry [France] ; Neeraj Kumar Singh [France]	Revisiting Snapshot Algorithms by Refinement-based Techniques (Extended Version)
001813 (2012-12-08)	Frédéric Bimbot [France] ; Emmanuel Deruty [France] ; Gabriel Sargent [France] ; Emmanuel Vincent [France]	System & Contrast : a Polymorphous Model of the Inner Organization of Structural Segments within Music Pieces (Original Extensive Version)
001851 (2012-11-15)	Miguel Couceiro [France] ; Jean-Luc Marichal	Quasi-extensions de Lovász et leur version symétrique
001B11 (2012-05-29)	Mauricio Araya [France] ; Vincent Thomas [France] ; Olivier Buffet [France]	Near-Optimal BRL using Optimistic Local Transitions (Extended Version)
001D03 (2012)	Laurent Bienvenu [France] ; Adam Day [États-Unis] ; Mathieu Hoyrup [France] ; Ilya Mezhirov [Allemagne] ; Alexander Shen [France]	A constructive version of Birkhoff's ergodic theorem for Martin-Lof random points
002351 (2011-05-19)	Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]	Behavior Analysis of Malware by Rewriting-based Abstraction - Extended Version
002880 (2011)	Denis Roegel [France]	A reconstruction of Gingerich's table of regular sexagesimals and a cuneiform version of the table (1965)
002894 (2010-12-17)	Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]	Abstraction by Term Rewriting for Malware Behavior Analysis - Extended Version
002A06 (2010-10-22)	Mauricio Araya-L Pez [France] ; Olivier Buffet [France] ; Vincent Thomas [France] ; François Charpillet [France]	A POMDP Extension with Belief-dependent Rewards (Extended Version)
002B39 (2010-08-12)	Philippe Beaucamps [France] ; Isabelle Gnaedig [France] ; Jean-Yves Marion [France]	Behavior Abstraction in Malware Analysis - Extended Version
004518 (2008)	Isabelle Gnaedig [France]	Termination of Priority Rewriting - Extended version
004542 (2008)	Yannick Chevalier [France] ; Mounira Kourjieh [France]	On the Decidability of (ground) Reachability Problems for Cryptographic Protocols (extended version)
004E64 (2007)	Isabelle Gnaedig [France]	Induction for Positive Almost Sure Termination - Extended version -
005180 (2006-03-13)	Daoudi Khalid [France] ; Christophe Cerisara [France]	An improved version of the SPACE algorithm for noise robust speech recognition
005504 (2006)	James Laidlaw ; Charlie Mansfield	Designing a Digital Version of British Library, Harley ms 4431. The Making of the Queen’s Manuscript

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i -k "version" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Title.i  \
                -Sk "version" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Title.i
   |clé=    version
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022