vhts < via < viability

Facettes : Author.f AffPays.f AffOrg.f AffRegion.f AffVille.f

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000057 (2001)	Alessandro Armando [Italie] ; Alessandro Coglio [États-Unis] ; Fausto Giunchiglia [Italie] ; Silvio Ranise [Italie]	The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics
000297 (2008)	Emmanuel Hainry [France]	Computing Omega-Limit Sets in Linear Dynamical Systems
000375 (1993)	Vassilis Prevelakis [Suisse] ; Dennis Tsichritzis [Suisse]	Perspectives on Software development Environments
000415 (2000)	Eric Fleury [France] ; Yih Huang [États-Unis] ; Philip K. Mckinley [États-Unis]	On the performance and feasibility of multicast core selection heuristics
000429 (1995)	Christopher Nolan [Australie] ; Joseph Proietto [Australie]	The effects of oophorectomy and female sex steroids on glucose kinetics in the rat
000503 (2004)	Dominique Martinez [France] ; Etienne Hugues [France]	A Spiking Neural Network Model of the Locust Antennal Lobe
000504 (1997)	Claude Kirchner [France] ; Christophe Ringeissen [France]	Higher-order equational unification via explicit substitutions
000537 (2001)	Horatiu Cirstea [France]	Specifying Authentication Protocols Using Rewriting and Strategies
000648 (2008)	J. Espírito Santo [Portugal] ; S. Ghilezan [Serbie] ; J. Iveti [Serbie]	Characterising Strongly Normalising Intuitionistic Sequent Terms
000785 (2012)	Lin Lu ; Bruno Lévy ; Wenping Wang	Centroidal Voronoi Tessellation of Line Segments and Graphs
000804 (2000)	Frédéric Hamelin [France] ; Dominique Sauter [France]	Robust fault detection in uncertain dynamic systems
000839 (2009)	Prithwiraj Maitra [États-Unis] ; Angelina Balina [États-Unis] ; Steven Carlo [États-Unis] ; John R. Glynn Jr. [États-Unis]	Optical tools to assess naturalness of cosmetic films
000851 (2009)	Patrick Pujo [France] ; Fouzia Ounnar [France] ; Pascal Blanc [France]	Pilotage des systèmes manufacturiers via une analyse multicritère intégrant produit, ressource et ordre
000918 (2010)	Paola Bruscoli [Royaume-Uni, France] ; Alessio Guglielmi [Royaume-Uni, France] ; Tom Gundersen [Royaume-Uni, France] ; Michel Parigot [France]	A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae
000955 (2006)	Yves G. Morel [France] ; Xavier J. Carton [France]	Multipolar vortices in two-dimensional incompressible flows
000B02 (2009)	Gergei Bana [Portugal] ; Koji Hasebe [Japon] ; Mitsuhiro Okada [Japon]	Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
000C31 (2008)	Simon Le Gloannec [France] ; Abdel Illah Mouaddib [France] ; François Charpillet [France]	Adaptive Multiple Resources Consumption Control for an Autonomous Rover
000C76 (1999)	Héléne Touzet [France]	A Characterisation of Multiply Recursive Functions with Higman’s Lemma
000C79 (2013)	Philippe Balbiani [France] ; Szabolcs Mikulás [Royaume-Uni]	Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders
000D73 (2000)	Mireille Bousquet-Mélou [France] ; Gilles Schaeffer [France]	Enumeration of Planar Constellations
000F03 (1995)	A. Ghizzo [Canada] ; T. Réveillé [Canada] ; P. Bertrand [Canada] ; T. W. Johnston [Canada] ; J. Lebas [Canada] ; M. Shoucri [Canada]	An Eulerian Vlasov-Hilbert Code for the Numerical Simulation of the Interaction of High-Frequency Electromagnetic Waves with Plasma

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i -k "via" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Curation/AbsEn.i  \
                -Sk "via" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Curation
   |type=    indexItem
   |index=    AbsEn.i
   |clé=    via
}}

---

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