Björn's publications

• Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education. Mikael Laaksoharju, Thomas Taro Lennerfors, Björn Victor, and Maja Elmgren. In 2022 IEEE Frontiers in Education Conference (FIE), IEEE Frontiers in Education Conference, Institute of Electrical and Electronics Engineers (IEEE), 2022. (DOI, fulltext:postprint).
• A Sorted Semantic Framework for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, and Johannes Åman Pohjola. In Logical Methods in Computer Science, volume 12, number 1, pp 1-49, 2016. (DOI, Fulltext, fulltext:postprint).
• Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar. Stefan Pålsson and Björn Victor (eds). Volume 2016-002 of Technical report / Department of Information Technology, Uppsala University, 2016. (External link).
• A structured approach to training open-ended problem solving. Sofia Cassel and Björn Victor. In Proc. 45th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp 417-420, IEEE Press, Piscataway, NJ, 2015. (DOI).
• Broadcast psi-calculi with an application to wireless protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. In Software and Systems Modeling, volume 14, number 1, pp 201-216, Springer, 2015. (DOI, fulltext:postprint).
• Modelling and analysing a WSN secure aggregation protocol: A comparison of languages and tool support. Volkan Cambazoglu, Ramunas Gutkovas, Johannes Åman Pohjola, and Björn Victor. Technical report / Department of Information Technology, Uppsala University nr 2015-033, 2015. (fulltext).
• The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, and Björn Victor. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, 2015. (DOI, fulltext:postprint).
• A Sorted Semantic Framework for Applied Process Calculi (extended abstract). Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, and Johannes Åman Pohjola. In Trustworthy Global Computing: TGC 2013, volume 8358 of Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI).
• Enhanced learning by promoting engineering competencies. Sofia Cassel, Aletta Nylén, and Björn Victor. In Proc. 44th ASEE/IEEE Frontiers in Education Conference, pp 2044-2049, IEEE Press, Piscataway, NJ, 2014. (DOI, Proceedings).
• A Parametric Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, and Björn Victor. In 13th International Conference on Application of Concurrency to System Design (ACSD 2013), International Conference on Application of Concurrency to System Design, pp 180-185, IEEE Computer Society, 2013. (DOI).
• Fördjupat lärande genom aktiverande examination. Sofia Cassel and Björn Victor. In 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
• Computing Strong and Weak Bisimulations for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).
• Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld, and Björn Victor. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link).
• The impact of trace and adversary models on location privacy provided by K-anonymity. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
• Broadcast Psi-calculi with an Application to Wireless Protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. In Software Engineering and Formal Methods: SEFM 2011, volume 7041 of Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, 2011. (DOI, fulltext:postprint).
• Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs. Davor Sutic, Ioana Rodhe, Christian Rohner, and Björn Victor. In 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI).
• Psi-calculi: a framework for mobile processes with nominal data and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI).
• A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
• Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, and Björn Victor. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
• Psi-calculi: Mobile processes, nominal data, and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI).
• Extended pi-Calculi. Magnus Johansson, Joachim Parrow, Björn Victor, and Jesper Bengtson. In Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volume 5126 of Lecture Notes in Computer Science, pp 87-98, 2008. (DOI).
• On the Expressiveness of Linearity vs Persistence in the Asynchronous Pi-Calculus. Catuscia Palamidessi, Vijay Saraswat, Frank D. Valencia, and Björn Victor. In Proc. 21st Symposium on Logic In Computer Science: LICS 2006, pp 59-68, IEEE, Piscataway, NJ, 2006. (DOI).
• A Fully Abstract Encoding of the pi-Calculus with Data Terms. Michael Baldamus, Joachim Parrow, and Björn Victor. In Proceedings of ICALP 2005, volume 3580 of Lecture notes in computer science, pp 1202-1213, Springer, Berlin, 2005. (DOI, External link).
• Modelling Fusion Calculus using HD-Automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
• Modelling and Minimising the Fusion Calculus using HD-automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. In Proceedings of CALCO 2005, 2005. (DOI, External link).
• Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane, and Björn Victor. In Proc. 7th Workshop on Coalgebraic Methods in Computer Science, volume 106 of Electronic Notes in Theoretical Computer Science, pp 105-120, Elsevier, 2004. (DOI).
• Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane, and Björn Victor. Technical report / Department of Information Technology, Uppsala University nr 2004-010, Department of Information Technology, Uppsala University, 2004. (fulltext).
• Special issue on the pi-calculus. Uwe Nestmann and Björn Victor (eds). Volume 63(1) of Journal of Logic and Algebraic Programming, Elsevier, 2004. (DOI, External link).
• Spi Calculus Translated to pi-Calculus Preserving May-Tests. Michael Baldamus, Joachim Parrow, and Björn Victor. In Proceedings of LICS 2004: Logic in Computer Science, Proceedings / Symposium on Logic in Computer Science, pp 22-31, IEEE Computer Society, Los Alamitos, Calif, 2004. (DOI, External link).
• Polyadic History-Dependent Automata for the Fusion Calculus. Emilio Tuosto, Björn Victor, and Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2003-062, 2003. (fulltext).
• Solos in Concert. Cosimo Laneve and Björn Victor. In Mathematical Structures in Computer Science, volume 13, number 5, pp 657-683, 2003. (DOI).
• Spi Calculus Translated to pi-Calculus Preserving May-Testing. Michael Baldamus, Joachim Parrow, and Björn Victor. Technical report / Department of Information Technology, Uppsala University nr 2003-063, 2003. (fulltext).
• The difference between concurrent and sequential computation. Luca Aceto, Giuseppe Longo, and Björn Victor (eds). Volume 13(4-5) of Mathematical Structures in Computer Science, Cambridge University Press, 2003. (DOI).
• Solo diagrams. Cosimo Laneve, Joachim Parrow, and Björn Victor. In Proceedings of TACS 2001, pp 127-144, 2001. (External link).
• EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency. Luca Aceto and Björn Victor (eds). Volume 39 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI, External link).
• EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Ilaria Castellani and Björn Victor (eds). Volume 27 of Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (External link).
• Proceedings of the 11th Nordic Workshop on Programming Theory. Björn Victor and Wang Yi (eds). IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (External link).
• Solos in Concert. Cosimo Laneve and Björn Victor. In Proceedings of ICALP'99, 1999. (External link).
• Calculi for Mobile Processes: Bibliography and Web Pages. Uwe Nestmann and Björn Victor. In Bulletin of the EATCS, volume 64, 1998.
• Concurrent Constraints in the Fusion Calculus. Björn Victor and Joachim Parrow. In Proceedings of ICALP'98, volume 1443 of Lectute notes in computer science, pp 455-469, Springer, Berlin, 1998. (DOI).
• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Björn Victor. Ph.D. thesis, DoCS nr 98, Department of Computer Systems, Uppsala University, 1998.
• The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Joachim Parrow and Björn Victor. In Proceedings of LICS'98, Proceedings / Symposium on Logic in Computer Science, pp 176-185, IEEE Computer Society, Los Alamitos, CA, 1998. (DOI).
• The Tau-Laws of Fusion. Joachim Parrow and Björn Victor. In Proceedings of CONCUR'98, volume 1466 of Lecture notes in computer science, pp 99-114, Springer, Berlin, 1998. (DOI).
• The Update Calculus. Joachim Parrow and Björn Victor. In Proceedings of AMAST'97, volume 1349 of Lecture notes in computer science, pp 409-423, Springer, Berlin, 1997. (DOI).
• Constraints as Processes. Björn Victor and Joachim Parrow. In Proceedings of CONCUR'96, volume 1119 of Lecture notes in computer science, pp 389-405, Springer, Berlin, 1996. (DOI).
• The Mobility Workbench: A Tool for the Pi-Calculus. Björn Victor and Faron Moller. In Proceedings of CAV'94, pp 428-440, 1994. (DOI).