On the Adequacy of Representing Higher Order Intuitionistic Logic as a Pure Type System. - Hans Tonino; Ken-etsu Fujita (Ann. Pure Appl. Log., 1992)

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines. - Hans Tonino (Workshop on Abstract State Machines, 1998)

A Plan Fusion Algorithm for Multi-Agent Systems. - Mathijs de Weerdt; André Bos; Hans Tonino; Cees Witteveen (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Cooperation by Iterated Plan Revision. - Bart Jan Moree; André Bos; Hans Tonino; Cees Witteveen (ICMAS, 2000)

Plan coordination by revision in collective agent based systems. - Hans Tonino; André Bos; Mathijs de Weerdt; Cees Witteveen (Artif. Intell., 2002)

A Resource Logic for Multi-Agent Plan Merging. - Mathijs de Weerdt; André Bos; Hans Tonino; Cees Witteveen (Ann. Math. Artif. Intell., 2003)

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 (WESE@ESWEEK, 2009)