AffVille.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « AffVille.i » - entrée « Pise »
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.
Pierre-Bénite < Pise < Pittsburgh  Facettes :

List of bibliographic references indexed by Pise

Number of relevant bibliographic references: 19.
Ident.Authors (with country if any)Title
001C52 (2012-01-01) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Chili]Statistical properties of dynamical systems - simulation and abstract computation.
002485 (2011-01) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Dynamics and abstract computability: computing invariant measures
002C26 (2010-06-21) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Computing the speed of convergence of ergodic averages and pseudorandom points in computable dynamical systems
002E97 (2010) Stefano Galatolo [Italie] ; Mathieu Hoyrup [France] ; Cristobal Rojas [Canada]Effective symbolic dynamics, random points, statistical behavior, complexity and entropy
003138 (2010) Patrizia Asirelli [Italie] ; Maurice H. Ter Beek [Italie] ; Alessandro Fantechi [Italie] ; Stefania Gnesi [Italie]A Logical Framework to Deal with Variability
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
007A79 (2003) Barbara Leporini [Italie] ; Fabio Patern [Italie]Criteria for Usability of Accessible Web Sites
007A85 (2003) M. F. Costabile [Italie] ; D. Fogli [Italie] ; G. Fresta [Italie] ; P. Mussio [Italie] ; A. Piccinno [Italie]Computer Environments for Improving End-User Accessibility
008831 (2002) Paolo Baldan [Italie] ; Andrea Bracciali [Italie] ; Roberto Bruni [Italie]Bisimulation by Unification*
009D41 (2000) Patrick Viry [Italie]Input/Output for ELAN
00A990 (1999) Egon Börger [Italie]High Level System Design and Analysis Using Abstract State Machines
00C030 (1996) Carlo Montangero [Italie]Report on the Fifth European Workshop on Software Process Technology
00C775 (1995) X. J. Chen [Italie] ; C. Montangero [Italie]Compositional refinements in multiple blackboard systems
00D228 (1993) Paola Inverardi [Italie] ; Monica Nesi [Royaume-Uni]A strategy to deal with divergent rewrite systems
00D647 (1992) John Favaro [Italie]Process modelling at the European Space Agency
00D655 (1992) Vincenzo Ambriola [Italie] ; Carlo Montangero [Italie]Oikos at the age of three
00DE07 (1990) R. De Nicola [Italie] ; P. Inverardi [Italie] ; M. Nesi [Italie]Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications
00E060 (1989) Fabrizio Luccio [Italie] ; Mireille Régnier [France] ; René Schott [France]Discs and other related data structures
00E632 (1987) A. Fantechi [Italie] ; S. Gnesi [Italie] ; P. Inverardi [Italie] ; U. Montanari [Italie]An execution environment for the formal definition of Ada

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/AffVille.i -k "Pise" 

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