Christian Clausen

Publication Activity (10 Years)

Years Active: 1994-2014
Publications (10 Years): 0

Top Topics

Axiomatic Characterization

Quasi Invariant

Top Venues

Technol. Anal. Strateg. Manag.

Theor. Comput. Sci.

Publications

Christian Clausen, Olivier Danvy, Moe Masuko
A characterization of Moessner's sieve. Theor. Comput. Sci. 546 (2014)
Liv Gish, Christian Clausen
The framing of product ideas in the making: a case study of the development of an energy saving pump. Technol. Anal. Strateg. Manag. 25 (9) (2013)
Jakob G. Thomsen, Christian Clausen, Kristoffer Just Andersen, John Danaher, Erik Ernst
Reducing Lookups for Invariant Checking. ECOOP (2013)
Christian Clausen, Yutaka Yoshinaka
Sociotechnical Spaces: Guiding Politics, Staging Design. Int. J. Technol. Hum. Interact. 1 (3) (2005)
Christian Clausen, Yutaka Yoshinaka
Social shaping of technology in TA and HTA. Poiesis Prax. 2 (2-3) (2004)
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
Ethics and HTA: some lessons and challenges for the future. Poiesis Prax. 2 (2-3) (2004)
Mogens Nielsen, Christian Clausen
Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput. 2 (2) (1995)
Mogens Nielsen, Christian Clausen
Bisimulation, Games, and Logic. Results and Trends in Theoretical Computer Science (1994)
Bettina Blaaberg, Christian Clausen
Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. Theor. Comput. Sci. 136 (1) (1994)
Mogens Nielsen, Christian Clausen
Bisimulation for Models in Concurrency. CONCUR (1994)