


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














