-
1
-
-
0001650255
-
Slide - the key to polynomial end-to-end communication
-
Afek, Y., Awerbuch, B., Gafni, E., Mansour, Y., Rosén, A., Shavit, N.: Slide - the key to polynomial end-to-end communication. Journal of Algorithms 22(1), 158-186 (1997)
-
(1997)
Journal of Algorithms
, vol.22
, Issue.1
, pp. 158-186
-
-
Afek, Y.1
Awerbuch, B.2
Gafni, E.3
Mansour, Y.4
Rosén, A.5
Shavit, N.6
-
2
-
-
0037739885
-
Dynamic routing on networks with fixed-size buffers
-
Aiello, W., Ostrovsky, R., Kushilevitz, E., Rosén, A.: Dynamic routing on networks with fixed-size buffers. In: Proceedings of SODA, pp. 771-780 (2003)
-
(2003)
Proceedings of SODA
, pp. 771-780
-
-
Aiello, W.1
Ostrovsky, R.2
Kushilevitz, E.3
Rosén, A.4
-
3
-
-
25144514330
-
Anycasting in adversarial systems: Routing and admission control
-
In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.), Springer, Heidelberg
-
Awerbuch, B., Brinkmann, A., Scheideler, C.: Anycasting in adversarial systems: Routing and admission control. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol. 2719, pp. 1153-1168. Springer, Heidelberg (2003)
-
(2003)
ICALP 2003. LNCS
, vol.2719
, pp. 1153-1168
-
-
Awerbuch, B.1
Brinkmann, A.2
Scheideler, C.3
-
4
-
-
0024772321
-
Polynomial end-to-end communication (extended abstract)
-
IEEE, Los Alamitos
-
Awerbuch, B., Mansour, Y., Shavit, N.: Polynomial end-to-end communication (extended abstract). In: Proceedings of FOCS, pp. 358-363. IEEE, Los Alamitos (1989)
-
(1989)
Proceedings of FOCS
, pp. 358-363
-
-
Awerbuch, B.1
Mansour, Y.2
Shavit, N.3
-
5
-
-
33745792839
-
An essay on sabotage and obstruction
-
In: Hutter, D., Stephan, W. (eds.), Springer, Heidelberg
-
van Benthem, J.: An essay on sabotage and obstruction. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol. 2605, pp. 268-276. Springer, Heidelberg (2005)
-
(2005)
Mechanizing Mathematical Reasoning. LNCS (LNAI)
, vol.2605
, pp. 268-276
-
-
van Benthem, J.1
-
6
-
-
0003962322
-
-
MIT Press, Cambridge
-
Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
-
(1999)
Model Checking
-
-
Clarke, E.M.1
Grumberg, O.2
Peled, D.A.3
-
7
-
-
57349102271
-
A game approach for multi-channel allocation in multi-hop wireless networks
-
ACM, New York
-
Gao, L., Wang, X.: A game approach for multi-channel allocation in multi-hop wireless networks. In: Proceedings of MobiHoc, pp. 303-312. ACM, New York (2008)
-
(2008)
Proceedings of MobiHoc
, pp. 303-312
-
-
Gao, L.1
Wang, X.2
-
8
-
-
78650699651
-
Learning and teaching as a game: A sabotage approach
-
He, X., Horty, J., Pacuit, E. (eds.), Springer, Heidelberg
-
Gierasimczuk, N., Kurzen, L., Velázquez-Quesada, F.R.: Learning and teaching as a game: A sabotage approach. In: He, X., Horty, J., Pacuit, E. (eds.) LORI 2009. LNCS, vol. 5834, pp. 119-132. Springer, Heidelberg (2009)
-
(2009)
LORI 2009. LNCS
, vol.5834
, pp. 119-132
-
-
Gierasimczuk, N.1
Kurzen, L.2
Velázquez-Quesada, F.R.3
-
9
-
-
17444364383
-
Automata, Logics, and Infinite Games
-
Springer, Heidelberg
-
Grädel, E., Thomas, W., Wilke, T.: Automata, Logics, and Infinite Games. LNCS, vol. 2500. Springer, Heidelberg (2002)
-
(2002)
LNCS
, vol.2500
-
-
Grädel, E.1
Thomas, W.2
Wilke, T.3
-
10
-
-
56749156005
-
Optimal strategy synthesis in request-response games
-
Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008, Springer, Heidelberg
-
Horn, F., Thomas, W., Wallmeier, N.: Optimal strategy synthesis in request-response games. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 361-373. Springer, Heidelberg (2008)
-
(2008)
LNCS
, vol.5311
, pp. 361-373
-
-
Horn, F.1
Thomas, W.2
Wallmeier, N.3
-
11
-
-
77949431514
-
The complexity of reachability in randomized sabotage games
-
Arbab, F., Sirjani, M. (eds, LNCS, Springer, Heidelberg
-
Klein, D., Radmacher, F.G., Thomas, W.: The complexity of reachability in randomized sabotage games. In: Arbab, F., Sirjani, M. (eds.) Fundamentals of Software Engineering. LNCS, vol. 5961, pp. 162-177. Springer, Heidelberg (2010)
-
(2010)
Fundamentals of Software Engineering
, vol.5961
, pp. 162-177
-
-
Klein, D.1
Radmacher, F.G.2
Thomas, W.3
-
12
-
-
35248836931
-
Model checking and satisfiability for sabotage modal logic
-
In: Pandya, P.K., Radhakrishnan, J. (eds.), LNCS, Springer, Heidelberg
-
Löding, C., Rohde, P.: Model checking and satisfiability for sabotage modal logic. In: Pandya, P.K., Radhakrishnan, J. (eds.) FSTTCS 2003. LNCS, vol. 2914, pp. 302-313. Springer, Heidelberg (2003)
-
(2003)
FSTTCS 2003
, vol.2914
, pp. 302-313
-
-
Löding, C.1
Rohde, P.2
-
13
-
-
33745794746
-
Solving the sabotage game is PSPACE-hard
-
In: Rovan, B., Vojtáš, P. (eds.), LNCS, Springer, Heidelberg
-
Löding, C., Rohde, P.: Solving the sabotage game is PSPACE-hard. In: Rovan, B., Vojtáš, P. (eds.) MFCS 2003. LNCS, vol. 2747, pp. 531-540. Springer, Heidelberg (2003)
-
(2003)
MFCS 2003
, vol.2747
, pp. 531-540
-
-
Löding, C.1
Rohde, P.2
-
14
-
-
39649113333
-
A game theoretic approach to the analysis of dynamic networks
-
Elsevier, Amsterdam
-
Radmacher, F.G., Thomas, W.: A game theoretic approach to the analysis of dynamic networks. In: Proceedings of VerAS. Electronic Notes in Theoretical Computer Science, vol. 200(2), pp. 21-37. Elsevier, Amsterdam (2008)
-
(2008)
Proceedings of VerAS. Electronic Notes In Theoretical Computer Science
, vol.200
, Issue.2
, pp. 21-37
-
-
Radmacher, F.G.1
Thomas, W.2
-
15
-
-
26444480943
-
-
Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004, Springer, Heidelberg
-
Rohde, P.: Moving in a crumbling network: The balanced case. In: Marcinkowski, J., Tarlecki, A. (eds.) CSL 2004. LNCS, vol. 3210, pp. 310-324. Springer, Heidelberg (2004)
-
(2004)
Moving In a Crumbling Network: The Balanced Case
, vol.3210
, pp. 310-324
-
-
Rohde, P.1
-
17
-
-
61449238128
-
Distributed resource management in multihop cognitive radio networks for delay-sensitive transmission
-
Shiang, H.P., van der Schaar, M.: Distributed resource management in multihop cognitive radio networks for delay-sensitive transmission. IEEE Transactions on Vehicular Technology 58(2), 941-953 (2009)
-
(2009)
IEEE Transactions On Vehicular Technology
, vol.58
, Issue.2
, pp. 941-953
-
-
Shiang, H.P.1
van der Schaar, M.2
-
18
-
-
38149135474
-
On the synthesis of strategies in infinite games
-
In: Mayr, E.W., Puech, C. (eds.), Springer, Heidelberg
-
Thomas, W.: On the synthesis of strategies in infinite games. In: Mayr, E.W., Puech, C. (eds.) STACS 1995. LNCS, vol. 900, pp. 1-13. Springer, Heidelberg (1995)
-
(1995)
STACS 1995. LNCS
, vol.900
, pp. 1-13
-
-
Thomas, W.1
-
19
-
-
52549088584
-
A path-centric channel assignment framework for cognitive radio wireless networks
-
Xin, C., Ma, L., Shen, C.C.: A path-centric channel assignment framework for cognitive radio wireless networks. Mobile Networks and Applications 13(5), 463-476 (2008)
-
(2008)
Mobile Networks and Applications
, vol.13
, Issue.5
, pp. 463-476
-
-
Xin, C.1
Ma, L.2
Shen, C.C.3
|