Jens Ulrik Hansen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2011

4 Jens Ulrik Hansen: A Hybrid Public Announcement Logic with Distributed Knowledge. Electr. Notes Theor. Comput. Sci. 273: 33-50 (2011)

2010

3 Sine Zambach, Jens Ulrik Hansen: Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways. ITBAM 2010: 186-200

2 Jens Ulrik Hansen: Terminating Tableaux for Dynamic Epistemic Logics. Electr. Notes Theor. Comput. Sci. 262: 141-156 (2010)

2007

1 Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)

	2011
4		Jens Ulrik Hansen: A Hybrid Public Announcement Logic with Distributed Knowledge. Electr. Notes Theor. Comput. Sci. 273: 33-50 (2011)
	2010
3		Sine Zambach, Jens Ulrik Hansen: Logical Knowledge Representation of Regulatory Relations in Biomedical Pathways. ITBAM 2010: 186-200
2		Jens Ulrik Hansen: Terminating Tableaux for Dynamic Epistemic Logics. Electr. Notes Theor. Comput. Sci. 262: 141-156 (2010)
	2007
1		Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)

Coauthor Index

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Thomas Bolander	[1]
2	Michael R. Hansen (Michael Rygaard Hansen)	[1]
3	Sine Zambach	[3]