◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

S. Tini

16 papers hereh-index 17868 citations104 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • middle author1
  • last author15

Across the 16 of 16 papers where every author was matched, so the position is known.

fields
  • cs.LO14
  • cs.PL1
  • eess.SY1

identity via Semantic Scholar / OpenAlex

activity
20102024
most citedLogical Characterization of Bisimulation Metrics

23 citations · 100 across the 15 of their papers we have counts for

collaborators
Showing 2010Show all

1 paper · 1 filter

cs.LO2010★ 2 cited

Aspects of multiscale modelling in a process algebra for biological systems

Roberto Barbuti, Giulio Caravagna, Paolo Milazzo +2

We propose a variant of the CCS process algebra with new features aiming at allowing multiscale modelling of biological systems. In the usual semantics of process algebras for mode…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.