International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)

This ranking presents a comprehensive evaluation of scientific conferences within the field of Computer Science. Prepared by Research.com, a leading platform in the provision of trusted scientific data and analyses since 2014, this ranking is recognized for its rigorous and credible approach to assessing academic contributions across major scientific domains, including Computer Science.

The ranking methodology is grounded in a unique bibliometric score, developed by the experts at Research.com. Each conference's position is determined by this proprietary metric, which integrates both the estimated h-index and the number of leading scientists who have contributed to the conference in the past three years. Such an approach ensures that the impact and academic influence of each event are accurately reflected.

Impact Score values in this ranking were gathered on 2024-11-27, providing current and relevant information for the research community. The assessment process entailed a meticulous examination of more than 2,742 conferences, each selected through detailed inspection and an extensive analytical process. Over 148,739 scientific documents published within the last three years were reviewed, authored by 13,184 of the most respected and influential scientists in the domain of Computer Science. This level of depth in both the dataset and analysis highlights the expertise and dedication involved in compiling these rankings.

To ensure full transparency and to further enhance the credibility of these results, a detailed explanation of the methodology and computation of ranking scores is available. For more information, please visit our Methodology Page.

Papers citation over time

A key indicator for each conference is its effectiveness in reaching other researchers with the papers published at that venue.

The chart below presents the interquartile range (first quartile 25%, median 50% and third quartile 75%) of the number of citations of articles over time.

Top authors and change over time

The top authors publishing at Tools and Algorithms for Construction and Analysis of Systems (based on the number of publications) are:

• Tomáš Vojnar (18 papers) published 1 paper at the last edition, 1 less than at the previous edition,
• Daniel Kroening (16 papers) published 1 paper at the last edition,
• Bernd Fischer (16 papers) absent at the last edition,
• Andreas Podelski (13 papers) absent at the last edition,
• Matthias Heizmann (12 papers) published 1 paper at the last edition, 2 less than at the previous edition.

The overall trend for top authors publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top authors.

Top affiliations and change over time

Only papers with recognized affiliations are considered

The top affiliations publishing at Tools and Algorithms for Construction and Analysis of Systems (based on the number of publications) are:

• University of Oxford (44 papers) published 3 papers at the last edition, 1 less than at the previous edition,
• University of Freiburg (22 papers) published 1 paper at the last edition, 4 less than at the previous edition,
• Brno University of Technology (22 papers) published 2 papers at the last edition, 1 less than at the previous edition,
• RWTH Aachen University (19 papers) published 7 papers at the last edition, 4 more than at the previous edition,
• Microsoft (19 papers) published 2 papers at the last edition the same number as at the previous edition.

The overall trend for top affiliations publishing at this conference is outlined below. The chart shows the number of publications at each edition of the conference for top affiliations.

Publication chance based on affiliation

The publication chance index shows the ratio of articles published by the best research institutions at the conference edition to all articles published within that conference. The best research institutions were selected based on the largest number of articles published during all editions of the conference.

The chart below presents the percentage ratio of articles from top institutions (based on their ranking of total papers).Top affiliations were grouped by their rank into the following tiers: top 1-10, top 11-20, top 21-50, and top 51+. Only articles with a recognized affiliation are considered.

During the most recent 2019 edition, 0.00% of publications had an unrecognized affiliation. Out of the publications with recognized affiliations, 33.78% were posted by at least one author from the top 10 institutions publishing at the conference. Another 20.27% included authors affiliated with research institutions from the top 11-20 affiliations. Institutions from the 21-50 range included 22.97% of all publications and 22.97% were from other institutions.

Returning Authors Index

A very common phenomenon observed among researchers publishing scientific articles is the intentional selection of conferences they have already attended in the past. In particular, it is worth analyzing the case when the authors participate in the same conference from year to year.

The Returning Authors Index presented below illustrates the ratio of authors who participated in both a given as well as the previous edition of the conference in relation to all participants in a given year.

Returning Institution Index

The graph below shows the Returning Institution Index, illustrating the ratio of institutions that participated in both a given and the previous edition of the conference in relation to all affiliations present in a given year.

The experience to innovation index

Our experience to innovation index was created to show a cross-section of the experience level of authors publishing at a conference. The index includes the authors publishing at the last edition of a conference, grouped by total number of publications throughout their academic career (P) and the total number of citations of these publications ever received (C).

The group intervals were selected empirically to best show the diversity of the authors' experiences, their labels were selected as a convenience, not as judgment. The authors were divided into the following groups:

• Novice - P < 5 or C < 25 (the number of publications less than 5 or the number of citations less than 25),
• Competent - P < 10 or C < 100 (the number of publications less than 10 or the number of citations less than 100),
• Experienced - P < 25 or C < 625 (the number of publications less than 25 or the number of citations less than 625),
• Master - P < 50 or C < 2500 (the number of publications less than 50 or the number of citations less than 2500),
• Star - P ≥ 50 and C ≥ 2500 (both the number of publications greater than 50 and the number of citations greater than 2500).

The chart below illustrates experience levels of first authors in cases of publications with multiple authors.