Acta Informatica 41.9k citations
1.6k papers · indexed · active since 2016
Impact in Formal Methods in Verification semigroups and automata theory Papers in i Formal Methods in Verification 423 semigroups and automata theory 360 Petri Nets in System Modeling 120 Logic, programming, and type systems 414 Algorithms and Data Compression 250 Logic, Reasoning, and Knowledge 166 show more fields Overview Impact Peers Geography Research Space Peers Acta Informatica
Comparison fields: 5 of 211 Computational Theory and Mathematics 20.0k Software 4.7k Hardware and Architecture 5.8k Artificial Intelligence 21.8k Computer Networks and Communications 13.5k Signal Processing 4.0k Computer Graphics and Computer-Aided Design 1.1k Management Information Systems 2.5k Information Systems 4.9k Industrial and Manufacturing Engineering 2.1k Discrete Mathematics and Combinatorics 510 Management Science and Operations Research 1.1k Computer Vision and Pattern Recognition 1.8k Mathematical Physics 572 Computer Science Applications 295 Molecular Biology 2.9k Geometry and Topology 379 Geography, Planning and Development 223 Algebra and Number Theory 171 Electrical and Electronic Engineering 2.0k Statistics and Probability 276 Computational Mathematics 18 Transportation 187 Safety, Risk, Reliability and Quality 240 Statistical and Nonlinear Physics 308 Information Systems and Management 162 Theoretical Computer Science 28 Biomaterials 270 Control and Systems Engineering 476 Numerical Analysis 85 Mechanical Engineering 547 Computational Mechanics 264 Building and Construction 141 Ocean Engineering 148 Human-Computer Interaction 54 Aerospace Engineering 206 Automotive Engineering 84 Environmental Engineering 98 Experimental and Cognitive Psychology 88 Media Technology 61 Organic Chemistry 175 Genetics 169 Sociology and Political Science 279 Statistics, Probability and Uncertainty 43 Emergency Medical Services 35 Pharmaceutical Science 32 Economics and Econometrics 141 Food Science 95 Condensed Matter Physics 61 Language and Linguistics 55 Management of Technology and Innovation 34 Surfaces, Coatings and Films 32 Geology 25 Philosophy 53 Rehabilitation 26 Developmental and Educational Psychology 51 Applied Mathematics 42 Atomic and Molecular Physics, and Optics 121 Finance 35 Animal Science and Zoology 35 Cognitive Neuroscience 63 Biophysics 19 Biomedical Engineering 143 Plant Science 118 Materials Chemistry 144 Safety Research 25 History and Philosophy of Science 15 Geochemistry and Petrology 17 Development 11 Organizational Behavior and Human Resource Management 27 Architecture 4 Polymers and Plastics 35 Civil and Structural Engineering 54 Electronic, Optical and Magnetic Materials 45 Social Psychology 48 Molecular Medicine 11 Health Information Management 10 Spectroscopy 37 General Health Professions 51 Global and Planetary Change 47 Medical Laboratory Technology 3 Cultural Studies 18 Human Factors and Ergonomics 5 Astronomy and Astrophysics 34 Marketing 18 Strategy and Management 30 Instrumentation 7 Paleontology 14 Atmospheric Science 33 Mechanics of Materials 44 Aging 3 Ecological Modeling 7 Water Science and Technology 22 Ecology, Evolution, Behavior and Systematics 31 Orthodontics 6 Microbiology 9 Environmental Chemistry 15 Electrochemistry 9 Oceanography 18 Space and Planetary Science 2 Filtration and Separation 3 Demography 17 Public Administration 5 Pharmacy 6 Physical and Theoretical Chemistry 12 Modeling and Simulation 6 Earth-Surface Processes 9 Ecology 33 Cellular and Molecular Neuroscience 23 Geophysics 17 Aquatic Science 9 Insect Science 15 Periodontics 5 Radiology, Nuclear Medicine and Imaging 25 Radiation 10 Metals and Alloys 3 Fluid Flow and Transfer Processes 7 General Decision Sciences 2 Acoustics and Ultrasonics 1 Analytical Chemistry 10 Inorganic Chemistry 14 Education 30 Law 10 Classics 4 Nature and Landscape Conservation 12 Communication 7 Energy Engineering and Power Technology 3 Nutrition and Dietetics 14 Pollution 11 General Energy 1 Renewable Energy, Sustainability and the Environment 15 Developmental Biology 2 Health, Toxicology and Mutagenesis 12 Sensory Systems 4 Epidemiology 27 Surgery 34 Gender Studies 8 Accounting 9 Hematology 9 Archeology 9 Waste Management and Disposal 7 Urban Studies 5 Agronomy and Crop Science 8 Clinical Biochemistry 5 Neurology 6 Soil Science 7 Catalysis 5 Biotechnology 6 Biochemistry 5 Health Informatics 1 Cell Biology 11 Structural Biology 1 Infectious Diseases 12 General Dentistry 1 Virology 3 Nuclear and High Energy Physics 9 Applied Psychology 3 Public Health, Environmental and Occupational Health 17 Neurology 9 Pharmacology 10 Oral Surgery 4 Linguistics and Language 3 Toxicology 2 Music 2 Visual Arts and Performing Arts 3 Psychiatry and Mental health 8 Small Animals 4 Religious studies 3 Immunology and Allergy 3 Bioengineering 3 Complementary and alternative medicine 4 Literature and Literary Theory 6 Management, Monitoring, Policy and Law 6 Parasitology 3 Dermatology 4 Endocrinology, Diabetes and Metabolism 7 Physiology 2 Cardiology and Cardiovascular Medicine 9 Radiological and Ultrasound Technology 2 Physiology 10 Genetics 4 Immunology 8 Gastroenterology 2 Anesthesiology and Pain Medicine 2 Endocrinology 2 Cancer Research 5 Pathology and Forensic Medicine 6 Pharmacology 3 History 4 Pediatrics, Perinatology and Child Health 6 Oncology 8 General Materials Science 1 Pulmonary and Respiratory Medicine 9 General Social Sciences 1 Clinical Psychology 6 Nephrology 2 Conservation 1 Museology 1 Orthopedics and Sports Medicine 2 Forestry 1 General Economics, Econometrics and Finance 2 Critical Care and Intensive Care Medicine 1 Political Science and International Relations 5 Anthropology 2 Urology 1 Ceramics and Composites 1 Biochemistry 1 Speech and Hearing 1 Rheumatology 2 Health 1 Reproductive Medicine 1
Computational Theory and Mathematics 20.0k Software 4.7k Hardware and Architecture 5.8k Artificial Intelligence 21.8k Computer Networks and Communications 13.5k IBM Journal of Research and Development United States
Fundamenta Informaticae Poland
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans United States
Bell System Technical Journal United States
Science of Computer Programming United States
International Journal of Parallel Programming United States
Journal of Computer and System Sciences United States
ACM Transactions on Mathematical Software United States
ACM Transactions on Programming Languages and Systems United States
Citations per field
0 0.5× 1.5× 1.9×
IBM Journal of Research and Development · 1× This map shows the geographic impact of research published in Acta Informatica. 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 Acta Informatica with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Acta Informatica more than expected).
This network shows the impact of papers published in Acta Informatica. 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 Acta Informatica.
About Acta Informatica The 1.6k papers published in Acta Informatica in the last decades have received a total of 41.9k indexed citations . Papers published in Acta Informatica usually cover Computational Theory and Mathematics (948 papers), Artificial Intelligence (888 papers), Software (102 papers), Hardware and Architecture (155 papers) and Computer Networks and Communications (406 papers) specifically the topics of Formal Methods in Verification (423 papers), Logic, programming, and type systems (414 papers), semigroups and automata theory (360 papers), Algorithms and Data Compression (250 papers), DNA and Biological Computing (171 papers), Logic, Reasoning, and Knowledge (166 papers), Distributed systems and fault tolerance (152 papers) and Petri Nets in System Modeling (120 papers). The most active scholars publishing in Acta Informatica are C. A. R. Hoare , Jon Louis Bentley , Raphael A. Finkel , Niklaus Wirth , Raymond G. Bayer , E. Dijkstra , David Gries , Edward M. McCreight , Donald E. Knuth and Joost Engelfriet .
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 IBM Journal of Research and Development Breakdown of academic impact, for papers in Fundamenta Informaticae Breakdown of academic impact, for papers in IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans Breakdown of academic impact, for papers in Bell System Technical Journal Breakdown of academic impact, for papers in Science of Computer Programming Breakdown of academic impact, for papers in International Journal of Parallel Programming Breakdown of academic impact, for papers in Computing Breakdown of academic impact, for papers in Journal of Computer and System Sciences Breakdown of academic impact, for papers in ACM Transactions on Mathematical Software Breakdown of academic impact, for papers in ACM Transactions on Programming Languages and Systems