Papers in 2025
22
Papers, all years
619
Years indexed
20
Since
2007
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202522 papers✓ verified
Theoretical Aspects of Software Engineering - 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14-16, 2025, Proceedings
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2026 · papers count once per institution on them
Academia 79%Industry 0%Government and other 21%
Institutions
- 1East China Normal University🇨🇳7
- 2Peking University🇨🇳6
- 3Shanghai Jiao Tong University🇨🇳4
- 4Xidian University🇨🇳3
- 5Huaqiao University🇨🇳2
- 6Chinese Academy of Sciences🇨🇳2
- 7Hong Kong University of Science and Technology🇭🇰2
- 8Shanghai Key Laboratory of Trustworthy Computing🇨🇳2
- 9Guangzhou Institute of Technology🇨🇳2
- 10Zhejiang University🇨🇳2
- 11Centre National de la Recherche Scientifique🇫🇷1
- 12University of Liverpool🇬🇧1
Countries
- China21
- Hong Kong SAR China2
- Denmark1
- France1
- United Kingdom1
- India1
- Italy1
- Japan1
- Portugal1
- United States1
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like TASE
Closest by the phrases in their paper titles over the last five complete years.
- ICFEM International Conference on Formal Engineering Methods0.29automataevent-bformaltimed automataformal verification
- SETTA Symposium on Dependable Software Engineering: Theories, Tools and Applications0.28concurrent objectsformalformal verificationcoqverified
- FM International Symposium on Formal Methods0.21automataformalverificationverifyingformal verification
- CAV International Conference on Computer-Aided Verification0.19verifyingverificationautomataverifiedformally
- ATVA International Symposium on Automated Technology for Verification and Analysis0.17automataverifiedlogictimed automataverification
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
4.1 in 2026
Papers by an entirely new team
32% in 2026
Most published at TASE
- Huibiao Zhu2007 to 202629
- Shengchao Qin2007 to 202619
- Zongyan Qiu2007 to 201713
- Zhenhua Duan2007 to 202411
- Ming Gu2008 to 201911
- Qin Li2009 to 202310
- Geguang Pu2007 to 20259
- Huaikou Miao2007 to 20139
- Yixiang Chen2009 to 20199
- Yongxin Zhao2010 to 20249