A relational approach to an algebraic community: from paul erdős to he jifeng

Authors:
Jonathan P. Bowen
Affiliations:
Department of Informatics, Faculty of Business, London South Bank University, London, UK
Venue:
Theories of Programming and Formal Methods
Year:
2013

Citing 9
Cited 0

The Z notation: a reference manual

The Z notation: a reference manual
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers

Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers
An Approach to Verifiable Compiling Specification and Prototyping

PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Towards a Provably Correct Hardware Implementation of Occam

CHARME '93 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
From Operational Semantics to Denotational Semantics for Verilog

CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Provably Correct Systems

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
From a community of practice to a body of knowledge: a case study of the formal methods community

FM'11 Proceedings of the 17th international conference on Formal methods
Algebraic approach to linking the semantics of web services

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Scholarly advance depends on the interaction of researchers in a large number of overlapping communities in different disciplines (mathematics, computer science, etc.) and fields within these disciplines (e.g., algebra, formal methods, etc.). Now that academic publications are largely accessible on the Internet, these connections are directly available through a number of resources and visualization tools that are available online. Academic links are typically in the form of co-authors, citations, supervisor/student, etc., forming different types of relations between pairs of researchers. This paper explores these links with some specific examples, including visualization of these relationships and their formalization using the Z notation.