ISSN
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « ISSN » - entrée « 0020-0190 »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
0019-9311 < 0020-0190 < 0020-0255  Facettes :

List of bibliographic references indexed by 0020-0190

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
000C22 (2014-04-01) David Galindo [France] ; Srinivas Vivek [Luxembourg (pays)]Limits of a conjecture on a leakage-resilient cryptosystem
000D64 (2014) Marek Kosta [France] ; Pavol Duris [Slovaquie]Flip-Pushdown Automata with k Pushdown Reversals and E0L Systems are Incomparable
000F52 (2013-11-01) David Galindo [France]A note on an IND-CCA2 secure Paillier-based cryptosystem
001100 (2013-07-15) Laurent Alonso [France] ; Edward M. Reingold [États-Unis]Analysis of Boyer and Moore's MJRTY algorithm
002D68 (2010-04) Liliana Cucu-Grosjean [France] ; Joël Goossens [Belgique]Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems
003180 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Compiling and securing cryptographic protocols
004173 (2008) Sébastien Collette [Belgique] ; Liliana Cucu [France] ; Joël Goossens [Belgique]Integrating job parallelism in real-time scheduling theory
004200 (2008) Yohan Boichut [France] ; Pierre-Cyrille Heam [France]A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations
004201 (2008) Pierre-Cyrille Héam [France]A Note on Partially Ordered Tree Automata
006376 (2005) Siva Anantharaman [France] ; Paliath Narendran [États-Unis] ; Michael Rusinowitch [France]Closure properties and decision problems of dag automata
006C88 (2004) Laurent Alonso [France] ; Philippe Chassaing [France] ; Edward M. Reingold [États-Unis] ; René Schott [France]The worst-case chip problem
009E82 (2000) Index
00A825 (1999) David A. Plaisted [États-Unis] ; Gregory Kucherov [États-Unis, France]The complexity of some complementation problems
00BB17 (1997) L. Alonso [France] ; J. L. Rémy [France] ; R. Schott [France]Uniform generation of a Schröder tree
00BB28 (1997) Shou-Hsuan S. Huang [États-Unis] ; Hongfei Liu [États-Unis] ; Rakesh M. Verma [États-Unis]On embedding rectangular meshes into rectangular meshes of smaller aspect ratio
00C607 (1995) Gregory Kucherov [France] ; Michaël Rusinowitch [France]Undecidability of ground reducibility for word rewriting systems with variables
00D126 (1993) Laurent Alonso [France] ; Edward M. Reingold [États-Unis] ; René Schott [France]Determining the majority
00DD84 (1990) P. Inverardi [Italie] ; M. Nesi [Italie]A rewriting strategy to verify observational congruence
00E555 (1987) Michael Rusinowitch [France]On termination of the direct sum of term-rewriting systems
00E999 (1985) Master index of volumes 11–20
00ED26 (1982) Jean-Pierre Jouannaud [France] ; Pierre Lescanne [États-Unis]On multiset orderings

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/ISSN.i -k "0020-0190" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i  \
                -Sk "0020-0190" \
         | 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=    ISSN.i
   |clé=    0020-0190
}}
Wicri

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