default search action
Björn Victor
Person information
- affiliation: Uppsala University, Sweden
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c26]Mikael Laaksoharju, Thomas Taro Lennerfors, Björn Victor, Maja Elmgren:
Supporting Shared Responsibility for Integrating Ethics into Science and Technology Education. FIE 2022: 1-5
2010 – 2019
- 2016
- [j9]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) - 2015
- [j8]Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola
Broadcast psi-calculi with an application to wireless protocols. Softw. Syst. Model. 14(1): 201-216 (2015) - [j7]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): 9:1-9:25 (2015) - [c25]Sofia Cassel, Björn Victor:
A structured approach to training open-ended problem solving. FIE 2015: 1-4 - 2014
- [c24]Sofia Cassel, Aletta Nylén
Enhanced learning by promoting engineering competencies. FIE 2014: 1-6 - 2013
- [c23]Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, Björn Victor:
A Parametric Tool for Applied Process Calculi. ACSD 2013: 180-185 - [c22]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: 103-118 - 2012
- [j6]Magnus Johansson, Björn Victor, Joachim Parrow:
Computing strong and weak bisimulations for psi-calculi. J. Log. Algebraic Methods Program. 81(3): 162-180 (2012) - [c21]Volkan Cambazoglu, Christian Rohner, Björn Victor:
The impact of trace and adversary models on location privacy provided by K-anonymity. MPM@EuroSys 2012: 6:1-6:6 - 2011
- [j5]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) - [c20]Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola
Broadcast Psi-calculi with an Application to Wireless Protocols. SEFM 2011: 74-89 - [c19]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: 659-664 - 2010
- [c18]Magnus Johansson, Jesper Bengtson, Joachim Parrow, Björn Victor:
Weak Equivalences in Psi-Calculi. LICS 2010: 322-331
2000 – 2009
- 2009
- [c17]Jesper Bengtson, Magnus Johansson, Joachim Parrow, Björn Victor:
Psi-calculi: Mobile Processes, Nominal Data, and Logic. LICS 2009: 39-48 - [c16]Magnus Johansson, Björn Victor, Joachim Parrow:
A Fully Abstract Symbolic Semantics for Psi-Calculi. SOS 2009: 17-31 - 2008
- [c15]Magnus Johansson, Joachim Parrow, Björn Victor, Jesper Bengtson:
Extended pi-Calculi. ICALP (2) 2008: 87-98 - 2006
- [c14]Catuscia Palamidessi
On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. LICS 2006: 59-68 - 2005
- [j4]Uwe Nestmann, Björn Victor:
Guest editors' introduction: Special issue on The pi-calculus. J. Log. Algebraic Methods Program. 63(1): 1-2 (2005) - [c13]Gian-Luigi Ferrari
Modelling Fusion Calculus using HD-Automata. CALCO 2005: 142-156 - [c12]Michael Baldamus, Joachim Parrow, Björn Victor:
A Fully Abstract Encoding of the pi-Calculus with Data Terms. ICALP 2005: 1202-1213 - 2004
- [c11]Michael Baldamus, Joachim Parrow, Björn Victor:
Spi Calculus Translated to ?--Calculus Preserving May-Tests. LICS 2004: 22-31 - [c10]Neil Ghani, Kidane Yemane, Björn Victor:
Relationally Staged Computations in Calculi of Mobile Processes. CMCS 2004: 105-120 - 2003
- [j3]Luca Aceto, Giuseppe Longo, Björn Victor:
Foreword To Special Issue: The Difference Between Concurrent And Sequential Computation. Math. Struct. Comput. Sci. 13(4): 481-484 (2003) - [j2]Cosimo Laneve, Björn Victor:
Solos In Concert. Math. Struct. Comput. Sci. 13(5): 657-683 (2003) - [e2]Luca Aceto, Björn Victor:
7th International Workshop on Expressiveness in Concurrency, EXPRESS 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(1), Elsevier 2003 [contents] - 2001
- [c9]Cosimo Laneve
Solo Diagrams. TACS 2001: 127-144
1990 – 1999
- 1999
- [c8]Cosimo Laneve
Solos in Concert. ICALP 1999: 513-523 - [c7]Ilaria Castellani
Preface. EXPRESS 1999: 1-2 - [e1]Ilaria Castellani, Björn Victor:
6th International Workshop on Expressiveness in Concurrency, EXPRESS 1999, Eindhoven, The Netherlands, August 23, 1999. Electronic Notes in Theoretical Computer Science 27, Elsevier 1999 [contents] - 1998
- [j1]Uwe Nestmann, Björn Victor:
Calculi for Mobile Processes - Bibliography and Web Pages. Bull. EATCS 64 (1998) - [c6]Joachim Parrow, Björn Victor:
The Tau-Laws of Fusion. CONCUR 1998: 99-114 - [c5]Björn Victor, Joachim Parrow:
Concurrent Constraints in the Fusion Calculus. ICALP 1998: 455-469 - [c4]Joachim Parrow, Björn Victor:
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. LICS 1998: 176-185 - 1997
- [c3]Joachim Parrow, Björn Victor:
The Update Calculus (Extended Abstract). AMAST 1997: 409-423 - 1996
- [c2]Björn Victor, Joachim Parrow:
Constraints as Processes. CONCUR 1996: 389-405 - 1994
- [c1]Björn Victor, Faron Moller
The Mobility Workbench - A Tool for the pi-Calculus. CAV 1994: 428-440
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: