Hans Tonino

According to our database, Hans Tonino authored at least 7 papers between 1992 and 2009.

Collaborative distances:

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

2009

The 3TU embedded systems master in the Netherlands.

Gerard J. M. Smit, Gerrit F. van der Hoeven, Jan Friso Groote, Ralph H. J. M. Otten, Hans Tonino, Ben H. H. Juurlink, Boudewijn R. H. M. Haverkort

Proceedings of the 2009 Workshop on Embedded Systems Education, 2009

2003

A Resource Logic for Multi-Agent Plan Merging.

Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen

Ann. Math. Artif. Intell., 2003

2002

Plan coordination by revision in collective agent based systems.

Hans Tonino, André Bos, Mathijs de Weerdt, Cees Witteveen

Artif. Intell., 2002

2000

Cooperation by Iterated Plan Revision.

Bart Jan Moree, André Bos, Hans Tonino, Cees Witteveen

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

A Plan Fusion Algorithm for Multi-Agent Systems.

Mathijs de Weerdt, André Bos, Hans Tonino, Cees Witteveen

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1998

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines.

Hans Tonino

Proceedings of the Fifth International Workshop on Abstract State Machines, 1998

1992

On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System.

Hans Tonino, Ken-etsu Fujita

Ann. Pure Appl. Log., 1992