BibSonomy :: author  :: Magnussen ::

bookmarks

publications

(10)

• Transformational derivation of a bytecode verifier.
  Walter Dosch and Sönke Magnussen Computers and Their Applications 443-447 (2000)
  to dblp by dblp on 2007-05-02 00:00:00
  | URL | BibTeX  
• An algorithm for generating positively correlated Beta-distributed random variables with known marginal distributions and a specified correlation.
  Steen Magnussen Computational Statistics & Data Analysis 46 397-406 (2004)
  to dblp by dblp and 1 other person on 2007-04-18 00:00:00
  | URL | BibTeX  
• Learning Games as a Platform for Simulated Science Practice.
  Rikke Magnussen DIGRA Conf. (2005)
  to dblp by dblp on 2005-11-29 00:00:00
  | URL | BibTeX  
• Participatory design and opposing interests in development of educational computer games.
  Rikke Magnussen and Morten Misfeldt and Tasha Buch DIGRA Conf. (2003)
  to dblp by dblp and 1 other person on 2005-11-28 00:00:00
  | URL | BibTeX  
• Über den Zusammenhang zwischen der bronchialen Reaktion gegenüber Methacholin, klinischen Parametern und anamnestisch erhobenen Symptomen.
  J. Berger and S. Boczor and D. Nowak and R. Jörres and H. Magnussen GMDS 563-568 (1994)
  to dblp by dblp on 2004-07-13 00:00:00
  | URL | BibTeX  
• Computer-Aided Refinement of Data Structures on Higher-Order Algebraic Specifications.
  Walter Dosch and Sönke Magnussen SERA 7-33 (2003)
  to dblp by dblp on 2004-05-12 00:00:00
  | URL | BibTeX  
• A parallel control computer structure for complex high speed applications.
  B. Magnussen ICECCS 385- (1995)
  to dblp by dblp on 2004-04-29 00:00:00
  | URL | BibTeX  
• Computer Aided Fusion for Algebraic Program Derivation.
  Walter Dosch and Sönke Magnussen Nord. J. Comput. 8 279-297 (2001)
  to dblp by dblp on 2004-01-14 00:00:00
  | URL | BibTeX  
• Implementation of QoS-Provisioning System for Voice over IP.
  Shengquan Wang and Zhibin Mai and Walt Magnussen and Dong Xuan and Wei Zhao IEEE Real Time Technology and Applications Symposium 266-275 (2002)
  to dblp by dblp on 2003-05-19 00:00:00
  | URL | BibTeX  
• The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.
  Walter Dosch and Sönke Magnussen WADT 85-108 (2001)
  to dblp by dblp on 2002-01-30 00:00:00
  | URL | BibTeX