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