Josva Kleist

  1. 2011
  2. Published

    Building and operating a distributed regional centre for LHC computing and data storage. / Smirnova, Oxana; Behrmann, Gerd; Grønager, Michael; Johansson, Daniel; Kleist, Josva; Konstantinov, Aleksandr; Konya, Balazs; Jensen, Henrik Thostrup.

    Proceedings of the 2011 Seventh IEEE International Conference on eScience (eScience 2011). IEEE Press, 2011. p. 181-188.

    Publication: Research - peer-reviewArticle in proceeding

  3. 2010
  4. Published

    Analysis of internal network requirements for the distributed Nordic Tier-1. / Kleist, Josva; Behrmann, Gerd; Fischer, Lars; Gamst, Mette; Grønager, Michael.

    In: Journal of Physics - Conference Series, Vol. 219, No. 5, 2010.

    Publication: Research - peer-reviewConference article in Journal

  5. Published

    Grid Interoperation with ARC middleware for the CMS experiment. / Kleist, Josva; Edelmann, Erik; Field, Laurence; Frey, Jamie; Grønager, Michael; Happonen, Kalle; Johansson, Daniel; Klem, Jukka; Koivumäki, Jesper; Lindén, Tomas; Pirinen, Antti; Qing , Di.

    In: Journal of Physics - Conference Series, Vol. 219, No. 6, 2010.

    Publication: Research - peer-reviewConference article in Journal

  6. Published

    Performance of an ARC–enabled computing grid for ATLAS/LHC physics analysis and Monte Carlo production under realistic conditions. / Kleist, Josva; Samset, Bjørn; Cameron, David; Ellert, Mattias; Filipcic, Andrej; Grønager, Michael; Maffioletti, Sergio; Ould-Saada, Farid; Pajchel, Katharina; Read, Alex; Taga, Adrian.

    In: Journal of Physics - Conference Series, Vol. 219, No. 7, 2010.

    Publication: Research - peer-reviewConference article in Journal

  7. Published

    Recent ARC developments: Through modularity to interoperability. / Kleist, Josva; Smirnova, Oxana; Cameron, David; Dóbe, Peter; Ellert, Mattias; Frågåt, Thomas; Grønager, Michael; Johansson, Daniel; Jönemo, Jonas; Kocan, Marek; Konstantinov, Aleksandr; Konya, Balazs; Márton, Ivan; Möller, Steffen; Mohn, Bjarte; Nagy, Zsombor; Nielsen, Jon; Ould-Saada, Farid; Qiang, Wang; Read, Alex; Rosendahl, Peter; Roczei, Gabor; Savko, Martin; Skou Andersen, Martin; Stefán, Peter; Szalai, Ferenc; Taga, Adrian; Toor, Salman; Wäänänen, Anders.

    In: Journal of Physics - Conference Series, Vol. 219, No. 6, 2010.

    Publication: Research - peer-reviewConference article in Journal

  8. Published

    The next-generation ARC middleware. / Appleton, O.; Cameron, D.; Cernak, J.; Dóbé, P.; Ellert, M.; Frågåt, T.; Grønager, M.; Johansson, D.; Jönemo, J.; Kleist, Josva; Kocan, M.; Konstantinov, A.; Kónya, B.; Márton, I.; Mohn, B.; Möller, S.; Müller, H.; Nagy, Zs.; Nielsen, J.K.; Saada, F. Ould; Pajchel, Katarina; Qiang, W.; Read, A.; Rosendahl, P.; Roczei, G.; Savko, M.; Andersen, M. Skou; Smirnova, O.; Stefán, P.; Szalai, F.; Taga, A.; Toor, S. Z.; Wäänänen, A.; Zhou, X.

    In: Annales des Telecommunications, Vol. 65, No. 11-12, 2010, p. 771-776.

    Publication: Research - peer-reviewJournal article

  9. Published

    Towards sustainability : An interoperability outline for a Regional ARC based infrastructure in the WLCG and EGEE infrastructures. / Kleist, Josva; Fields, Laurence; Grønager, Michael; Johansson, Daniel.

    In: Journal of Physics - Conference Series, Vol. 219, No. 6, 2010.

    Publication: Research - peer-reviewConference article in Journal

  10. 2009
  11. Published
  12. 2008
  13. Published

    A distributed storage system with dCache. / Behrmann, Gerd; Fuhrmann, Patrick; Grønager, Michael; Kleist, Josva.

    In: Journal of Physics - Conference Series, 2008.

    Publication: Research - peer-reviewConference article in Journal

  14. Published

    A Distributed Tier-1. / Fischer, Lars; Grønager, Michael; Kleist, Josva; Smirnova, Oxana.

    In: Journal of Physics - Conference Series, 2008.

    Publication: Research - peer-reviewConference article in Journal

  15. Published

    ALICE-ARC integration. / Anderlik, Csaba; Gregersen, Anders Rhod; Kleist, Josva; Peters, Andreas; Siaz, Pablo.

    In: Journal of Physics - Conference Series, 2008.

    Publication: Research - peer-reviewConference article in Journal

  16. Published

    ATLAS DDM integration in ARC. / Behrmann, Gerd; Cameron, David; Ellert, Mattias; Kleist, Josva; Taga, Adrian.

    In: Journal of Physics - Conference Series, 2008.

    Publication: Research - peer-reviewConference article in Journal

  17. Published

    Interoperability between ARC and gLite - Understanding the Grid-Job Life Cycle. / Grønager, Michael; Fields, Laurence; Happonen, Kalle; Kleist, Josva; Linden, Tomas; Johansson, Daniel; Søttrup, Christian; Qing, D; Wäänänen, Anders.

    IEEE Fourth International Conference on eScience, 2008. eScience '08. IEEE, 2008. p. 493-500.

    Publication: Research - peer-reviewArticle in proceeding

  18. 2007
  19. Published

    ALICE - ARC integration. / Anderlik, Csaba; Gregersen, Anders Rhod; Kleist, Josva; Peters, Andreas; Siaz, Pablo.

    2007. Poster session presented at Computation in High Energy Physics - CHEP'07, Victoria, Canada.

    Publication: ResearchPoster

  20. Published

    A Peer-to-Peer Indexing Service for Data Grids. / Jensen, Henrik Thostrup; Kleist, Josva.

    Advances in Grid and Pervasive Computing: Second International Conference, GPC07. ed. / Christophe Cérin; Kuan-Ching Li. IEEE Computer Society Press, 2007. p. 507-518 (Lecture Notes in Computer Science; No. 4459).

    Publication: Research - peer-reviewArticle in proceeding

  21. Published

    ATLAS DDM integration in ARC. / Behrmann, Gerd; Cameron, David; Ellert, Mattias; Kleist, Josva; Tage, Adrian.

    2007. Poster session presented at Computation in High Energy Physics - CHEP'07, Victoria, Canada.

    Publication: ResearchPoster

  22. 2006
  23. Published

    Computer Science - Research Evaluation : 2001 - 2005. / Kleist, Josva (Editor).

    Aalborg : Aalborg Universitet, 2006. 113 p.

    Publication: CommunicationReport

  24. Published

    Roadmap for the ARC Grid Middleware. / Kleist, Josva; Eerola, Paula; Ekelöf, Tord; Ellert, Mattias; Grønager, Michael; Renner Hansen, John; Haug, Sigve; Konstantinov, Aleksandr; Kónya, Balázs; Ould-Saada, Farid; Smirnova, Oxana; Szalai, Ferenc; Wäänänen, Anders.

    Ikke angivet. Vol. 4699 Springer Berlin / Heidelberg, 2006. p. 471-479 (Lecture Notes in Computer Science; No. 4699).

    Publication: Research - peer-reviewArticle in proceeding

  25. 2005
  26. Published

    A framework for job management in the NorduGrid ARC middleware. / Jensen, Henrik Thostrup; Kleist, Josva; Ryge Leth, Jesper.

    Advances in Grid Computing - EGC 2005. ed. / P.M.A Sloot; A.G. Hoekstra; T. Priol; A. Reinefeld; M. Bubak. IEEE Computer Society Press, 2005. p. 861-871 (Lecture Notes in Computer Science; No. 3470).

    Publication: Research - peer-reviewArticle in proceeding

  27. Published

    Mid-term self evaluation report for SNF project no. 21-03-0243 : "Danish Center for Grid Computing". / Jul, Eric; Kleist, Josva; Vinter, Brian; Hansen, Jørgen Sværke; Sharp, Robin; Elgaard Larsen, Niels.

    2005. 19 p.

    Publication: ResearchReport

  28. 2004
  29. Published

    Performance of the NorduGrid ARC and the Dulcinea Executor in ATLAS Data Challenge 2. / Kleist, Josva; Eerola, P; Ekelöf, T.; Smirnova, O.; Ellert, M.; Hansen, John Renner; Konstantinov, A.; Kónya, B.; Nielsen, Jakob Langaard; Ould-Saada, F.; Wäänänen, Anders; Sturrock, R.; Jensen, Henrik Thostrup; Kalici, Daniel; Teras, A.; Heller, H.; Kennedy, J.; Duckeck, G.; Mycklebust, J.F.; Pajchel, K; Read, A.; Riiser, H.; Hanshaugen, M.; Sunde, S.; Filipic, A.; Tadel, M.; Nixon, L.; Lindemann, J.; Malinowsky, L.; Smeds, N.; Sandgren, A.; Wadenstein, M.; Haeberli, C.

    Proceedings of CHEP'04. 2004.

    Publication: ResearchArticle in proceeding

  30. 2003
  31. Published

    Imperative objects as mobile processes. / Kleist, Josva; Sangiorgi, D.

    In: Science of Computer Programming, Vol. 44, No. 3, 2003, p. 293-342.

    Publication: Research - peer-reviewJournal article

  32. 2002
  33. Published

    Aliasing Models for Mobile Objects. / Huttel, Hans; Kleist, Josva; Nestmann, Uwe; Merro, Massimo.

    In: Information and Computation, Vol. 175, No. 1, 2002, p. 3-33.

    Publication: Research - peer-reviewJournal article

  34. Published

    Mobile Objects as Mobile Processes. / Massimo, M.; Nestmann, U.; Kleist, Josva.

    In: Information and Computation, No. 177, 2002, p. 1-47.

    Publication: Research - peer-reviewJournal article

  35. 2000
  36. Published
  37. Published

    Local pi-Calculus at work : Mobile Objects as Mobile Processes. / Kleist, Josva; Merro, M.; Nestmann, U.

    Theoretical Computer Science : Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. ed. / Leeuwen, J. van : Watanabe, O. : Hagiya, M. : Mosses, P. D. : Ito, T. (eds.). 1872. ed. IEEE Computer Society Press, 2000. p. 390-408.

    Publication: ResearchArticle in proceeding

  38. Published
  39. Published

    Reasoning about objects using process calculus techniques. / Kleist, Josva.

    Aalborg : Aalborg Universitetsforlag, 2000. (Publication : Department of Computer Science, Aalborg University; No. 7).

    Publication: ResearchPh.d. thesis

  40. 1999
  41. Published

    Aliasing Models for Object Migration. / Hüttel, Hans; Kleist, Josva; Nestmann, U.; Merro, M.

    Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. ed. / P. Amestoy; P. Berger; M. Daydé; I. Duff; V. Fraysee; L. Giraud; D. Ruiz. 1685. ed. Springer, 1999. p. 1353-1368 (Lecture Notes in Computer Science).

    Publication: ResearchArticle in proceeding

  42. Published

    Migration = cloning; aliasiing. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Merro, Massimo.

    Proceeding of FOOL6. Vol. 1685 Springer, 1999. p. 1353-1368 (Lecture Notes in Computer Science; No. 1685).

    Publication: ResearchArticle in proceeding

  43. 1998
  44. Published

    Imperative Objects as Mobile Processes. / Kleist, Josva; Sangiorgi, Davide.

    Programming Concepts and Methods, PROCOMET '98. Chapman & Hall, 1998. p. 285-303.

    Publication: ResearchArticle in proceeding

  45. Published

    Migration = cloning; aliasing. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Merro, Massimo.

    RS-98-34 ed. Århus : BRICS - Basic Research in Computer Science, 1998.

    Publication: ResearchReport

  46. Published

    Surrogater i Øjeblik : mod migrerering i Obliq. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Sangiorgi, Davide.

    Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. ed. / Hüttel, Hans : Nestmann, Uwe (eds.). NS-98-5. ed. Department of Computer Science, Aarhus University, 1998. p. 43-50.

    Publication: ResearchArticle in proceeding

  47. Published

    Surrogates in Øjeblik : Towards Migration in Obliq. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Sangiorgi, Davide.

    Proceeding of FOOL5. 1998.

    Publication: ResearchArticle in proceeding

  48. 1997
  49. Published

    Objects, Types and Modal Logics. / Andersen, Dan S.; Hüttel, Hans; Kleist, Josva; Pedersen, Lars H.

    Proceedings of FOOL4. 1997.

    Publication: ResearchArticle in proceeding

  50. Published
  51. 1996
  52. Published

    Bisimulations for Asynchronous Mobile Processes. / Hansen, Martin; Hüttel, Hans; Kleist, Josva.

    RS-96-8 ed. Århus : BRICS - Basic Research in Computer Science, 1996.

    Publication: ResearchReport

  53. Published

    Objects as Mobile Processes. / Hüttel, Hans; Kleist, Josva.

    RS-96-38 ed. Århus : BRICS - Basic Research in Computer Science, 1996.

    Publication: ResearchReport

  54. Published

    Objects, Types and Modal Logics. / Andersen, Dan S.; Hüttel, Hans; Kleist, Josva; Pedersen, Lars H.

    RS-96-49 ed. Århus : BRICS - Basic Research in Computer Science, 1996.

    Publication: ResearchReport

  55. 1995
  56. Published

    Bisimulations for Asynchronous Mobile Processes. / Hansen, Martin; Hüttel, Hans; Kleist, Josva.

    Proceedings of Tbilisi Symposium on Language, Logic, and Computation. 1995.

    Publication: ResearchArticle in proceeding

  57. Published

    Inferring Effect Types in an Applicative Language with Asynchronous Communication. / Hüttel, Hans; Hansen, Martin; Jensen, Bo; Kleist, Josva.

    Proceedings of Second ACM SIGPLAN Workshop on State in Programming Languages. UILI-ENG-95-1702. ed. Dept. of Computer Science, University of Illinois at Urbana-Campaign, 1995.

    Publication: ResearchArticle in proceeding

  58. 1994
  59. Published

    Process Calculi with Asynchronous Communication : Master's Thesis. / Hansen, Martin; Kleist, Josva.

    R-94-2028 ed. Aalborg : Department of Computer Science, Aalborg University, 1994.

    Publication: ResearchReport