Björn Victor

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