


default search action
Computer Science Review, Volume 5
Volume 5, Number 1, February 2011
- Josep Díaz, Jaroslav Nesetril
:
Introduction. 1 - Wide Hogenhout:
Foundational research on networks of tiny artefacts. 2-3 - Ioannis Chatzigiannakis
, Paul G. Spirakis:
Introduction to the special issue on foundations of adaptive networked societies of tiny artefacts. 4-6 - Carme Àlvarez, Ioannis Chatzigiannakis
, Amalia Duch, Joaquim Gabarró, Othon Michail
, Maria J. Serna
, Paul G. Spirakis:
Computational models for networks of tiny artifacts: A survey. 7-25 - Luca Becchetti
, Ioannis Chatzigiannakis
, Yiannis Giannakopoulos:
Streaming techniques and data aggregation in networks of tiny artefacts. 27-46 - Carlo Blundo
, Angelo De Caro, Shlomi Dolev
, Niv Gilboa
, Marina Kopeetsky, Giuseppe Persiano, Paul G. Spirakis:
Innovative approaches for security of small artefacts. 47-55 - Bastian Degener, Sándor P. Fekete, Barbara Kempkes, Friedhelm Meyer auf der Heide:
A survey on relay placement with runtime and approximation guarantees. 57-68 - Shlomi Dolev
, Elad Michael Schiller, Paul G. Spirakis, Philippas Tsigas
:
Robust and scalable middleware for selfish-computer systems. 69-84 - Tobias Baumgartner, Ioannis Chatzigiannakis
, Sándor P. Fekete, Stefan Fischer, Christos Koninis, Alexander Kröller, Daniela Krüger, Georgios Mylonas
, Dennis Pfisterer:
Distributed algorithm engineering for networks of tiny artifacts. 85-102 - Ioannis Chatzigiannakis
, Georgios Mylonas
, Andrea Vitaletti
:
Urban pervasive applications: Challenges, scenarios and case studies. 103-118
Volume 5, Number 2, May 2011
- Ross M. McConnell, Kurt Mehlhorn, Stefan Näher, Pascal Schweitzer
:
Certifying algorithms. 119-161 - Kristin Y. Rozier:
Linear Temporal Logic Symbolic Model Checking. 163-203
- Dae-Won Kim:
Book review. 205-208
Volume 5, Number 3, August 2011
- Alexis C. Kaporis, Paul G. Spirakis:
Selfish splittable flows and NP-completeness. 209-228 - Armando Castañeda, Sergio Rajsbaum, Michel Raynal:
The renaming problem in shared memory systems: An introduction. 229-251 - Maria João Frade
, Jorge Sousa Pinto
:
Verification conditions for source-level imperative programs. 252-277
Volume 5, Number 4, November 2011
- Rodney G. Downey, Dimitrios M. Thilikos:
Confronting intractability via parameters. 279-317 - Dmitri Moltchanov
:
Service quality in P2P streaming systems. 319-340
- Josep Díaz:
Cris Moore, Stephen Mertens, , The Nature of Computation (2011) Oxford UP. 341-345

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.