Christian Clausen

Orcid: 0000-0002-6844-3866

According to our database1, Christian Clausen authored at least 10 papers between 1994 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
A characterization of Moessner's sieve.
Theor. Comput. Sci., 2014

2013
The framing of product ideas in the making: a case study of the development of an energy saving pump.
Technol. Anal. Strateg. Manag., 2013

Reducing Lookups for Invariant Checking.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2005
Sociotechnical Spaces: Guiding Politics, Staging Design.
Int. J. Technol. Hum. Interact., 2005

2004
Ethics and HTA: some lessons and challenges for the future.
Poiesis Prax., 2004

Social shaping of technology in TA and HTA.
Poiesis Prax., 2004

1995
Games and Logics for a Noninterleaving Bisimulation.
Nord. J. Comput., 1995

1994
Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types.
Theor. Comput. Sci., 1994

Bisimulation for Models in Concurrency.
Proceedings of the CONCUR '94, 1994

Bisimulation, Games, and Logic.
Proceedings of the Results and Trends in Theoretical Computer Science, 1994


  Loading...