Acta Informatica 42.1k citations
1.6k papers · indexed · active since 1950
Impact in Formal Methods in Verification semigroups and automata theory Papers in i Formal Methods in Verification 423 semigroups and automata theory 358 Petri Nets in System Modeling 120 Logic, programming, and type systems 415 Algorithms and Data Compression 249 Logic, Reasoning, and Knowledge 168 show more fields Overview Impact Peers Geography Research Space Peers Acta Informatica
Comparison fields: 5 of 207 Computational Theory and Mathematics 20.1k Software 4.7k Hardware and Architecture 5.9k Artificial Intelligence 22.0k Computer Networks and Communications 13.6k Signal Processing 4.0k Computer Graphics and Computer-Aided Design 1.1k Management Information Systems 2.5k Information Systems 5.0k Industrial and Manufacturing Engineering 2.1k Discrete Mathematics and Combinatorics 498 Management Science and Operations Research 1.1k Computer Vision and Pattern Recognition 1.8k Mathematical Physics 564 Computer Science Applications 292 Molecular Biology 2.9k Geometry and Topology 364 Geography, Planning and Development 226 Algebra and Number Theory 163 Electrical and Electronic Engineering 2.0k Statistics and Probability 265 Computational Mathematics 19 Transportation 193 Safety, Risk, Reliability and Quality 244 Statistical and Nonlinear Physics 309 Information Systems and Management 165 Theoretical Computer Science 28 Biomaterials 270 Control and Systems Engineering 473 Mechanical Engineering 553 Numerical Analysis 77 Computational Mechanics 256 Building and Construction 142 Ocean Engineering 149 Human-Computer Interaction 53 Aerospace Engineering 206 Environmental Engineering 105 Experimental and Cognitive Psychology 88 Automotive Engineering 80 Media Technology 59 Genetics 169 Organic Chemistry 176 Statistics, Probability and Uncertainty 43 Sociology and Political Science 275 Emergency Medical Services 35 Pharmaceutical Science 32 Food Science 95 Condensed Matter Physics 60 Economics and Econometrics 139 Geology 27 Philosophy 56 Language and Linguistics 53 Surfaces, Coatings and Films 32 Management of Technology and Innovation 34 Rehabilitation 26 Developmental and Educational Psychology 54 Applied Mathematics 41 Atomic and Molecular Physics, and Optics 117 Cognitive Neuroscience 67 Animal Science and Zoology 35 Biomedical Engineering 151 Finance 35 Plant Science 121 Development 12 Materials Chemistry 144 Biophysics 17 History and Philosophy of Science 15 Geochemistry and Petrology 17 Safety Research 23 Organizational Behavior and Human Resource Management 28 Architecture 4 Polymers and Plastics 35 Electronic, Optical and Magnetic Materials 44 Civil and Structural Engineering 53 General Health Professions 54 Molecular Medicine 11 Social Psychology 47 Health Information Management 10 Global and Planetary Change 48 Spectroscopy 36 Medical Laboratory Technology 3 Cultural Studies 18 Astronomy and Astrophysics 34 Human Factors and Ergonomics 5 Instrumentation 7 Paleontology 14 Strategy and Management 30 Mechanics of Materials 44 Aging 3 Marketing 16 Water Science and Technology 23 Atmospheric Science 29 Modeling and Simulation 7 Ecology, Evolution, Behavior and Systematics 30 Microbiology 9 Electrochemistry 9 Filtration and Separation 3 Space and Planetary Science 2 Demography 17 Pharmacy 6 Ecological Modeling 6 Environmental Chemistry 14 Oceanography 17 Ecology 35 Public Administration 5 Orthodontics 5 Earth-Surface Processes 9 Radiology, Nuclear Medicine and Imaging 26 Aquatic Science 9 Cellular and Molecular Neuroscience 22 Insect Science 15 Periodontics 5 Physical and Theoretical Chemistry 11 Geophysics 16 Radiation 10 Metals and Alloys 3 Fluid Flow and Transfer Processes 7 Nature and Landscape Conservation 14 Acoustics and Ultrasonics 1 General Decision Sciences 2 Analytical Chemistry 10 Inorganic Chemistry 14 Education 30 Nutrition and Dietetics 14 Classics 4 Law 10 Energy Engineering and Power Technology 3 Pollution 11 Communication 7 Developmental Biology 2 Renewable Energy, Sustainability and the Environment 15 General Energy 1 Epidemiology 27 Surgery 35 Sensory Systems 4 Hematology 9 Archeology 9 Health, Toxicology and Mutagenesis 11 Industrial and Manufacturing Engineering 7 Urban Studies 5 Agronomy and Crop Science 8 Clinical Biochemistry 5 Public Health, Environmental and Occupational Health 20 Neurology 6 Accounting 9 Infectious Diseases 13 Health Informatics 1 Gender Studies 7 Soil Science 7 Catalysis 5 Pharmacology 11 Biochemistry 5 Biotechnology 6 Virology 3 Structural Biology 1 Neurology 9 Applied Psychology 3 Cell Biology 10 Toxicology 2 Nuclear and High Energy Physics 8 Linguistics and Language 3 Psychiatry and Mental health 8 Music 2 Visual Arts and Performing Arts 3 Small Animals 4 Immunology and Allergy 3 Religious studies 3 Bioengineering 3 Complementary and alternative medicine 4 Cardiology and Cardiovascular Medicine 10 Literature and Literary Theory 6 Dermatology 4 Management, Monitoring, Policy and Law 6 Oral Surgery 3 Parasitology 3 Endocrinology, Diabetes and Metabolism 7 Cancer Research 6 Radiological and Ultrasound Technology 2 Anesthesiology and Pain Medicine 2 Genetics 4 Gastroenterology 2 Immunology 8 Endocrinology 2 Physiology 9 Pathology and Forensic Medicine 6 Oncology 9 Pharmacology 3 Pediatrics, Perinatology and Child Health 6 History 4 Pulmonary and Respiratory Medicine 9 General Materials Science 1 Nephrology 2 General Social Sciences 1 Conservation 1 Museology 1 Orthopedics and Sports Medicine 2 Clinical Psychology 5 Forestry 1 Critical Care and Intensive Care Medicine 1 General Economics, Econometrics and Finance 2 Political Science and International Relations 5 Anthropology 2 Urology 1 Biochemistry 1 Ceramics and Composites 1 Rheumatology 2 Health 1
Computational Theory and Mathematics 20.1k Software 4.7k Hardware and Architecture 5.9k Artificial Intelligence 22.0k Computer Networks and Communications 13.6k 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
IBM Systems Journal United States
Journal of Artificial Intelligence Research United States
Citations per field
0 0.5× 2× 3× 4× 4.9×
Fundamenta Informaticae · 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 42.1k indexed citations . Papers published in Acta Informatica usually cover Computational Theory and Mathematics (944 papers), Artificial Intelligence (887 papers), Software (102 papers), Hardware and Architecture (157 papers) and Computer Networks and Communications (407 papers) specifically the topics of Formal Methods in Verification (423 papers), Logic, programming, and type systems (415 papers), semigroups and automata theory (358 papers), Algorithms and Data Compression (249 papers), DNA and Biological Computing (171 papers), Logic, Reasoning, and Knowledge (168 papers), Distributed systems and fault tolerance (153 papers) and Petri Nets in System Modeling (120 papers). The most active scholars publishing in Acta Informatica are C. A. R. Hoare , Jon Bentley , Raphael A. Finkel , Niklaus Wirth , Raymond Bayer , David Gries , E. Dijkstra , Edward M. McCreight , Donald E. Knuth and Susan Owicki .
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 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 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 Breakdown of academic impact, for papers in IBM Systems Journal Breakdown of academic impact, for papers in Journal of Artificial Intelligence Research