Björns publikationer

Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education. Mikael Laaksoharju, Thomas Taro Lennerfors, Björn Victor och Maja Elmgren. I 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 och Johannes Åman Pohjola. I Logical Methods in Computer Science, volym 12, nummer 1, pp 1-49, 2016. (DOI, Fulltext, fulltext:postprint).
Proceedings från 5:e utvecklingskonferensen för Sveriges ingenjörsutbildningar. Stefan Pålsson och Björn Victor (red). Volym 2016-002 av Technical report / Department of Information Technology, Uppsala University, 2016. (Extern länk).
A structured approach to training open-ended problem solving. Sofia Cassel och Björn Victor. I 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 och Joachim Parrow. I Software and Systems Modeling, volym 14, nummer 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 och 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 och Björn Victor. I ACM Transactions on Embedded Computing Systems, volym 14, nummer 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 och Johannes Åman Pohjola. I Trustworthy Global Computing: TGC 2013, volym 8358 av Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI).
Enhanced learning by promoting engineering competencies. Sofia Cassel, Aletta Nylén och Björn Victor. I 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 och Björn Victor. I 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 och Björn Victor. I 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 och Joachim Parrow. I Journal of Logic and Algebraic Programming, volym 81, nummer 3, pp 162-180, Elsevier, 2012. (DOI).
Professionella kompetenser i projektkurser. Åsa Cajander, Mats Daniels, Helena Bernáld och Björn Victor. I Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volym 75 av Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (Extern länk).
The impact of trace and adversary models on location privacy provided by K-anonymity. Volkan Cambazoglu, Christian Rohner och Björn Victor. I 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 och Joachim Parrow. I Software Engineering and Formal Methods: SEFM 2011, volym 7041 av 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 och Björn Victor. I 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 och Björn Victor. I Logical Methods in Computer Science, volym 7, nummer 1, p 11, 2011. (DOI).
A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor och Joachim Parrow. I Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volym 18 av Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).
Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow och Björn Victor. I 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 och Björn Victor. I 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 och Jesper Bengtson. I Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volym 5126 av 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 och Björn Victor. I 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 och Björn Victor. I Proceedings of ICALP 2005, volym 3580 av Lecture notes in computer science, pp 1202-1213, Springer, Berlin, 2005. (DOI, Extern länk).
Modelling Fusion Calculus using HD-Automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor och 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 och Kidane Yemane. I Proceedings of CALCO 2005, 2005. (DOI, Extern länk).
Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane och Björn Victor. I Proc. 7th Workshop on Coalgebraic Methods in Computer Science, volym 106 av Electronic Notes in Theoretical Computer Science, pp 105-120, Elsevier, 2004. (DOI).
Relationally Staged Computations in Calculi of Mobile Processes. Neil Ghani, Kidane Yemane och 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 och Björn Victor (red). Volym 63(1) av Journal of Logic and Algebraic Programming, Elsevier, 2004. (DOI, Extern länk).
Spi Calculus Translated to pi-Calculus Preserving May-Tests. Michael Baldamus, Joachim Parrow och Björn Victor. I 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, Extern länk).
Polyadic History-Dependent Automata for the Fusion Calculus. Emilio Tuosto, Björn Victor och Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2003-062, 2003. (fulltext).
Solos in Concert. Cosimo Laneve och Björn Victor. I Mathematical Structures in Computer Science, volym 13, nummer 5, pp 657-683, 2003. (DOI).
Spi Calculus Translated to pi-Calculus Preserving May-Testing. Michael Baldamus, Joachim Parrow och 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 och Björn Victor (red). Volym 13(4-5) av Mathematical Structures in Computer Science, Cambridge University Press, 2003. (DOI).
Solo diagrams. Cosimo Laneve, Joachim Parrow och Björn Victor. I Proceedings of TACS 2001, pp 127-144, 2001. (Extern länk).
EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency. Luca Aceto och Björn Victor (red). Volym 39 av Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI, Extern länk).
EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency. Ilaria Castellani och Björn Victor (red). Volym 27 av Electronic Notes in Theoretical Computer Science, Elsevier Science BV, Amsterdam, 1999. (Extern länk).
Proceedings of the 11th Nordic Workshop on Programming Theory. Björn Victor och Wang Yi (red). IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (Extern länk).
Solos in Concert. Cosimo Laneve och Björn Victor. I Proceedings of ICALP'99, 1999. (Extern länk).
Calculi for Mobile Processes: Bibliography and Web Pages. Uwe Nestmann och Björn Victor. I Bulletin of the EATCS, volym 64, 1998.
Concurrent Constraints in the Fusion Calculus. Björn Victor och Joachim Parrow. I Proceedings of ICALP'98, volym 1443 av Lectute notes in computer science, pp 455-469, Springer, Berlin, 1998. (DOI).
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Björn Victor. Doktorsavhandling, DoCS nr 98, Department of Computer Systems, Uppsala University, 1998.
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. Joachim Parrow och Björn Victor. I 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 och Björn Victor. I Proceedings of CONCUR'98, volym 1466 av Lecture notes in computer science, pp 99-114, Springer, Berlin, 1998. (DOI).
The Update Calculus. Joachim Parrow och Björn Victor. I Proceedings of AMAST'97, volym 1349 av Lecture notes in computer science, pp 409-423, Springer, Berlin, 1997. (DOI).
Constraints as Processes. Björn Victor och Joachim Parrow. I Proceedings of CONCUR'96, volym 1119 av Lecture notes in computer science, pp 389-405, Springer, Berlin, 1996. (DOI).
The Mobility Workbench: A Tool for the Pi-Calculus. Björn Victor och Faron Moller. I Proceedings of CAV'94, pp 428-440, 1994. (DOI).