|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 14 publication records. Showing 14 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Johannes Borgström, Andrew D. Gordon, Riccardo Pucella |
Roles, stacks, histories: A triple for Hoare.  |
J. Funct. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Juan Chen, Nikhil Swamy |
Verifying stateful programs with substructural state and hoare types. |
PLPV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ioannis G. Baltopoulos, Johannes Borgström, Andrew D. Gordon |
Maintaining Database Integrity with Refinement Types. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael |
Measure Transformer Semantics for Bayesian Machine Learning. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström |
A Complete Symbolic Bisimilarity for an Extended Spi Calculus. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Karthikeyan Bhargavan, Andrew D. Gordon |
A compositional theory for STM Haskell. |
Haskell |
2009 |
DBLP DOI BibTeX RDF |
transactional memory, compositional reasoning, ambient calculus |
| 1 | Johannes Borgström, Andrew D. Gordon, Andrew Phillips |
A Chart Semantics for the Pi-Calculus. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström |
Static Equivalence is Harder than Knowledge. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Olga Grinchtein, Simon Kramer |
Timed Calculus of Cryptographic Communication. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
Applied process calculi, timed cryptographic protocols, model-based specification and verification, formal modelling |
| 1 | Johannes Borgström, Uwe Nestmann |
On bisimulations for the spi calculus. |
Mathematical Structures in Computer Science |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Sébastien Briais, Uwe Nestmann |
Symbolic Bisimulation in the Spi Calculus. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov |
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case. |
Global Computing |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Uwe Nestmann |
On Bisimulations for the Spi Calculus. |
AMAST |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #14 of 14 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")