Formal Aspects of Computing 16.3k citations
961 papers · indexed · active since 1975
Impact in Formal Methods in Verification Petri Nets in System Modeling Model-Driven Software Engineering Techniques Software Testing and Debugging Techniques Papers in i Formal Methods in Verification 451 Petri Nets in System Modeling 23 Model-Driven Software Engineering Techniques 65 Software Testing and Debugging Techniques 44 show more fields Overview Impact Peers Geography Research Space Peers Formal Aspects of Computing
Comparison fields: 5 of 114 Computational Theory and Mathematics 7.4k Software 2.3k Artificial Intelligence 8.3k Hardware and Architecture 448 Management Information Systems 532 Computer Networks and Communications 939 Information Systems 750 Computer Science Applications 146 Safety, Risk, Reliability and Quality 254 Human-Computer Interaction 139 Computer Graphics and Computer-Aided Design 66 Control and Systems Engineering 214 Management Science and Operations Research 114 Industrial and Manufacturing Engineering 67 Cognitive Neuroscience 112 Signal Processing 46 Computer Vision and Pattern Recognition 124 Statistics, Probability and Uncertainty 43 Theoretical Computer Science 10 Geometry and Topology 48 Social Psychology 97 Development 13 Cellular and Molecular Neuroscience 48 Sociology and Political Science 154 Modeling and Simulation 14 Medical Laboratory Technology 2 Architecture 12 Ecology, Evolution, Behavior and Systematics 39 Statistical and Nonlinear Physics 24 Experimental and Cognitive Psychology 31 Business and International Management 2 Information Systems and Management 16 Industrial relations 2 Electrical and Electronic Engineering 94 Media Technology 15 Computational Mathematics 1 Numerical Analysis 7 Molecular Biology 94 Automotive Engineering 14 Language and Linguistics 21 Transportation 7 Genetics 30 History and Philosophy of Science 12 Statistics and Probability 12 Management of Technology and Innovation 8 Mechanical Engineering 34 Ocean Engineering 12 Mathematical Physics 10 Aerospace Engineering 21 Health Information Management 7 Organizational Behavior and Human Resource Management 10 Developmental Neuroscience 2 Insect Science 6 Geography, Planning and Development 4 Public Health, Environmental and Occupational Health 18 General Social Sciences 2 Safety Research 6 Building and Construction 7 Biomedical Engineering 17 Discrete Mathematics and Combinatorics 2 Occupational Therapy 3 Education 15 Computational Mechanics 9 Applied Mathematics 5 General Decision Sciences 1 Geochemistry and Petrology 2 Atomic and Molecular Physics, and Optics 9 Urban Studies 2 Visual Arts and Performing Arts 3 Finance 3 Developmental and Educational Psychology 4 Astronomy and Astrophysics 5 General Health Professions 5 Algebra and Number Theory 1 Civil and Structural Engineering 5 Communication 2 General Economics, Econometrics and Finance 2 Law 3 Sensory Systems 1 Nature and Landscape Conservation 2 Physical and Theoretical Chemistry 2 Music 1 Gender Studies 2 Political Science and International Relations 6 Strategy and Management 3 Classics 1 Geology 1 Literature and Literary Theory 3 Waste Management and Disposal 1 Global and Planetary Change 3 Cell Biology 2 Mechanics of Materials 3 Earth-Surface Processes 1 Philosophy 2 Economics and Econometrics 3 Marketing 1 Food Science 2 Radiology, Nuclear Medicine and Imaging 2 Analytical Chemistry 1 Oceanography 1 Ecology 2 Environmental Engineering 1 Accounting 1 Pulmonary and Respiratory Medicine 2 Water Science and Technology 1 Nuclear and High Energy Physics 1 History 1 Plant Science 2 Surgery 2 Clinical Psychology 1 Oncology 1 Cardiology and Cardiovascular Medicine 1 Epidemiology 1 Materials Chemistry 1
Computational Theory and Mathematics 7.4k Software 2.3k Artificial Intelligence 8.3k Hardware and Architecture 448 Management Information Systems 532 International Journal on Software Tools for Technology Transfer Germany
Formal Methods in System Design United States
Automated Software Engineering United States
Advances in computers United States
Evolutionary Computation United States
ACM Transactions on Modeling and Computer Simulation United States
IEEE Control Systems United States
Annals of Mathematics and Artificial Intelligence United States
Journal of Automated Reasoning United States
Software & Systems Modeling Germany
Citations per field
0 0.5× 1.5×
International Journal on Software Tools for Technology Transfer · 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 961 papers published in Formal Aspects of Computing in the last decades have received a total of 16.3k indexed citations . Papers published in Formal Aspects of Computing usually cover Computational Theory and Mathematics (487 papers), Software (108 papers), Artificial Intelligence (585 papers), Computer Science Applications (15 papers) and Hardware and Architecture (19 papers) specifically the topics of Logic, programming, and type systems (526 papers), Formal Methods in Verification (451 papers), Model-Driven Software Engineering Techniques (65 papers), Software Testing and Debugging Techniques (44 papers), Distributed systems and fault tolerance (30 papers), Advanced Software Engineering Methodologies (27 papers), Petri Nets in System Modeling (23 papers) and Logic, Reasoning, and Knowledge (21 papers). The most active scholars publishing in Formal Aspects of Computing are Bengt Jönsson , Hans Hansson , Jan Aldert Bergstra , Murdoch J. Gabbay , J. C. M. Baeten , Andrew M. Pitts , Jim Woodcock , Egon Börger , Aravinda Prasad Sistla and Matthew Hennessy .
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 International Journal on Software Tools for Technology Transfer Breakdown of academic impact, for papers in Formal Methods in System Design Breakdown of academic impact, for papers in Automated Software Engineering Breakdown of academic impact, for papers in Advances in computers Breakdown of academic impact, for papers in Evolutionary Computation Breakdown of academic impact, for papers in ACM Transactions on Modeling and Computer Simulation Breakdown of academic impact, for papers in IEEE Control Systems Breakdown of academic impact, for papers in Annals of Mathematics and Artificial Intelligence Breakdown of academic impact, for papers in Journal of Automated Reasoning Breakdown of academic impact, for papers in Software & Systems Modeling