BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × The Netherlands
Collaborated with:
G.Avni O.Kupferman J.Naor H.Shachnai
Talks about:
game (2) reachabl (1) schedul (1) regular (1) network (1) tempor (1) specif (1) object (1) format (1) budget (1)

Person: Tami Tamir

DBLP DBLP: Tamir:Tami

Contributed to:

FoSSaCS 20142014
IJCAR 20142014
ICALP 20032003

Wrote 3 papers:

FoSSaCS-2014-AvniKT #game studies
Network-Formation Games with Regular Objectives (GA, OK, TT), pp. 119–133.
IJCAR-2014-AvniKT #game studies #reachability #specification
From Reachability to Temporal Specifications in Cost-Sharing Games (GA, OK, TT), pp. 1–15.
ICALP-2003-NaorST #realtime #scheduling
Real-Time Scheduling with a Budget (JN, HS, TT), pp. 1123–1137.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.