AffRegion.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffRegion.i » - entrée « Californie »
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.
Brême (Land) < Californie < Canaries  Facettes :

List of bibliographic references indexed by Californie

Number of relevant bibliographic references: 99.
[20-40] [0 - 20][0 - 50][40-60]
Ident.Authors (with country if any)Title
006207 (2005) Anupam Datta [États-Unis] ; Ante Derek [États-Unis] ; John C. Mitchell [États-Unis] ; Vitaly Shmatikov [États-Unis] ; Mathieu Turuani [France]Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
006B15 (2004) Leonardo De Moura [États-Unis] ; Sam Owre [États-Unis] ; Harald Rue [États-Unis] ; John Rushby [États-Unis] ; Natarajan Shankar [États-Unis]The ICS Decision Procedures for Embedded Deduction
006B63 (2004) Mitsuhiro Kato [États-Unis, Japon] ; Soma Das [États-Unis] ; Kristin Petras [États-Unis] ; Kunio Kitamura [Japon] ; Ken-Ichirou Morohashi [Japon] ; Diane N. Abuelo [États-Unis] ; Mason Barr [États-Unis] ; Dominique Bonneau [France] ; Angela F. Brady [Royaume-Uni] ; Nancy J. Carpenter [États-Unis] ; Karen L. Cipero [États-Unis] ; Francesco Frisone [Italie] ; Takayuki Fukuda [Japon] ; Renzo Guerrini [Italie] ; Eri Iida [Japon] ; Masayuki Itoh [Japon] ; Amy Feldman Lewanda [États-Unis] ; Yukiko Nanba [Japon] ; Akira Oka [Japon] ; Virginia K. Proud [États-Unis] ; Pascale Saugier-Veber [France] ; Susan L. Schelley [États-Unis] ; Angelo Selicorni [Italie] ; Rachel Shaner [États-Unis] ; Margherita Silengo [Italie] ; Fiona Stewart [Royaume-Uni] ; Noriyuki Sugiyama [Japon] ; Jun Toyama [Japon] ; Annick Toutain [France] ; Ana Lía Vargas [Argentine] ; Masako Yanazawa [Japon] ; Elaine H. Zackai [États-Unis] ; William B. Dobyns [États-Unis]Mutations of ARX are associated with striking pleiotropy and consistent genotype–phenotype correlation
006B78 (2004) Michael Beeson [États-Unis]Lambda Logic
006C19 (2004) Ting Zhang [États-Unis] ; Henny B. Sipma [États-Unis] ; Zohar Manna [États-Unis]Decision Procedures for Recursive Data Structures with Integer Constraints
006C21 (2004) Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis]Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure
006C27 (2004) Guillem Godoy [Espagne] ; Ashish Tiwari [États-Unis] ; Rakesh Verma [États-Unis]Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems
007A41 (2003) Lanita Jacobs-Huey [États-Unis]Ladies Are Seen, Not Heard: Language Socialization in a Southern, African American Cosmetology School
007A61 (2003) Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
008723 (2002) Donald D. Hammill ; Nancy Mather [États-Unis] ; Elizabeth A. Allen ; Rhia Roberts [États-Unis]Using Semantics, Grammar, Phonology, and Rapid Naming Tasks to Predict Word Identification
008748 (2002) Ernst Althaus [États-Unis] ; Alexander Bockmayr [France] ; Matthias Elf [Allemagne] ; Michael Jünger [Allemagne] ; Thomas Kasper [Allemagne] ; Kurt Mehlhorn [Allemagne]SCIL — Symbolic Constraints in Integer Linear Programming
008792 (2002) João Araújo [Portugal] ; Jonathan Whittle [États-Unis] ; Ambrosio Toval [Espagne] ; Robert France [États-Unis]Integration and Transformation of UML Models
008800 (2002) Dusko Pavlovic [États-Unis] ; Douglas R. Smith [États-Unis]Guarded Transitions in Evolving Specifications
009206 (2001) Vincent D. Blondel [Belgique] ; Olivier Bournez [France] ; Pascal Koiran [France] ; Christos H. Papadimitriou [États-Unis] ; John N. Tsitsiklis [États-Unis]Deciding stability and mortality of piecewise affine dynamical systems
009268 (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
009300 (2001) Edward P. Stabler [États-Unis]Recognizing Head Movement
009321 (2001) Geoffrey K. Pullum [États-Unis] ; Barbara C. Scholz [États-Unis]On the Distinction between Model-Theoretic and Generative-Enumerative Syntactic Frameworks
009404 (2001) Henk Harkema [États-Unis]A Characterization of Minimalist Languages
009D11 (2000) Adel Bouhoula [États-Unis, France] ; Jean-Pierre Jouannaud [France] ; José Meseguer [États-Unis]Specification and proof in membership equational logic
009D17 (2000) Kelly D. Glover [États-Unis]Proximal and distal deixis in negotiation talk
009D50 (2000) Iliano Cervesato [États-Unis] ; Joshua S. Hodas [États-Unis] ; Frank Pfenning [États-Unis]Efficient resource management for linear logic proof search

List of associated Author.i

Nombre de
documents		Descripteur
8Miki Hermann
8Phokion G. Kolaitis
6Adel Bouhoula
6José Meseguer
3Ashish Tiwari
3Jean-Pierre Jouannaud
3Michaël Rusinowitch
2Adrien Coulet
2Alessandro Coglio
2Brian Murphy
2Bruce Dodson
2Christoph Benzmüller
2Claude Kirchner
2Fausto Giunchiglia
2Guillem Godoy
2Herman Te Riele
2Hélène Kirchner
2Jean-Claude Junqua
2Joshua S. Hodas
2L. Sweetman
2Mathieu Turuani
2Narjes Berregeb
2Nigam H. Shah
2Paea Lependu
2Paul Leyland
2Paul Zimmermann
2Peter L. Montgomery
2Stefania Cavallar
2Walter Lioen
2William B. Dobyns
1Akira Oka
1Alain Thoraval
1Alain Walcarius
1Alan F. Hofmann
1Alec Muffett
1Alessandro Armando
1Alexander Bockmayr
1Alexander S. Lee
1Alexander Wynands
1Alexandre Urzhumtsev
1Alice Lin
1Ambrosio Toval
1Amy Feldman Lewanda
1Amy Hines
1Ana Lía Vargas
1Andrea A. Disessa
1Andrea Crosignani
1Andrew R. Molnar
1Angela F. Brady
1Angelo Selicorni
1Anne N. Maggioncalda
1Annick Toutain
1Ante Derek
1Anthony Reading
1Anupam Datta
1Aristides A G. Requicha
1Arjen K. Lenstra
1Arjen Lenstra
1Arnaud Durand
1B. Simon
1B. Souillard
1Barbara Abrams
1Barbara B. Simons
1Barbara C. Scholz
1Barbara Kass-Annese
1Barry H. Greenberg
1Bastiaan R. Bloem
1Boyd Salmon
1C. Hilmon Castle
1Carla Chiotti
1Carlos Perez
1Carlos Rodriguez-Galindo
1Carmen Pingree
1Carolyn L. Talcott
1Charles Chazot
1Chienying Liu
1Chongwu Zhou
1Chris And Craig Putnam
1Christopher M. O'Connor
1Christos H. Papadimitriou
1Claudette Vieules
1Claudio J. Conti
1Clement Jonquet
1Clyde W. Yancy
1Courtney Harper
1D. C. Johnson
1Daniel M. Berry
1Danielle Thorpe
1David D. Zhou
1David Hinds
1David Pointcheval
1Dawn H. Siegel
1Dennis J. Beckley
1Diane N. Abuelo
1Dominique Bonneau
1Dona L. Wong
1Donald Batts
1Donald D. Hammill
1Donald L. Alderman
1Donald Symons

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/AffRegion.i -k "Californie" 

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