Acta Informatica 30.5k citations
1.5k papers · indexed · active since 1950
Impact in Formal Methods in Verification semigroups and automata theory Papers in i Formal Methods in Verification 408 semigroups and automata theory 343 Petri Nets in System Modeling 118 Logic, programming, and type systems 399 Algorithms and Data Compression 244 Logic, Reasoning, and Knowledge 164 show more fields Overview Impact Peers Geography Research Space Peers Acta Informatica
Comparison fields: 5 of 206 Software 3.1k Computational Theory and Mathematics 13.1k Hardware and Architecture 4.4k Artificial Intelligence 14.9k Computer Networks and Communications 10.5k Signal Processing 3.1k Computer Graphics and Computer-Aided Design 814 Management Information Systems 1.7k Industrial and Manufacturing Engineering 1.7k Information Systems 3.8k Discrete Mathematics and Combinatorics 413 Management Science and Operations Research 914 Computer Vision and Pattern Recognition 1.4k Mathematical Physics 489 Computational Mathematics 24 Geometry and Topology 311 Algebra and Number Theory 160 Computer Science Applications 187 Geography, Planning and Development 178 Electrical and Electronic Engineering 1.7k Molecular Biology 2.0k Statistics and Probability 229 Transportation 185 Theoretical Computer Science 27 Statistical and Nonlinear Physics 263 Safety, Risk, Reliability and Quality 188 Biomaterials 256 Information Systems and Management 125 Control and Systems Engineering 388 Numerical Analysis 70 Computational Mechanics 210 Mechanical Engineering 377 Ocean Engineering 129 Building and Construction 104 Human-Computer Interaction 41 Aerospace Engineering 180 Environmental Engineering 91 Statistics, Probability and Uncertainty 44 Experimental and Cognitive Psychology 76 Automotive Engineering 68 Media Technology 48 Pharmaceutical Science 33 Organic Chemistry 155 Food Science 88 Condensed Matter Physics 56 Philosophy 51 Emergency Medical Services 33 Genetics 128 Geology 25 Sociology and Political Science 188 Economics and Econometrics 116 Surfaces, Coatings and Films 28 Management of Technology and Innovation 27 Language and Linguistics 39 Rehabilitation 24 Applied Mathematics 35 Cognitive Neuroscience 61 Animal Science and Zoology 32 Biomedical Engineering 128 Materials Chemistry 132 Plant Science 104 Atomic and Molecular Physics, and Optics 85 History and Philosophy of Science 12 Architecture 4 Finance 26 Biophysics 14 Civil and Structural Engineering 50 Polymers and Plastics 32 Geochemistry and Petrology 13 Molecular Medicine 11 Electronic, Optical and Magnetic Materials 39 General Health Professions 53 Instrumentation 7 Organizational Behavior and Human Resource Management 21 Global and Planetary Change 43 Development 7 Medical Laboratory Technology 3 Health Information Management 9 Safety Research 16 Filtration and Separation 4 Strategy and Management 27 Paleontology 13 Microbiology 11 Social Psychology 36 Cultural Studies 14 Aging 3 Developmental and Educational Psychology 20 Mechanics of Materials 39 Space and Planetary Science 2 Ecology, Evolution, Behavior and Systematics 30 Water Science and Technology 21 Astronomy and Astrophysics 24 Atmospheric Science 26 Public Administration 5 Spectroscopy 24 Ecological Modeling 6 Insect Science 17 Orthodontics 6 Ecology 33 Aquatic Science 9 Pharmacy 6 Earth-Surface Processes 8 Oceanography 14 Geophysics 15 Acoustics and Ultrasonics 1 Demography 13 Marketing 10 General Decision Sciences 2 Modeling and Simulation 5 Periodontics 5 Nature and Landscape Conservation 13 Cellular and Molecular Neuroscience 19 Radiology, Nuclear Medicine and Imaging 24 Analytical Chemistry 10 Environmental Chemistry 10 General Energy 1 Fluid Flow and Transfer Processes 6 Energy Engineering and Power Technology 3 Inorganic Chemistry 13 Renewable Energy, Sustainability and the Environment 15 Developmental Biology 2 Radiation 8 Nutrition and Dietetics 14 Physical and Theoretical Chemistry 8 Linguistics and Language 4 Pollution 10 Classics 3 Neurology 7 Sensory Systems 4 Electrochemistry 5 Hematology 9 Surgery 35 Agronomy and Crop Science 8 Metals and Alloys 2 Health Informatics 1 Clinical Biochemistry 5 Health, Toxicology and Mutagenesis 10 Structural Biology 1 Industrial and Manufacturing Engineering 6 Archeology 7 Epidemiology 24 Biotechnology 6 Oral Surgery 5 Public Health, Environmental and Occupational Health 20 Urban Studies 4 Small Animals 5 Cell Biology 11 Pharmacology 11 Music 2 Visual Arts and Performing Arts 3 Soil Science 6 Accounting 7 Endocrinology 3 Toxicology 2 Catalysis 4 Dermatology 5 Infectious Diseases 10 Anesthesiology and Pain Medicine 3 Bioengineering 3 Management, Monitoring, Policy and Law 6 Complementary and alternative medicine 4 Endocrinology, Diabetes and Metabolism 8 Genetics 5 Nuclear and High Energy Physics 6 Literature and Literary Theory 5 Parasitology 3 Communication 3 Human Factors and Ergonomics 1 Immunology 9 Virology 2 Biochemistry 3 Religious studies 2 Cancer Research 6 Psychiatry and Mental health 6 Cardiology and Cardiovascular Medicine 9 Applied Psychology 2 Radiological and Ultrasound Technology 2 Physiology 10 Gastroenterology 2 Pharmacology 3 Pulmonary and Respiratory Medicine 11 Oncology 9 General Materials Science 1 Education 9 General Social Sciences 1 Pediatrics, Perinatology and Child Health 6 History 3 Nephrology 2 Pathology and Forensic Medicine 5 Forestry 1 General Economics, Econometrics and Finance 2 Orthopedics and Sports Medicine 2 Gender Studies 2 Law 2 Rheumatology 3 Neurology 3 Critical Care and Intensive Care Medicine 1 Clinical Psychology 4 Ceramics and Composites 1 Political Science and International Relations 4 Biochemistry 1 Immunology and Allergy 1 Urology 1 Speech and Hearing 1 Hepatology 1 Health 1
Software 3.1k Computational Theory and Mathematics 13.1k Hardware and Architecture 4.4k Artificial Intelligence 14.9k Computer Networks and Communications 10.5k Information and Computation United States
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans United States
Bell System Technical Journal United States
International Journal of Parallel Programming United States
Fundamenta Informaticae Poland
Science of Computer Programming United States
ACM Transactions on Mathematical Software United States
Journal of Computer and System Sciences United States
IBM Systems Journal United States
Citations per field
0 0.5× 1.5×
Information and Computation · 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.5k papers published in Acta Informatica in the last decades have received a total of 30.5k indexed citations . Papers published in Acta Informatica usually cover Computational Theory and Mathematics (912 papers), Artificial Intelligence (857 papers), Software (99 papers), Hardware and Architecture (154 papers) and Computer Networks and Communications (394 papers) specifically the topics of Formal Methods in Verification (408 papers), Logic, programming, and type systems (399 papers), semigroups and automata theory (343 papers), Algorithms and Data Compression (244 papers), DNA and Biological Computing (167 papers), Logic, Reasoning, and Knowledge (164 papers), Distributed systems and fault tolerance (148 papers) and Petri Nets in System Modeling (118 papers). The most active scholars publishing in Acta Informatica are Jon Bentley , Raphael A. Finkel , Niklaus Wirth , Raymond Bayer , C. A. R. Hoare , E. Dijkstra , Edward M. McCreight , David Gries , Donald E. Knuth and George Markowsky .
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 Information and Computation 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 International Journal of Parallel Programming Breakdown of academic impact, for papers in Fundamenta Informaticae Breakdown of academic impact, for papers in Computing Breakdown of academic impact, for papers in Science of Computer Programming Breakdown of academic impact, for papers in ACM Transactions on Mathematical Software Breakdown of academic impact, for papers in Journal of Computer and System Sciences Breakdown of academic impact, for papers in IBM Systems Journal