UNS < UO < UP1

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 30.
[0-20] [0 - 20][0 - 30][20-29][20-40]

Ident.	Authors (with country if any)	Title
000980 (2002)	Emmanuel Melin ; Bruno Raffin ; Xavier Rebeuf ; Bernard Virot	A symbolic cost model for asynchronous parallel programs with structured dependences
000A91 (2008-06)	Siva Anatharaman ; Hai Lin ; Chris Lynch ; Paliath Narendran ; Michael Rusinowitch	Active Intruders with Caps
000F60 (2008)	Yohan Boichut ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Approximation based tree regular model checking
001392 (2010-04)	Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch	Cap Unification: Application to Protocol Security modulo Homomorphic Encryption
002540 (2011-10)	Matthieu Chavent ; Antoine Vanel ; Alex Tek ; Bruno Levy ; Sophie Robert ; Bruno Raffin ; Marc Baaden	GPU-accelerated atom and dynamic bond visualization using hyperballs: a unified algorithm for balls, sticks, and hyperboloids.
002728 (2008-09)	Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Handling Left-Quadratic Rules When Completing Tree Automata
002730 (2009)	Yohan Boichut ; Roméo Courbis ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Handling Non Left-Linear Rules When Completing Tree Automata
002829 (2004)	Siva Anantharaman ; Paliath Narendran ; Michaël Rusinowitch	How Useful are Dag Automata?
002846 (2009-09-23)	Yohan Boichut ; Pierre-Cyrille Heam ; Olga Kouchnarenko	How to Tackle Integer Weighted Automata Positivity
002C75 (2007-06-26)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	Intruders with Caps
002C76 (2007-05-02)	Siva Anantharaman ; Paliath Narendran ; Michaël Rusinowitch	Intruders with Caps
002D34 (2006)	Siva Anantharaman ; Gaétan Hains ; Michael Rusinowitch ; Paul Gastin ; John Mullins	Journal of Automata, Languages and Combinatorics, Vol. 11(1)
002E91 (2014-07)	Claire Gardent ; Yannick Parmentier ; Guy Perrier ; Sylvain Schmitz	Lexical Disambiguation in LTAG using Left Context
002E92 (2011-11-25)	Claire Gardent ; Yannick Parmentier ; Guy Perrier ; Sylvain Schmitz	Lexical Disambiguation in LTAG using Left Context
004351 (2003)	Nicolas Szafran ; Stéphane Despréaux ; Luc Biard ; Frédéric Blaise	Sawing of Logs in Virtual Trees Using 3D Intersection Algorithms
004847 (2012)	Siva Anantharaman ; Paliath Narendran ; Michael Rusinowitch	String rewriting and security analysis: an extension of a result of Book and Otto
004F65 (2009)	Yohan Boichut ; Pierre-Cyrille Héam ; Olga Kouchnarenko	Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
004F66 (2007)	Yohan Boichut ; Pierre-Cyrille Heam ; Olga Kouchnarenko	Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
004F93 (2010-09)	Alexandre Learth Soares ; Fernando Rodrigues Coelho ; Rodrigo Guabiraba ; Mamdouh Kamal ; B Boris Vargaftig ; Lily Li ; Jian Li ; Wothan Tavares-De-Lima ; Bernhard Ryffel	Tumor necrosis factor is not associated with intestinal ischemia/reperfusion-induced lung inflammation.
005045 (2009-09-16)	Siva Anantharaman ; Hai Lin ; Christopher Lynch ; Paliath Narendran ; Michael Rusinowitch	Unification Modulo Homomorphic Encryption
005048 (2003)	Siva Anantharaman ; Paliath Narendran ; Michaël Rusinowitch	Unification modulo ACUI plus Homomorphisms/Distributivity

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i -k "UO" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Corpus/HalTutelle.i  \
                -Sk "UO" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Corpus
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    UO
}}

---

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