@article{Lopez-del_Rey_Almansa-Paquelet-Fernandez/05,
AUTHOR = {L{\'o}pez, Luis and del Rey Almansa, Gemma and Paquelet, St{\'e}phane and Fern{\'a}ndez, Antonio},
TITLE = {A mathematical model for the TCP tragedy of the commons},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {4-26},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GDBRPB-2/2/37aedb74d5fff8cb97abd88e447c282e},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Ambuhl-Clementi-Penna-Rossi-Silvestri/05,
AUTHOR = {Amb{\"u}hl, Christoph and Clementi, Andrea E.F. and Penna, Paolo and Rossi, Gianluca and Silvestri, Riccardo},
TITLE = {On the approximability of the range assignment problem on radio networks in presence of selfish agents},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {27-41},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GD4PS2-3/2/9f83b5ff13b2f72f69bb3f6e80dd987d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Aichholzer-Bremner-Demaine-Hurtado-Kranakis-Krasser-Ramaswami-Sethia-Urrutia/05,
AUTHOR = {Aichholzer, Oswin and Bremner, David and Demaine, Erik D. and Hurtado, Ferran and Kranakis, Evangelos and Krasser, Hannes and Ramaswami, Suneeta and Sethia, Saurabh and Urrutia, Jorge},
TITLE = {Games on triangulations},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {42-71},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GDBRPB-1/2/1694112a5267477c0ca0dab801a0b2d3},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Hearn-Demaine/05,
AUTHOR = {Hearn, Robert A. and Demaine, Erik D.},
TITLE = {$P$SPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {72-96},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GDBRPB-3/2/9d280383647bf786648fb80e3e329c67},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Shoham-Tennenholtz/05,
AUTHOR = {Shoham, Yoav and Tennenholtz, Moshe},
TITLE = {Non-cooperative computation: Boolean functions with correctness and exclusivity},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {97-113},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GD4PS2-1/2/a3f746c03c279a5496bf6634c644ef4a},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Feigenbaum-Fortnow-Pennock-Sami/05,
AUTHOR = {Feigenbaum, Joan and Fortnow, Lance and Pennock, David M. and Sami, Rahul},
TITLE = {Computation in a distributed information market},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {114-132},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GDK5T3-2/2/6cb66b6ef13d3c51cef49a774ff7195b},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gairing-Lucking-Mavronicolas-Monien-Spirakis/05,
AUTHOR = {Gairing, M. and L{\"u}cking, T. and Mavronicolas, M. and Monien, B. and Spirakis, P.},
TITLE = {Structure and complexity of extreme nash equilibria},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {133-157},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
KEYWORDS = {selfish routing, extreme nash equilibria},
URL = {http://dx.doi.org/10.1016/j.tcs.2005.05.011},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Verbitsky/05,
AUTHOR = {Verbitsky, Oleg},
TITLE = {The first order definability of graphs with separators via the Ehrenfeucht game},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {158-176},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GD4PS2-2/2/7cf8e83ef970f1eb9ee3e880f2345c41},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Laurent/05,
AUTHOR = {Laurent, Olivier},
TITLE = {Syntax vs. semantics: A polarized approach},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {177-206},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GFCMV1-1/2/8c601e334c459550192061166411925c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Murawski/05a,
AUTHOR = {Murawski, Andrzej S.},
TITLE = {Games for complexity of second-order call-by-name programs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {207-236},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GDK5T3-3/2/b18a821eab2e3112de02a761491bb092},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Mellies/05,
AUTHOR = {Melli{\`e}s, Paul-Andr{\'e}},
TITLE = {Sequential algorithms and strongly stable functions},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {1-2},
PAGES = {237-281},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GFN3YF-1/2/38fcddc39af88e49981f55a98fc125af},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Bergstra-Bethke/05a,
AUTHOR = {Bergstra, J.A. and Bethke, I.},
TITLE = {Polarized process algebra with reactive composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {285-304},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GP272X-1/2/ea3aab778b59658d999c322504f60b5d},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Diaconescu/05,
AUTHOR = {Diaconescu, R{\u{a}}zvan},
TITLE = {Behavioural specification for hierarchical object composition},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {305-331},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GP6WF1-4/2/ca4212384d4ca3ac78bfe9bdf18cebf8},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Groote-Willemse/05,
AUTHOR = {Groote, Jan Friso and Willemse, Tim A.C.},
TITLE = {Parameterised Boolean equation systems},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {332-369},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GP6WF1-1/2/caaefb3059cd2f786e7c77ff56c9b7b2},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Gurevich-Rossman-Schulte/05,
AUTHOR = {Gurevich, Yuri and Rossman, Benjamin and Schulte, Wolfram},
TITLE = {Semantic essence of AsmL},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {370-412},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GPVXGG-2/2/f55df33f219e92a5060372d520824ffb},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Pierik-de_Boer/05,
AUTHOR = {Pierik, Cees and de Boer, Frank S.},
TITLE = {A proof outline logic for object-oriented programming},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {413-442},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GP6WF1-3/2/1740549b874ff2a7ee04a79cc5df9af4},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Rutten/05,
AUTHOR = {Rutten, J.J.M.M.},
TITLE = {A tutorial on coinductive stream calculus and signal flow graphs},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {443-481},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GP6WF1-5/2/55fb905de1334891307fc3826bb66b5c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Stark/05,
AUTHOR = {St{\"a}rk, Robert F.},
TITLE = {Formal specification and verification of the $C\sharp$ thread model},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {482-508},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GV9B60-1/2/63b8a3bf2c7fdfdd0b1bfba9ef122e4c},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}
@article{Wehrheim/05,
AUTHOR = {Wehrheim, Heike},
TITLE = {Slicing techniques for verification re-use},
JOURNAL = {Theor.~Comput.~Sci.},
VOLUME = {343},
NUMBER = {3},
PAGES = {509-528},
YEAR = {2005},
EDITOR = {Ausiello, G. and Sannella, D.},
URL = {http://www.sciencedirect.com/science/article/B6V1G-4GP6WF1-6/2/04815d551276fd353a668bf2b24e4218},
PUBLISHER = {Elsevier B.V.},
ADDRESS = {Amsterdam-Boston-Jena-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis},
}