Björn Victor

According to our database, Björn Victor authored at least 33 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education.

Mikael Laaksoharju, Thomas Taro Lennerfors, Björn Victor, Maja Elmgren

Proceedings of the IEEE Frontiers in Education Conference, 2022

2016

A Sorted Semantic Framework for Applied Process Calculi.

Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

Log. Methods Comput. Sci., 2016

2015

The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi.

Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor

ACM Trans. Embed. Comput. Syst., 2015

Broadcast psi-calculi with an application to wireless protocols.

Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, Joachim Parrow

Softw. Syst. Model., 2015

A structured approach to training open-ended problem solving.

Sofia Cassel, Björn Victor

Proceedings of the 2015 IEEE Frontiers in Education Conference, 2015

2014

Enhanced learning by promoting engineering competencies.

Sofia Cassel, Aletta Nylén, Björn Victor

Proceedings of the IEEE Frontiers in Education Conference, 2014

2013

A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract).

Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, Johannes Åman Pohjola

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

A Parametric Tool for Applied Process Calculi.

Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Computing strong and weak bisimulations for psi-calculi.

Magnus Johansson, Björn Victor, Joachim Parrow

J. Log. Algebraic Methods Program., 2012

The impact of trace and adversary models on location privacy provided by K-anonymity.

Volkan Cambazoglu, Christian Rohner, Björn Victor

Proceedings of the First Workshop on Measurement, Privacy, and Mobility, 2012

2011

Psi-calculi: a framework for mobile processes with nominal data and logic

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Log. Methods Comput. Sci., 2011

Lower trees with fixed degrees: A recipe for efficient secure hierarchical aggregation in WSNs.

Davor Sutic, Ioana Rodhe, Christian Rohner, Björn Victor

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

2010

Weak Equivalences in Psi-Calculi.

Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

A Fully Abstract Symbolic Semantics for Psi-Calculi

Magnus Johansson, Björn Victor, Joachim Parrow

Proceedings of the Proceedings Sixth Workshop on Structural Operational Semantics, 2009

Psi-calculi: Mobile Processes, Nominal Data, and Logic.

Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

2008

Extended pi-Calculi.

Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2006

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.

Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor

Proceedings of the 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 2006

2005

Guest editors' introduction: Special issue on The pi-calculus.

Uwe Nestmann, Björn Victor

J. Log. Algebraic Methods Program., 2005

A Fully Abstract Encoding of the <i>pi</i>-Calculus with Data Terms.

Michael Baldamus, Joachim Parrow, Björn Victor

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Modelling Fusion Calculus using HD-Automata.

Gian-Luigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, Kidane Yemane

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Relationally Staged Computations in Calculi of Mobile Processes.

Neil Ghani, Kidane Yemane, Björn Victor

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Spi Calculus Translated to ?--Calculus Preserving May-Tests.

Michael Baldamus, Joachim Parrow, Björn Victor

Proceedings of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 2004

2003

Solos In Concert.

Cosimo Laneve, Björn Victor

Math. Struct. Comput. Sci., 2003

Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation.

Luca Aceto, Giuseppe Longo, Björn Victor

Math. Struct. Comput. Sci., 2003

2001

Solo Diagrams.

Cosimo Laneve, Joachim Parrow, Björn Victor

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

1999

Preface.

Ilaria Castellani, Björn Victor

Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 1999

1998

Calculi for Mobile Processes - Bibliography and Web Pages.

Uwe Nestmann, Björn Victor

Bull. EATCS, 1998

The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes

Joachim Parrow, Björn Victor

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Concurrent Constraints in the Fusion Calculus.

Björn Victor, Joachim Parrow

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

The Tau-Laws of Fusion.

Joachim Parrow, Björn Victor

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

The Update Calculus (Extended Abstract).

Joachim Parrow, Björn Victor

Proceedings of the Algebraic Methodology and Software Technology, 1997

1996

Constraints as Processes.

Björn Victor, Joachim Parrow

Proceedings of the CONCUR '96, 1996

1994

The Mobility Workbench - A Tool for the pi-Calculus.

Björn Victor, Faron Moller

Proceedings of the Computer Aided Verification, 6th International Conference, 1994