researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: ACM Computing Surveys
Home
Index
Info
Issue
Volume
31
, Issue
3es
2
--
0
Hartmut Noltemeier
,
Hans-Christoph Wirth
,
Sven Oliver Krumke
.
Network Design and Improvement
3
--
0
Giuseppe Cattaneo
,
Giuseppe F. Italiano
.
Algorithm Engineering
4
--
0
Susanne Albers
,
Stefano Leonardi
.
On-line Algorithms
5
--
0
Chris Hankin
,
Pasquale Malacaria
.
Program Analysis Games
6
--
0
Patrick Cousot
.
Directions for Research in Approximate System Analysis
7
--
0
Marco Bernardo
.
Let s Evaluate Performance Algebraically
8
--
0
Juraj Hromkovic
.
Some Constributions of the Study of Abstract Communication Complexity to Other Areas of Computer Science
9
--
0
Hartmut Ehrig
,
Gabriele Taentzer
.
Graphical Represenation and Graph Transformation
10
--
0
Donald Sannella
,
Andrzej Tarlecki
.
Algebraic Methods for Specification and Formal Development of Programs
11
--
0
Dale Miller
,
Catuscia Palamidessi
.
Foundational Aspects of Syntax
12
--
0
Dora Giammarresi
,
Antonio Restivo
.
Extending Formal Language Hierarchies to Higher Dimensions
13
--
0
Corrado Priami
.
Operational Methods in Theoretical Computer Science
14
--
0
Kohei Honda
.
Semantics Study and Reality of Computing
15
--
0
Rusins Freivalds
.
How to Simulate Free Will in a Computational Device
16
--
0
JirĂ Wiedermann
.
Simulating the Mind: A Gaunlet Thrown to Computer Science