Submission Deadline: Thursday 13 Oct 2022
Conference Dates: Apr 22, 2023 - Jan 27, 2023
Tools and Algorithms for Construction and Analysis of Systems mostly deals with topics like Theoretical computer science, Programming language, Model checking, Algorithm and Automaton. In addition to Theoretical computer science research, the event aims to explore topics under Set (abstract data type) and Counterexample. As a part of the event, discussions in Programming language involve topics like Software, Software verification, Symbolic execution, Concurrency and Program analysis.
The conference holds forums on Model checking that merges themes from other disciplines such as Correctness, Bounded function, State (computer science) and Temporal logic. Tools and Algorithms for Construction and Analysis of Systems dives deep in exploring the relationship between the study of Temporal logic and Linear temporal logic. Tools and Algorithms for Construction and Analysis of Systems facilitates discussions on Algorithm that incorporate concepts from other fields like Probabilistic logic, State space and Markov chain.
Timed automaton and Büchi automaton are all areas of Automaton tackled in it. Formal verification and Formal specification are closely related fields of research discussed in it.
The most cited articles primarily tackle Theoretical computer science, Algorithm, Programming language, Model checking and Automaton. The conference articles explore topics in Theoretical computer science which can be helpful for research in disciplines like Set (abstract data type) and State (computer science). The works on Model checking tackled in the most cited articles bring together disciplines like Formal verification, Bounded function, Temporal logic and Counterexample.
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.
The top authors publishing at Tools and Algorithms for Construction and Analysis of Systems (based on the number of publications) are:
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.
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:
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.
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.
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.
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.
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:
The chart below illustrates experience levels of first authors in cases of publications with multiple authors.
Sep 20, 2023 - Sep 22, 2023
Deadline: Wednesday 12 Apr 2023
Sep 19, 2023 - Sep 22, 2023
Deadline: Monday 06 Feb 2023
Sep 04, 2023 - Sep 08, 2023
Deadline: Sunday 16 Apr 2023
Jul 17, 2023 - Jul 22, 2023
Deadline: Friday 03 Feb 2023
Jul 06, 2023 - Jul 08, 2023
Deadline: Friday 10 Feb 2023
Apr 02, 2022 - Apr 02, 2022
29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Thank you for information!