MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Simone Tini" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 20 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Two semantics for Timed Default Concurrent Constraint Programming  
  • by Simone Tini And, Simone Tini, Andrea Maggiolo-schettini — 1998 — In Proc. of Constraint Programming for Time Critical Application, COTIC '98, Electronic Notes in Theoretical Computer Science
  • …://www.elsevier.nl/locate/entcs/volume16.html 18 pages Two semantics for Timed Default Concurrent Constraint Programming 1 Simone Tini…
  • Add To MetaCart
  • Timed Information Flow Logic for Timed Automata  
  • by Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini
  • … , and Simone Tini 2 1 Dipartimento di Informatica, Universita di Pisa, Pisa, Italy 2 Dipartimento di…
  • Add To MetaCart
  • Concurrency in Timed Automata  
  • by Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini — Theoretical Computer Science
  • …Concurrency in Timed Automata ? Ruggero Lanotte, Andrea Maggiolo-Schettini, and Simone Tini…
  • Cited by 1 (0 self) – Add To MetaCart
  • Privacy in Real-Time Systems  
  • by Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini — 2001
  • …;3 Dipartimento di Informatica, Universita di Pisa, Corso Italia 40, 56125 Pisa, Italy Simone Tini 1…
  • Cited by 2 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB