Andreas V. Hense

According to our database1, Andreas V. Hense authored at least 13 papers between 1991 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2015
Comparison of the subject-oriented and the Petri net based approach for business process automation.
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

CSPm models for the ATM case study.
Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

2012
Atarrabi - A Workflow System for the Publication of Environmental Data.
Data Sci. J., 2012

2011
Acquiring High Quality Research Data.
D Lib Mag., 2011

2009
Towards a Mobile Workbench for Researchers.
Proceedings of the Fifth International Conference on e-Science, 2009

2008
A Wiki for Collaboration and Publication in Research.
Proceedings of the Fourth International Conference on e-Science, 2008

2007
Polymorphic type inference for object-oriented programming languages.
PhD thesis, 2007

Submission of content to a digital object repository using a configurable workflow system
CoRR, 2007

1994
A Record Calculus with Principal Types.
Proceedings of the Constraints in Computational Logics, First International Conference, 1994

Polymorphic type inference for object-oriented programming languages.
Pirrot, ISBN: 978-3-930714-00-1, 1994

1993
Denotational Semantics of an Object-Oriented Programming Language with Explicit Wrappers.
Formal Aspects Comput., 1993

1992
A Verification of Extensible Record Types.
Proceedings of the Automated Reasoning, 1992

1991
Wrapper Semantics of an Object-Oriented Programming Language with State.
Proceedings of the Theoretical Aspects of Computer Software, 1991


  Loading...