logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
L

Laura Kovács

Technische Universitat Wien

22H指数
191论文数
2.2K被引数
收录论文 9
发表时间
logo
Moments in Time: Algebraic Analysis for Solvable Loops时刻与时间：可解环的代数分析
err43RD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, STACS 2026
IF0
err2026-01-01
err0
PREAI
errKovacs, Laura
err分享
err收藏
Positive Almost-Sure Termination of Polynomial Random Walks多项式随机游走的正向几乎必然终止
errQUANTITATIVE EVALUATION OF SYSTEMS AND FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, QEST+FORMATS 2025
IF0
err2026-01-01
err0
PREAI
errWinkler, Lorenz; Kovacs, Laura
err分享
err收藏
Synthesis Benchmarks for Automated Reasoning自动推理的合成基准
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
errOAAI
errHajdu, Marton; Hozzova, Petra; Kovacs, Laura; Voronkov, Andrei; Wagner, Eva Maria; Zilincik, Richard Steven
err分享
err收藏
Finding Connections via Satisfiability Solving通过可满足性求解寻找连接
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errEisenhofer, Clemens; Rawson, Michael; Kovacs, Laura
err分享
err收藏
Game Modeling of Blockchain Protocols区块链协议的游戏建模
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errRain, Sophie; Komel, Anja Petkovi; Rawson, Michael; Kovacsk, Laura
err分享
err收藏
Constraint Learning for Non-confluent Proof Search非共流证明搜索中的约束学习
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errRawson, Michael; Eisenhofer, Clemens; Kovacs, Laura
err分享
err收藏
On Solving String Equations via Powers and Parikh Images通过幂运算和帕利希图像求解字符串方程
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errEisenhofer, Clemens; Seiser, Theodor; Bjorner, Nikolaj; Kovacs, Laura
err分享
err收藏
Divide and Conquer: A Compositional Approach to Game-Theoretic Security分治法：一种面向博弈论安全的组合方法
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errBocevska, Ivana; Komel, Anja Petkovic; Kovacs, Laura; Rain, Sophie; Rawson, Michael
err分享
err收藏
Stem-cell-specific endocytic degradation defects lead to intestinal dysplasia in Drosophila
errDISEASE MODELS & MECHANISMS
IF3.3
err2016-05-01
err22
errOAAI
errNagy, Peter; Kovacs, Laura; Sandor, Gyongyver O.; Juhasz, Gabor
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
G
Gábor Juhász
H 指数: 48 · 论文数: 195
N
Nikolaj Bjørner
H 指数: 39 · 论文数: 191
А
Андрей Воронков
H 指数: 35 · 论文数: 290
P
Péter Nagy
H 指数: 24 · 论文数: 65
G
Gyöngyvér Orsolya Sándor
H 指数: 7 · 论文数: 22
查看更多