Texas < Toscane < Trøndelag

Facettes : Author.f AffPays.f AffRegion.f AffVille.f AffOrg.f KwdFr.f Mesh.f MeshFr.f Teeft.f

List of bibliographic references indexed by Toscane

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

---

List of associated Author.i

Nombre de documents	Descripteur
4	Cristobal Rojas
4	Mathieu Hoyrup
4	Stefano Galatolo
2	Carlo Montangero
2	P. Inverardi
1	A. Fantechi
1	A. Piccinno
1	Akira Oka
1	Alessandro Fantechi
1	Amy Feldman Lewanda
1	Ana Lía Vargas
1	Andrea Bracciali
1	Angela F. Brady
1	Angelo Selicorni
1	Annick Toutain
1	Barbara Leporini
1	C. Montangero
1	D. Fogli
1	Diane N. Abuelo
1	Dominique Bonneau
1	Egon Börger
1	Elaine H. Zackai
1	Eri Iida
1	Fabio Patern
1	Fabrizio Luccio
1	Fiona Stewart
1	Francesco Frisone
1	G. Fresta
1	John Favaro
1	Jun Toyama
1	Karen L. Cipero
1	Ken-Ichirou Morohashi
1	Kristin Petras
1	Kunio Kitamura
1	M. F. Costabile
1	M. Nesi
1	Margherita Silengo
1	Masako Yanazawa
1	Masayuki Itoh
1	Mason Barr
1	Maurice H. Ter Beek
1	Mireille Régnier
1	Mitsuhiro Kato
1	Monica Nesi
1	Nancy J. Carpenter
1	Noriyuki Sugiyama
1	P. Mussio
1	Paola Inverardi
1	Paolo Baldan
1	Pascale Saugier-Veber
1	Patrick Viry
1	Patrizia Asirelli
1	R. De Nicola
1	Rachel Shaner
1	Renzo Guerrini
1	René Schott
1	Roberto Bruni
1	S. Gnesi
1	Soma Das
1	Stefania Gnesi
1	Susan L. Schelley
1	Takayuki Fukuda
1	U. Montanari
1	Vincenzo Ambriola
1	Virginia K. Proud
1	William B. Dobyns
1	X. J. Chen
1	Yukiko Nanba

---

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 "Toscane" 

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

---

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