Formal Aspects of Computing 10.2k citations
923 papers ·
indexed · active since 1950
Topics Formal Methods in Verification Logic, programming, and type systems Distributed systems and fault tolerance Overview Impact Peers Geography Research Space Peers Formal Aspects of Computing
Comparison fields: 5 of 130 Artificial Intelligence 6.0k Computational Theory and Mathematics 5.7k Software 3.2k Computer Networks and Communications 2.1k Information Systems 1.9k Hardware and Architecture 1.4k Management Information Systems 627 Signal Processing 438 Electrical and Electronic Engineering 270 Safety, Risk, Reliability and Quality 247 Control and Systems Engineering 244 Management Science and Operations Research 215 Molecular Biology 199 Sociology and Political Science 188 Computer Vision and Pattern Recognition 157 Industrial and Manufacturing Engineering 149 Cognitive Neuroscience 108 Information Systems and Management 90 Social Psychology 88 Mechanical Engineering 75 Cellular and Molecular Neuroscience 66 Human-Computer Interaction 66 Ecology, Evolution, Behavior and Systematics 64 Computer Science Applications 61 Statistics, Probability and Uncertainty 56 Genetics 47 Experimental and Cognitive Psychology 46 Surgery 40 Statistical and Nonlinear Physics 38 Statistics and Probability 38 Automotive Engineering 37 Mathematical Physics 36 Atomic and Molecular Physics, and Optics 30 Management of Technology and Innovation 29 Biomedical Engineering 28 Insect Science 27 Philosophy 26 General Health Professions 24 Aerospace Engineering 24 Geometry and Topology 23 Organic Chemistry 22 Computer Graphics and Computer-Aided Design 17 Computational Mechanics 16 Ocean Engineering 16 Safety Research 15 Spectroscopy 14 Building and Construction 14 Development 13 Education 13 Transportation 13 Plant Science 13 Media Technology 12 Astronomy and Astrophysics 11 Medical Laboratory Technology 11 Developmental and Educational Psychology 11 Radiological and Ultrasound Technology 11 Language and Linguistics 11 Economics and Econometrics 10 Theoretical Computer Science 10 Materials Chemistry 10 Ecology 7 Organizational Behavior and Human Resource Management 7 Discrete Mathematics and Combinatorics 7 Public Health, Environmental and Occupational Health 6 Strategy and Management 6 Marketing 6 Sensory Systems 6 Numerical Analysis 5 Pharmacology 5 Environmental Engineering 5 Health Information Management 5 Endocrine and Autonomic Systems 5 Food Science 5 Applied Mathematics 4 Mechanics of Materials 4 Biophysics 4 Global and Planetary Change 4 Modeling and Simulation 4 Cultural Studies 3 Finance 3 History and Philosophy of Science 3 Atmospheric Science 3 Cell Biology 3 Civil and Structural Engineering 3 Algebra and Number Theory 3 General Economics, Econometrics and Finance 3 Emergency Medical Services 3 Epidemiology 3 Neurology 3 Nature and Landscape Conservation 2 Ecological Modeling 2 Computational Mathematics 2 Architecture 2 Radiology, Nuclear Medicine and Imaging 2 Geochemistry and Petrology 2 Communication 2 Anthropology 2 Instrumentation 2 Biomaterials 2 Management, Monitoring, Policy and Law 2 Physiology 2 Renewable Energy, Sustainability and the Environment 2 Analytical Chemistry 2 Nutrition and Dietetics 2 Geography, Planning and Development 2 Reproductive Medicine 2 Urban Studies 2 Geology 1 Gender Studies 1 Applied Psychology 1 Accounting 1 Electrochemistry 1 Pulmonary and Respiratory Medicine 1 Applied Microbiology and Biotechnology 1 Political Science and International Relations 1 Law 1 Health Informatics 1 Library and Information Sciences 1 Clinical Psychology 1 Agronomy and Crop Science 1 Condensed Matter Physics 1 Nuclear and High Energy Physics 1 Classics 1 Oceanography 1 Neurology 1 Literature and Literary Theory 1 Inorganic Chemistry 1 Conservation 1 Orthodontics 1 Pollution 1
Artificial Intelligence 6.0k Computational Theory and Mathematics 5.7k Software 3.2k Computer Networks and Communications 2.1k Information Systems 1.9k Formal Methods in System Design United States
International Journal on Software Tools for Technology Transfer United States
Journal of Automated Reasoning United States
Automated Software Engineering United States
The Journal of Object Technology United States
Mathematical Structures in Computer Science France
International Journal of Software Engineering and Knowledge Engineering China
Journal of Logic and Computation United Kingdom
Software & Systems Modeling Germany
Journal of Functional Programming United States
Citations per field
0 0.5× 1.6×
Formal Methods in System Design · 1× This map shows the geographic impact of research published in Formal Aspects of Computing. 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 papers published in Formal Aspects of Computing with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Formal Aspects of Computing more than expected).
This network shows the impact of papers published in Formal Aspects of Computing. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers published in Formal Aspects of Computing.
About Formal Aspects of Computing The 923 papers published in Formal Aspects of Computing in the last decades have received a total of 10.2k indexed citations . Papers published in Formal Aspects of Computing usually cover Software (256 papers), Computational Theory and Mathematics (587 papers) and Hardware and Architecture (161 papers) specifically the topics of Formal Methods in Verification (519 papers), Logic, programming, and type systems (371 papers) and Distributed systems and fault tolerance (132 papers). The most active scholars publishing in Formal Aspects of Computing are Bengt Jönsson , Hans Hansson , Murdoch J. Gabbay , J. C. M. Baeten , J. A. Bergstra , Andrew M. Pitts , A. Prasad Sistla , Jim Woodcock , Matthew Hennessy and Egon Börger .
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 journals with similar magnitude of impact Breakdown of academic impact, for papers in Formal Methods in System Design Breakdown of academic impact, for papers in International Journal on Software Tools for Technology Transfer Breakdown of academic impact, for papers in Journal of Automated Reasoning Breakdown of academic impact, for papers in Automated Software Engineering Breakdown of academic impact, for papers in The Journal of Object Technology Breakdown of academic impact, for papers in Mathematical Structures in Computer Science Breakdown of academic impact, for papers in International Journal of Software Engineering and Knowledge Engineering Breakdown of academic impact, for papers in Journal of Logic and Computation Breakdown of academic impact, for papers in Software & Systems Modeling Breakdown of academic impact, for papers in Journal of Functional Programming