Björn's publications
-
Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education
. 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
. 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
. Volume 2016-002 of Technical report / Department of Information Technology, Uppsala University, 2016. (External link
).
-
A structured approach to training open-ended problem solving
. 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
. 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
. Technical report / Department of Information Technology, Uppsala University nr 2015-033, 2015. (fulltext
).
-
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi
. 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)
. 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
. 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
. 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
. In 4:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, pp 51-54, 2013.
-
Computing Strong and Weak Bisimulations for Psi-Calculi
. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI
).
-
Professionella kompetenser i projektkurser
. 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
. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI
).
-
Broadcast Psi-calculi with an Application to Wireless Protocols
. 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
. 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
. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI
).
-
A Fully Abstract Symbolic Semantics for Psi-Calculi
. 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
. 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
. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI
).
-
Extended pi-Calculi
. 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
. 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
. 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
. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
-
Modelling and Minimising the Fusion Calculus using HD-automata
. In Proceedings of CALCO 2005, 2005. (DOI
, External link
).
-
Relationally Staged Computations in Calculi of Mobile Processes
. 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
. 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
. Volume 63(1) of Journal of Logic and Algebraic Programming, Elsevier, 2004. (DOI
, External link
).
-
Spi Calculus Translated to pi-Calculus Preserving May-Tests
. 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
. Technical report / Department of Information Technology, Uppsala University nr 2003-062, 2003. (fulltext
).
-
Solos in Concert
. In Mathematical Structures in Computer Science, volume 13, number 5, pp 657-683, 2003. (DOI
).
-
Spi Calculus Translated to pi-Calculus Preserving May-Testing
. Technical report / Department of Information Technology, Uppsala University nr 2003-063, 2003. (fulltext
).
-
The difference between concurrent and sequential computation
. Volume 13(4-5) of Mathematical Structures in Computer Science, Cambridge University Press, 2003. (DOI
).
-
Solo diagrams
. In Proceedings of TACS 2001, pp 127-144, 2001. (External link
).
-
EXPRESS'00: 7th International Workshop on Expressiveness in Concurrency
. Volume 39 of Electronic Notes in Theoretical Computer Science, Elsevier, 2000. (DOI
, External link
).
-
EXPRESS'99: 6th International Workshop on Expressiveness in Concurrency
. 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
. IT Technical Reports, Dept. of Information Technology, Uppsala university, 1999. (External link
).
-
Solos in Concert
. In Proceedings of ICALP'99, 1999. (External link
).
-
Calculi for Mobile Processes: Bibliography and Web Pages
. In Bulletin of the EATCS, volume 64, 1998.
-
Concurrent Constraints in the Fusion Calculus
. 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
. Ph.D. thesis, DoCS nr 98, Department of Computer Systems, Uppsala University, 1998.
-
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
. 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
. In Proceedings of CONCUR'98, volume 1466 of Lecture notes in computer science, pp 99-114, Springer, Berlin, 1998. (DOI
).
-
The Update Calculus
. In Proceedings of AMAST'97, volume 1349 of Lecture notes in computer science, pp 409-423, Springer, Berlin, 1997. (DOI
).
-
Constraints as Processes
. 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
. In Proceedings of CAV'94, pp 428-440, 1994. (DOI
).