Terkel K. Tolstrup

According to our database, Terkel K. Tolstrup authored at least 4 papers between 2004 and 2008.

Collaborative distances:

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

2008

Goal-Oriented Composition of Services.

Sebastian Nanz, Terkel K. Tolstrup

Proceedings of the Software Composition - 7th International Symposium, 2008

2006

Locality-Based Security Policies.

Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen

Proceedings of the Formal Aspects in Security and Trust, Fourth International Workshop, 2006

2005

Information Flow Analysis for VHDL.

Terkel K. Tolstrup, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Parallel Computing Technologies, 2005

2004

Generating web-based systems from specifications.

Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004