G. Degli Antoni

According to our database, G. Degli Antoni authored at least 5 papers between 1974 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

OR-Parallellism in Theorem Proving: Speedups versus Timeout.

F. Buffoli, G. Degli Antoni, A. Marchese

Bull. EATCS, 1995

Linearity of Client/Server Systems.

G. Degli Antoni, D. Cabianca, M. Vaccari, Marco Benini, F. Casablanca

Bull. EATCS, 1995

1992

Business Opportunities in Hypermedia Applications (Panel).

Attilio Stajano, Bruno Cerboni, G. Degli Antoni, Hans Mulder, Gérard Roucairol, Erich J. Neuhold, Eddy Odijk, Pier Carlo Ravasio, Jan Ritchie, Jack Schiff

Proceedings of the ECHT '92: European Conference on Hypertext Technology, November 30, 1992

1990

Strategic Issues in European Hypertext Research and Development (Panel).

Flavio Argentesi, Norbert A. Streitz, R. Hansen, G. Degli Antoni, A. Cicu

Proceedings of the Hypertext: Concepts, 1990

1974

Top-down approach to the synthesis of programs.

G. Degli Antoni, Pierangelo Miglioli, Mario Ornaghi

Proceedings of the Programming Symposium, 1974