Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « HalTutelle.i » - entrée « University of California, Santa Barbara [Santa Barbara] »
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.
University of California, San Francisco < University of California, Santa Barbara [Santa Barbara] < University of Campinas  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 23.
[0-20] [0 - 20][0 - 23][20-22][20-40]
Ident.Authors (with country if any)Title
000590 (2000) Daniel Leivant [États-Unis] ; Jean-Yves Marion [France]A characterization of alternating log time by ramified recurrence
000C07 (2001) Rakesh Verma [États-Unis] ; Michaël Rusinowitch [France] ; Denis LugiezAlgorithms and Reductions for Rewriting Problems
000E95 (1999-06) Jean-Paul Gibson [États-Unis] ; Dominique Méry [France] ; Yassine Mokhtari [France]Animating formal specifications : a telephone simulation case study
001631 (2004) Michel Cosnard ; Emmanuel Jeannot [France] ; Tao Yang [États-Unis]Compact DAG Representation and its Symbolic Scheduling
001738 (1999) Miki Hermann [France] ; Phokion G. Kolaitis [États-Unis]Computational Complexity of Simultaneous Elementary Matching Problems
001A12 (2002) Pankaj K. Agarwal [États-Unis] ; Thérèse Biedl [Canada] ; Sylvain Lazard [France] ; Steve Robbins [Canada] ; Subhash Suri [États-Unis] ; Sue Whitesides [Canada]Curvature-Constrained Shortest Paths in a Convex Polygon
002402 (1999) Jean-Paul Gibson [États-Unis] ; Dominique Méry [France]Formal modelling of services for getting a better understanding of the feature interaction problem - multi-view approach
002C27 (2007) Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis] ; Olivier Zendra [France]International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2006 at ECOOP'06
002C28 (2008) Olivier Zendra [France] ; Eric Jul [Danemark] ; Roland Ducournau [France] ; Etienne Gagnon [Canada] ; Richard Jones [Royaume-Uni] ; Chandra Krintz [États-Unis] ; Philippe Mulet [France] ; Jan Vitek [États-Unis]International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS'2007 at ECOOP'07
003636 (2009-03) Antonio Loria [France] ; Dragan Nesic [Australie] ; Elena Panteley [France] ; Andrew Teel [États-Unis]ON STABILITY OF SETS FOR SAMPLED-DATA NONLINEAR INCLUSIONS VIA THEIR APPROXIMATE DISCRETE-TIME MODELS AND SUMMABILITY CRITERIA
003746 (1998) Miki Hermann [France] ; Laurent Juban [France] ; Phokion G. Kolaitis [États-Unis]On the Complexity of Counting the Hilbert Basis of a Linear Diophantine System
003F17 (2000) Daniel Leivant [États-Unis] ; Jean-Yves Marion [France]Ramified Recurrence and Computational Complexity IV : Predicative Functionals and Poly-Space
004275 (1998) Anita Wasilewska [États-Unis] ; Laurent Vigneron [France]Rough Algebras & Automated Deduction
004276 (1998) Laurent Vigneron [France] ; Anita Wasilewska [États-Unis]Rough Diagrams
004277 (1998) Laurent Vigneron [France] ; Anita Wasilewska [États-Unis]Rough Sets Congruences and Diagrams
004569 (1999) Taegyun Kim [États-Unis] ; Gyusang Shin ; Nacer Boudjlida [France]Similarity in the Design and the Implementation of a Multi-Platform CASE Tool
004780 (2002-05-29) Nancy Ide [États-Unis] ; Laurent Romary [France]Standards for Language Resources
004902 (2010) Andrew Teel [États-Unis] ; Dragan Nesic [Australie] ; Antonio Loria [France] ; Elena Panteley [France]Summability Characterizations of Uniform Exponential and Asymptotic Stability of Sets For Difference Inclusions
004C32 (1999) David Plaisted [États-Unis] ; Gregory Kucherov [France]The complexity of some complementation problems
004C96 (2000) Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]The theory of total unary RPO is decidable
004F68 (2001) Denys Duchier [États-Unis] ; Claire Gardent [France]Tree Descriptions, Constraints and Incrementality

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i -k "University of California, Santa Barbara [Santa Barbara]" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/HalTutelle.i  \
                -Sk "University of California, Santa Barbara [Santa Barbara]" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    HalTutelle.i
   |clé=    University of California, Santa Barbara [Santa Barbara]
}}

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