default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJuan Bicarregui
- > Home > Persons > Juan Bicarregui
Publications
- 2023
[c38]Juan Bicarregui, Simon J. Coles
, Brian Matthews, Jeremy G. Frey, Barbara Montanari, Vasily Bunakov, Nicola J. Knight:
Connecting Infrastructures: The Physical Sciences Data Infrastructure (PSDI) in the UK. CoRDI 2023- 2015
- [i2]Juan Bicarregui, Brian Matthews:
e-Infrastructure across Photon and Neutron Sources. ERCIM News 2015(100) (2015) - 2013
- [j12]Juan Bicarregui, Norman Gray, Rob Henderson, Roger Jones, Simon C. Lambert, Brian Matthews:
Data Management and Preservation Planning for Big Science. Int. J. Digit. Curation 8(1): 29-41 (2013) - 2010
- [j11]Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Mary Jones:
A Framework for Software Preservation. Int. J. Digit. Curation 5(1): 91-105 (2010) - [i1]Brian Matthews, Arif Shaon, Juan Bicarregui, Catherine Mary Jones, Esther Conway, Jim Woodcock:
Considering Software Preservation. ERCIM News 2010(80) (2010) - 2009
- [c36]Damian Flannery, Brian Matthews, Tom Griffin, Juan Bicarregui, Michael Gleaves, Laurent Lerusse, Roger Downing, Alun Ashton, Shoaib Sufi, Glen Drinkwater, Kerstin Kleese van Dam:
ICAT: Integrating Data Infrastructure for Facilities Based Science. eScience 2009: 201-207 - [c34]David Giaretta, Donald M. Sawyer, Giovanni Michetti, Mariella Guercio, Simon C. Lambert, Juan Bicarregui, Brian Matthews:
Significant Properties, Authenticity, Provenance, Representation Information and OAIS Information. iPRES 2009 - [c33]Brian Matthews, Esther Conway, Jim Woodcock, Catherine Mary Jones, Juan Bicarregui, Arif Shaon:
Towards a Methodology for Software Preservation. iPRES 2009 - 2008
- [c31]Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews, Erica Y. Yang:
Modelling Security Properties in a Grid-based Operating System with Anti-Goals. ARES 2008: 1429-1436 - 2007
- [c29]Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews:
Managing Conflicts of Interest in Virtual Organisations. STM@ESORICS 2007: 45-56 - 2003
- [c25]Theodosis Dimitrakos, Brian Matthews, Simon C. Lambert, Juan Bicarregui:
Meta-data Management Issues Underpinning Emerging Solutions for Distributed Trust and Contract Management in Enterprise Grid and P2P Systems. Experiences from GRASP, SWAD-Europe, PELLUCID and CORAS projects. MMGPS 2003 - 2002
- [c21]Theodosis Dimitrakos, Ivan Djordjevic, Brian Matthews, Juan Bicarregui, Chris I. Phillips:
Policy-Driven Access Control over a Distributed Firewall Architecture. POLICY 2002: 228-231 - 2001
- [c20]John V. Ashby, Juan Bicarregui, David R. S. Boyd, Kerstin Kleese van Dam, Simon C. Lambert, Brian Matthews, Kevin D. O'Neill:
A Multidisciplinary Scientific Data Portal. HPCN Europe 2001: 13-22 - 2000
- [c18]Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum:
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126 - 1999
- [c17]Juan Bicarregui, Brian Matthews:
Proof and Refutation in Formal Software Development. IWFM 1999 - 1998
- [j4]Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm:
Investigating the Integration of two Formal Methods. Formal Aspects Comput. 10(5-6): 532-549 (1998) - [c15]Brian Matthews, Brian Ritchie, Juan Bicarregui:
Synthesising Structure from Flat Specifications. B 1998: 148-161 - [p2]Juan Bicarregui, Brian Matthews:
The Specification and Proof of an EXPRESS to SQL "Compiler". Proof in VDM 1998: 95-121 - 1997
- [j3]Juan Bicarregui, D. L. Clutterbuck, Gavin R. Finnie, Howard P. Haughton, Kevin Lano, H. Lesan, D. W. R. M. Marsh, B. M. Matthews, Michael R. Moulding, A. Richard Newton, Brian Ritchie, T. G. A. Rushton, P. N. Scharbach:
Formal methods into practice: case studies in the application of the B method. IEE Proc. Softw. Eng. 144(2): 119-133 (1997) - [j2]Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods:
Making the Most of Formal Specification Through Animation, Testing and Proof. Sci. Comput. Program. 29(1-2): 53-78 (1997) - 1995
- [c6]Juan Bicarregui, Brian Matthews:
Formal Methods in Practice: A Comparison of Two Support Systems for Proof. SOFSEM 1995: 184-205
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-24 22:57 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:
