MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The tile model." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

197 documents found, showing 1 through 10. Next 10 →

ATOM

The Tile Model
by Fabio Gadducci, U. Montanari, Fabio Gadducci, Ugo Montanari — 1996 — Proof, Language and Interaction: Essays in Honour of Robin Milner
…Universit` a di Pisa Dipartimento di Informatica Technical Report : TR-96-27 The Tile Model F…
Cited by 58 (23 self) – Add To MetaCart

The Tile Model - Errata to draft available on the net
by Fabio Gadducci, Ugo Montanari
…Errata to The Tile Model draft available on the net Fabio Gadducci and Ugo Montanari 1 Universit…
Add To MetaCart

First Order and Higher Order Tile Models for Open and Mobile Systems
by Roberto Bruni, Ugo Montanari — 2000 — In Proceedings of TOSCA'00, Workshop Annuale del Progetto TOSCA, 2000. Virtual Proceedings
…First order and higher order tile models for open and mobile systems Roberto Bruni and Ugo…
Cited by 1 (0 self) – Add To MetaCart

Profitable loop fusion and tiling using model-driven empirical search
by Apan Qasem, Ken Kennedy — 2006 — In ICS
…Profitable Loop Fusion and Tiling Using Modeldriven Empirical Search ∗ ABSTRACT Apan Qasem…
Cited by 4 (0 self) – Add To MetaCart

Combinatorial problems of (quasi-)crystallography
by Michael Baake, Uwe Grimm — 2003 — in: Quasicrystals: Structure and Physical Properties
…-periodic solids has motivated the construction of numerous examples of aperiodic tiling models, and led…
Cited by 4 (1 self) – Add To MetaCart

Assembly Models for Papovaviridae based on Tiling Theory
by T. Keef, A. Taormina, R. Twarock, York Yo Dd — 2005
…arXiv:q-bio/0508031v1 [q-bio.BM] 22 Aug 2005 Assembly Models for Papovaviridae based on Tiling…
Cited by 1 (1 self) – Add To MetaCart

Deceptions in Quasicrystal Growth
by Steven Dworkin, Jiunn-I Shieh — 1995 — Commun. Math. Phys
…@(email omitted); Abstract. We discuss a new general phenomenon pertaining to tiling models of quasicrystal growth…
Cited by 4 (0 self) – Add To MetaCart

Tiles, Rewriting Rules and CCS
by Fabio Gadducci, Ugo Montanari
…, 56125 Pisa, Italy (fgadducci,ugog@(email omitted);) Abstract In [12] we introduced the tile model, a…
Cited by 13 (7 self) – Add To MetaCart

Tile Logic for Synchronized Rewriting of Concurrent Systems
by Roberto Bruni, Prof Ugo Montanari — 1999
… and side effects. This dissertation concerns both theoretical and implementation issues of tile models…
Cited by 33 (17 self) – Add To MetaCart

On graph(ic) encodings
by Roberto Bruni, Ivan Lanese — 2005 — Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, number 04241 in Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum (IBFI), Schloss Dagstuhl
… includes the use of solo diagrams, term graphs, synchronized hyperedge replacement systems, bigraphs, tile…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB