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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bowen, J.P., He, J., Pandya, P.: An approach to verifiable compiling specification and prototyping. In: Deransart, P., Małuszyński, J. (eds.) PLILP 1990. LNCS, vol. 456, pp. 45–59. Springer, Heidelberg (1990)
Bowen, J.P., Hoare, C.A.R., Langmaack, H., Olderog, E.-R., Ravn, A.P.: A ProCoS II Project final report: ESPRIT Basic Research project 7071. Bulletin of the European Association for Theoretical Computer Science (EATCS) 59, 76–99 (1996)
Bowen, J.P., Reeves, S.: From a Community of Practice to a Body of Knowledge: A case study of the formal methods community. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 308–322. Springer, Heidelberg (2011)
Bowen, J.P., Wilson, R.J.: Visualising virtual communities: From Erdős to the arts. In: Dunn, S., Bowen, J.P., Ng, K. (eds.) EVA London 2012 Conference Proceedings, Electronic Workshops in Computing (eWiC), pp. 238–244. British Computer Society (2012), arXiv:1207.3420v1
Egghe, L.: Theory and practise of the g-index. Scientometrics 69(1), 131–152 (2006), doi:10.1007/s11192-006-0144-7
Harré, R.: The Philosophies of Science: An Introductory Survey. Oxford University Press (1972)
He, J.: Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers. McGraw-Hill (1994)
He, J., Bowen, J.P.: Specification, verification and prototyping of an optimized compiler. Formal Aspects of Computing 6(6), 643–658 (1994)
He, J., et al.: Provably correct systems. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) FTRTFT 1994. LNCS, vol. 863, pp. 288–335. Springer, Heidelberg (1994)
He, J., Page, I., Bowen, J.P.: Towards a provably correct hardware implementation of Occam. In: Milne, G.J., Pierre, L. (eds.) CHARME 1993. LNCS, vol. 683, pp. 214–225. Springer, Heidelberg (1993)
Henson, M.C., Reeves, S., Bowen, J.P.: Z logic and its consequences. CAI: Computing and Informatics 22(4), 381–415 (2003)
Hirsch, J.E.: An index to quantify an individual’s scientific research output. Proceedings of the National Academy of Sciences 102(46), 16569–16572 (2005), arXiv:physics/0508025, doi:10.1073/pnas.0507655102
Hoare, C.A.R., He, J., Bowen, J.P., Pandya, P.: An algebraic approach to verifiable compiling specification and prototyping of the ProCoS Level 0 programming language. In: Directorate-General XIII of the Commission of the European Communities (eds.) ESPRIT 1990 Conference Proceedings, Brussels, Belgium, November 12-15, pp. 804–818. Kluwer Academic Publishers (1990)
Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall Series in Computer Science (1998)
Sanitt, N.: Science as a Questioning Process. Institute of Physics Publishing, Bristol and Philadelphia (1996)
Spivey, J.M.: The Z Notation: A reference manual (Originally published by Prentice Hall, 2nd edn. 1992) (2001), http://spivey.oriel.ox.ac.uk/mike/zrm/
Spivey, J.M.: The fuzz type-checker for Z (2008), http://spivey.oriel.ox.ac.uk/mike/fuzz/
Van Doren, C.: A History of Knowledge: Past, present, and future. Ballantine Books, New York (1991)
Zhu, H., Bowen, J.P., He, J.: From operational semantics to denotational semantics for verilog. In: Margaria, T., Melham, T. (eds.) CHARME 2001. LNCS, vol. 2144, pp. 449–464. Springer, Heidelberg (2001)
Zhu, H., Bowen, J.P., He, J.: Soundness, completeness and non-redundancy of operational semantics for Verilog based on denotational semantics. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 600–612. Springer, Heidelberg (2002)
Zhu, H., He, J., Bowen, J.P.: From algebraic semantics to denotational semantics for Verilog. Innovations in Systems and Software Engineering: A NASA Journal 4(4), 341–360 (2008)
Zhu, H., He, J., Li, J., Bowen, J.P.: Algebraic approach to linking the semantics of web services. Innovations in Systems and Software Engineering: A NASA Journal 7(3), 209–224 (2011)
Zhu, H., Yang, F., He, J., Bowen, J.P., Sanders, J.W., Qin, S.: Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language. The Journal of Logic and Algebraic Programming 81(1), 2–25 (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bowen, J.P. (2013). A Relational Approach to an Algebraic Community: From Paul Erdős to He Jifeng. In: Liu, Z., Woodcock, J., Zhu, H. (eds) Theories of Programming and Formal Methods. Lecture Notes in Computer Science, vol 8051. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39698-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-39698-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39697-7
Online ISBN: 978-3-642-39698-4
eBook Packages: Computer ScienceComputer Science (R0)