Old Web
English
Sign In
Acemap
>
authorDetail
>
Karsten Stahl
Karsten Stahl
Abstraction
Decidability
Discrete mathematics
Parameterized complexity
Model checking
4
Papers
42
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (4)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Der Speed2E-Hochdrehzahl-Antriebsstrang
2015
M. Sedlmair
Thomas Lohner
Karsten Stahl
Show All
Source
Cite
Save
Citations (0)
Predictors of Recurrence After Catheter Ablation of Persistent Atrial Fibrillation
2012
Journal of Atrial Fibrillation
Thomas Deneke
Anja Schade
Joachim Krug
Karsten Stahl
Geza-Atilla Szollosi
Dong-In Shin
Nino Schukro
Mohamed El Tarahony
Enrique Murillo
Semko Aram
Gabriele Robhirt
Andreas Mügge
Peter Hubert Grewe
Sebastian Kerber
Show All
Source
Cite
Save
Citations (3)
CFD Simulations of Splash Losses of a Gearbox
2012
Advances in Tribology
Carlo Gorla
Franco Concli
Karsten Stahl
Bernd-Robert H
Michaelis Klaus
J.-P. Stemplinger
Show All
Source
Cite
Save
Citations (39)
Exploring the Limits of Parameterized System Verification
2006
Karsten Stahl
Show All
Source
Cite
Save
Citations (0)
1