Funder
European Research Council
Department of Science and Technology, Ministry of Science and Technology, India
Israel Science Foundation
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference70 articles.
1. Is your model checker on time? On the complexity of model checking for timed modal logics;Aceto;J. Log. Algebraic Program.,2002
2. On the impact of combinatorial structure on congestion games;Ackermann;J. ACM,2008
3. Traffic engineering in software defined networks;Agarwal,2013
4. Exact price of anarchy for polynomial congestion games;Aland;SIAM J. Comput.,2011
5. The element of surprise in timed games;Alfaro,2003