Christian Clausen

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

Collaborative distances:

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

2014

A characterization of Moessner's sieve.

Christian Clausen, Olivier Danvy, Moe Masuko

Theor. Comput. Sci., 2014

2013

The framing of product ideas in the making: a case study of the development of an energy saving pump.

Liv Gish, Christian Clausen

Technol. Anal. Strateg. Manag., 2013

Reducing Lookups for Invariant Checking.

Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2005

Sociotechnical Spaces: Guiding Politics, Staging Design.

Christian Clausen, Yutaka Yoshinaka

Int. J. Technol. Hum. Interact., 2005

2004

Ethics and HTA: some lessons and challenges for the future.

Rob Reuzel, Wija Oortwijn, Michael Decker, Christian Clausen, Pedro Gallo de Puelles, John Grin, Armin Grunwald, Leo Hennen, Gert Jan van der Wilt, Yutaka Yoshinaka

Poiesis Prax., 2004

Social shaping of technology in TA and HTA.

Christian Clausen, Yutaka Yoshinaka

Poiesis Prax., 2004

1995

Games and Logics for a Noninterleaving Bisimulation.

Mogens Nielsen, Christian Clausen

Nord. J. Comput., 1995

1994

Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types.

Bettina Blaaberg, Christian Clausen

Theor. Comput. Sci., 1994

Bisimulation for Models in Concurrency.

Mogens Nielsen, Christian Clausen

Proceedings of the CONCUR '94, 1994

Bisimulation, Games, and Logic.

Mogens Nielsen, Christian Clausen

Proceedings of the Results and Trends in Theoretical Computer Science, 1994