Hans Tonino
Affiliations:- Delft University of Technology, Netherlands
According to our database1,
Hans Tonino
authored at least 7 papers
between 1992 and 2009.
Collaborative distances:
Collaborative distances:
Timeline
1992
1994
1996
1998
2000
2002
2004
2006
2008
0
1
2
3
1
1
1
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2009
Proceedings of the 2009 Workshop on Embedded Systems Education, 2009
2003
2002
Artif. Intell., 2002
2000
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000
A Plan Fusion Algorithm for Multi-Agent Systems.
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.
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.
Ann. Pure Appl. Log., 1992