Juan Bicarregui

1.6k total citations
40 papers, 636 citations indexed

About

Juan Bicarregui is a scholar working on Artificial Intelligence, Computer Networks and Communications and Software. According to data from OpenAlex, Juan Bicarregui has authored 40 papers receiving a total of 636 indexed citations (citations by other indexed papers that have themselves been cited), including 14 papers in Artificial Intelligence, 12 papers in Computer Networks and Communications and 12 papers in Software. Recurrent topics in Juan Bicarregui's work include Formal Methods in Verification (9 papers), Scientific Computing and Data Management (8 papers) and Model-Driven Software Engineering Techniques (7 papers). Juan Bicarregui is often cited by papers focused on Formal Methods in Verification (9 papers), Scientific Computing and Data Management (8 papers) and Model-Driven Software Engineering Techniques (7 papers). Juan Bicarregui collaborates with scholars based in United Kingdom, Denmark and Germany. Juan Bicarregui's co-authors include John Fitzgerald, Jim Woodcock, Peter Gorm Larsen, Brian Matthews, Kevin Lano, Brian Ritchie, S. J. Goldsack, Richard D. Moore, Peter Lindsay and Catherine Jones and has published in prestigious journals such as SHILAP Revista de lepidopterología, ACM Computing Surveys and IEEE Transactions on Software Engineering.

In The Last Decade

Juan Bicarregui

33 papers receiving 577 citations

Peers

Juan Bicarregui
John Mark Ockerbloom United States
Stuart Faulk United States
Arend Rensink Netherlands
Brent Hailpern United States
István Ráth Hungary
Colin Runciman United Kingdom
Bingchiang Jeng Taiwan
David C. Rine United States
Perdita Stevens United Kingdom
Derek Coleman United States
John Mark Ockerbloom United States
Juan Bicarregui
Citations per year, relative to Juan Bicarregui Juan Bicarregui (= 1×) peers John Mark Ockerbloom

Countries citing papers authored by Juan Bicarregui

Since Specialization
Citations

This map shows the geographic impact of Juan Bicarregui's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Juan Bicarregui with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Juan Bicarregui more than expected).

Fields of papers citing papers by Juan Bicarregui

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Juan Bicarregui. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Juan Bicarregui. The network helps show where Juan Bicarregui may publish in the future.

Co-authorship network of co-authors of Juan Bicarregui

This figure shows the co-authorship network connecting the top 25 collaborators of Juan Bicarregui. A scholar is included among the top collaborators of Juan Bicarregui based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Juan Bicarregui. Juan Bicarregui is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Bicarregui, Juan. (2020). Quality and Trust in the European Open Science Cloud. SHILAP Revista de lepidopterología. 15(1). 8–8. 1 indexed citations
2.
Bicarregui, Juan. (2016). Review: Building and sustaining data infrastructures. Figshare. 3 indexed citations
3.
Aziz, Benjamin, Álvaro Arenas, Juan Bicarregui, Christophe Ponsard, & Philippe Massonet. (2009). From Goal-Oriented Requirements to Event-B Specifications. Bucks New University Repository (Bucks New University). 96–105. 6 indexed citations
4.
Matthews, Brian, et al.. (2009). Towards a Methodology for Software Preservation. eScholarship (California Digital Library). 13 indexed citations
5.
Bicarregui, Juan, John Fitzgerald, Peter Gorm Larsen, & Jim Woodcock. (2009). Industrial Practice in Formal Methods: A Review. Lecture notes in computer science. 810–813. 8 indexed citations
6.
Arenas, Álvaro, et al.. (2008). Modelling Security Properties in a Grid-based Operating System with Anti-Goals. Science and Technology Facilities Council. 1429–1436. 1 indexed citations
7.
Arenas, Álvaro & Juan Bicarregui. (2006). Applying Unifying Theories Of Programming To Real-Time Programming. Formal Methods. 10(4). 69–88. 1 indexed citations
8.
Arenas, Álvaro, Juan Bicarregui, & Tiziana Margaria. (2006). The Fmics View On The Verified Software Repository. Formal Methods. 10(4). 47–54. 8 indexed citations
9.
Bicarregui, Juan, et al.. (2006). 20/20 Vision: an e-Infrastructure for the next decade. Report of the Data and Information Creation Working Group to the e-Infrastructure Steering Group. ePrints Soton (University of Southampton).
10.
Bicarregui, Juan, C. A. R. Hoare, & Jim Woodcock. (2006). The verified software repository: a step towards the verifying compiler. Formal Aspects of Computing. 18(2). 143–151. 20 indexed citations
11.
Bicarregui, Juan. (2003). Information Systems Research and Development at CCLRC. Electronic Notes in Theoretical Computer Science. 80. 261–266. 1 indexed citations
12.
Dimitrakos, Theo, et al.. (2003). Policy-driven access control over a distributed firewall architecture. Science and Technology Facilities Council. 5. 228–231. 11 indexed citations
13.
Maharaj, Savi & Juan Bicarregui. (2002). On the verification of VDM specification and refinement with PVS. ePubs (Science and Technology Facilities Council, Research Councils UK). 6. 280–289.
14.
Bicarregui, Juan, et al.. (2001). The CLRC Data Portal. Lecture notes in computer science.
15.
Lano, Kevin, José Luiz Fiadeiro, Juan Bicarregui, & Tom Maibaum. (2000). Composition of reactive system components. Research Portal (King's College London). 267–283. 4 indexed citations
16.
Bicarregui, Juan, et al.. (1998). Investigating the Integration of two Formal Methods. Formal Aspects of Computing. 10(5). 532–549.
17.
Bicarregui, Juan, Jeremy Dick, Brian Matthews, & Eóin Woods. (1997). Making the most of formal specification through animation, testing and proof. Science of Computer Programming. 29(1-2). 53–78. 23 indexed citations
18.
Bicarregui, Juan, John Fitzgerald, Peter Lindsay, Richard D. Moore, & Brian Ritchie. (1994). Proof in VDM: A Practitioner’s Guide. 47 indexed citations
19.
Bicarregui, Juan & Brian Ritchie. (1993). Invariants, Frames and Post Conditions: A Comparison of Two Formal Specification Notations. 1 indexed citations
20.
Bicarregui, Juan. (1993). A Model Oriented Analysis of a Communications Protocol. STIN. 94. 29109. 1 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by John Mark Ockerbloom Breakdown of academic impact, for papers by Stuart Faulk Breakdown of academic impact, for papers by Arend Rensink Breakdown of academic impact, for papers by Brent Hailpern Breakdown of academic impact, for papers by István Ráth Breakdown of academic impact, for papers by Colin Runciman Breakdown of academic impact, for papers by Bingchiang Jeng Breakdown of academic impact, for papers by David C. Rine Breakdown of academic impact, for papers by Perdita Stevens Breakdown of academic impact, for papers by Derek Coleman
Rankless by CCL
2026