Josva Kleist

Research output

Research output per year 1994 1996 1998 2000 2007 2008 2010 2014

• 18 Article in proceeding
• 9 Report
• 9 Conference article in Journal
• 6 Journal article
• 3 More
  • 2 Poster
  • 1 PhD thesis

Research output per year

Research output per year

Search results

• 2006

  Computer Science - Research Evaluation: 2001 - 2005

  Kleist, J. (ed.), 2006, Aalborg: Aalborg Universitet. 113 p.

  Research output: Book/Report › Report › Communication
• 2005

  Mid-term self evaluation report for SNF project no. 21-03-0243: "Danish Center for Grid Computing"

  Jul, E., Kleist, J., Vinter, B., Hansen, J. S., Sharp, R. & Elgaard Larsen, N., 2005, 19 p.

  Research output: Book/Report › Report › Research
• 2000

  Laboratory Description: The Mindpass-CDS Laboratory

  Behrmann, G., Clausen, T. H. & Kleist, J., 2000

  Research output: Book/Report › Report › Research

• Project Description: Mindpass Center for Distributed Systems

  Mathiassen, L., Pedersen, J., Kleist, J., Thomsen, T. R., Behrmann, G. & Clausen, T. H., 2000

  Research output: Book/Report › Report › Research
• 1998

  Migration = cloning; aliasing

  Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1998, RS-98-34 ed. Århus: BRICS - Basic Research in Computer Science.

  Research output: Book/Report › Report › Research
• 1996

  Bisimulations for Asynchronous Mobile Processes

  Hansen, M., Hüttel, H. & Kleist, J., 1996, RS-96-8 ed. Århus: BRICS - Basic Research in Computer Science.

  Research output: Book/Report › Report › Research

• Objects, Types and Modal Logics

  Andersen, D. S., Hüttel, H., Kleist, J. & Pedersen, L. H., 1996, RS-96-49 ed. Århus: BRICS - Basic Research in Computer Science.

  Research output: Book/Report › Report › Research

• Objects as Mobile Processes

  Hüttel, H. & Kleist, J., 1996, RS-96-38 ed. Århus: BRICS - Basic Research in Computer Science.

  Research output: Book/Report › Report › Research
• 1994

  Process Calculi with Asynchronous Communication: Master's Thesis

  Hansen, M. & Kleist, J., 1994, R-94-2028 ed. Aalborg: Department of Computer Science, Aalborg University.

  Research output: Book/Report › Report › Research