Björn Victor

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 2

Top Topics

Skill Development

Data Broadcasting

Extended Abstract

Top Venues

ACM Trans. Embed. Comput. Syst.

Softw. Syst. Model.

Log. Methods Comput. Sci.

Publications

Mikael Laaksoharju, Thomas Taro Lennerfors, Björn Victor, Maja Elmgren
Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education. FIE (2022)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi. Log. Methods Comput. Sci. 12 (1) (2016)
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. ACM Trans. Embed. Comput. Syst. 14 (1) (2015)
Sofia Cassel, Björn Victor
A structured approach to training open-ended problem solving. FIE (2015)
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
Broadcast psi-calculi with an application to wireless protocols. Softw. Syst. Model. 14 (1) (2015)
Sofia Cassel, Aletta Nylén, Björn Victor
Enhanced learning by promoting engineering competencies. FIE (2014)
Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract). TGC (2013)
Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor
A Parametric Tool for Applied Process Calculi. ACSD (2013)
Magnus Johansson, Björn Victor, Joachim Parrow
Computing strong and weak bisimulations for psi-calculi. J. Log. Algebraic Methods Program. 81 (3) (2012)
Volkan Cambazoglu, Christian Rohner, Björn Victor
The impact of trace and adversary models on location privacy provided by K-anonymity. MPM@EuroSys (2012)
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor
Psi-calculi: a framework for mobile processes with nominal data and logic Log. Methods Comput. Sci. 7 (1) (2011)
Davor Sutic, Ioana Rodhe, Christian Rohner, Björn Victor
Lower trees with fixed degrees: A recipe for efficient secure hierarchical aggregation in WSNs. WCNC (2011)
Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow
Broadcast Psi-calculi with an Application to Wireless Protocols. SEFM (2011)
Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor
Weak Equivalences in Psi-Calculi. LICS (2010)
Magnus Johansson, Björn Victor, Joachim Parrow
A Fully Abstract Symbolic Semantics for Psi-Calculi SOS (2009)
Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor
Psi-calculi: Mobile Processes, Nominal Data, and Logic. LICS (2009)
Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson
Extended pi-Calculi. ICALP (2) (2008)
Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS (2006)
Uwe Nestmann, Björn Victor
Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebraic Methods Program. 63 (1) (2005)
Gian Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane
Modelling Fusion Calculus using HD-Automata. CALCO (2005)
Michael Baldamus, Joachim Parrow, Björn Victor
-Calculus with Data Terms. ICALP (2005)
Neil Ghani, Kidane Yemane, Björn Victor
Relationally Staged Computations in Calculi of Mobile Processes. CMCS (2004)
Michael Baldamus, Joachim Parrow, Björn Victor
Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS (2004)
Luca Aceto, Giuseppe Longo, Björn Victor
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Math. Struct. Comput. Sci. 13 (4) (2003)
Cosimo Laneve, Björn Victor
Solos In Concert. Math. Struct. Comput. Sci. 13 (5) (2003)
Cosimo Laneve, Joachim Parrow, Björn Victor
Solo Diagrams. TACS (2001)
Cosimo Laneve, Björn Victor
Solos in Concert. ICALP (1999)
Ilaria Castellani, Björn Victor
Preface. EXPRESS (1999)
Uwe Nestmann, Björn Victor
Calculi for Mobile Processes - Bibliography and Web Pages. Bull. EATCS 64 (1998)
Joachim Parrow, Björn Victor
The Tau-Laws of Fusion. CONCUR (1998)
Joachim Parrow, Björn Victor
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes LICS (1998)
Björn Victor, Joachim Parrow
Concurrent Constraints in the Fusion Calculus. ICALP (1998)
Joachim Parrow, Björn Victor
The Update Calculus (Extended Abstract). AMAST (1997)
Björn Victor, Joachim Parrow
Constraints as Processes. CONCUR (1996)
Björn Victor, Faron Moller
The Mobility Workbench - A Tool for the pi-Calculus. CAV (1994)