Searching for authors named "Sergio Maffeis" – sorted by Relevance.
20 documents found, showing 1 through 10.
Next 10 →
-
1984: Visionary Computing
- …1984: Visionary Computing Sergio Maeis Dipartimento di Informatica, Universita di Pisa Corso…
- Add To MetaCart
-
Sequence Types for the π-calculus
- …Abstract ITRS 2004 Preliminary Version Sequence Types for the π-calculus Sergio Maffeis 1…
- Cited by 2 (1 self) – Add To MetaCart
-
Dynamic Web Data: A Process Algebraic Approach
- …Dynamic Web Data: a Process Algebraic Approach Sergio Maffeis Department of Computing, Imperial…
- Cited by 4 (1 self) – Add To MetaCart
-
Information Visualization and Usage A Perspective
- …DRAFT Information Visualization and Usage A Perspective Matteo Coccia, Sergio Maeis fmcoccia…
- Add To MetaCart
-
On the Expressive Power of Polyadic Synchronisation in π-Calculus
- …, 8000 Aarhus C, Denmark carbonem@(email omitted); Sergio Maeis z Imperial College University of London…
- Cited by 13 (0 self) – Add To MetaCart
-
Modelling Dynamic Web Data
- …Modelling Dynamic Web Data Philippa Gardner Sergio Maffeis ∗ Department of Computing Imperial…
- Cited by 15 (3 self) – Add To MetaCart
-
On the Computational Strength of Pure Ambient Calculi
- …Abstract On the Computational Strength of Pure Ambient Calculi 1 Sergio Maffeis and Iain Phillips…
- Cited by 11 (4 self) – Add To MetaCart
-
Behavioural Equivalences for Dynamic Web Data
- …Behavioural Equivalences for Dynamic Web Data (Working Draft) Sergio Maffeis Philippa Gardner…
- Cited by 4 (2 self) – Add To MetaCart
-
unknown title
- … strength ofpure ambient calculi � Sergio Maffeis, Iain Phillips ∗ Department of Computing, Imperial College…
- Add To MetaCart
-
Process Algebra-Guided Design of Java Mobile Network Applications.
- …, Matteo Coccia, Gianluigi Ferrari, Sergio Maeis Dipartimento di Informatica Universita di Pisa, Italy 1…
- Cited by 5 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
