ASTESIANO, EGIDIO

Nome completo

ASTESIANO, EGIDIO

Afferenza

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi

Mostra records

Risultati 1 - 10 di 10 (tempo di esecuzione: 0.008 secondi).

2014-01-01 Ricca, Filippo; Giuseppe, Scanniello; Marco, Torchiano; Reggio, Gianna; Astesiano, Egidio

1995-01-01 Astesiano, Egidio; Zucca, Elena

2000-01-01 Astesiano, Egidio; Reggio, Gianna

1995-01-01 Astesiano, Egidio; Cerioli, Maura

2001-01-01 Astesiano, Egidio; Reggio, Gianna

1996-01-01 Astesiano, Egidio; Cerioli, Maura

1992-01-01 Astesiano, Egidio; A., Giovini; Reggio, Gianna

1984-01-01 Astesiano, Egidio; Zucca, Elena

1992-01-01 Astesiano, Egidio; Cerioli, Maura

1999-01-01 Astesiano, Egidio; Reggio, Gianna; Zucca, Elena

Titolo	Data di pubblicazione	Autore(i)
Assessing the Effect of Screen Mockups on the Comprehension of Functional Requirements	1-gen-2014	Ricca, Filippo; Giuseppe, Scanniello; Marco, Torchiano; Reggio, Gianna; Astesiano, Egidio
D-oids: a model for dynamic data-types	1-gen-1995	Astesiano, Egidio; Zucca, Elena
Formalism and Method	1-gen-2000	Astesiano, Egidio; Reggio, Gianna
Free Objects and Equational Deduction for Partial Conditional Specifications	1-gen-1995	Astesiano, Egidio; Cerioli, Maura
Labelled Transition Logic:an outline	1-gen-2001	Astesiano, Egidio; Reggio, Gianna
Non-strict Don't Care Algebras and Specifications	1-gen-1996	Astesiano, Egidio; Cerioli, Maura
Observational Structures and Their Logics	1-gen-1992	Astesiano, Egidio; A., Giovini; Reggio, Gianna
Parametric Channels Via Label Expressions in CCS	1-gen-1984	Astesiano, Egidio; Zucca, Elena
Partial Higher-Order Specifications	1-gen-1992	Astesiano, Egidio; Cerioli, Maura
Stores as Homomorphisms and Their Transformations	1-gen-1999	Astesiano, Egidio; Reggio, Gianna; Zucca, Elena