logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
J

Jan Oliver Ringert

bauhaus-universitat weimar

20H-index
118Paper Count
1.2KCitation Count
Published Papers 4
Publication Date
logo
On the Comparison of Learned Classifiers
errSOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2025
IF0
err2026-01-01
err0
PREAI
errSoaibuzzaman; Doering, Jenny; Kasi, Srinivasulu; Ringert, Jan Oliver
errShare
errSave
On Writing Alloy Models: Metrics and a New Dataset
errRIGOROUS STATE-BASED METHODS, ABZ 2025
IF0
err2026-01-01
err0
PREAI
errSoaibuzzaman; Kalantari, Salar; Ringert, Jan Oliver
errShare
errSave
On Specifying for Trustworthiness
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-12-21
err4
errOAAI
errAbeywickrama, Dhaminda B.; Bennaceur, Amel; Chance, Greg; Demiris, Yiannis; Kordoni, Anastasia; Levine, Mark; Moffat, Luke; Moreau, Luc; Mousavi, Mohammad Reza; Nuseibeh, Bashar; Ramamoorthy, Subramanian; Ringert, Jan Oliver; Wilson, James; Windsor, Shane; Eder, Kerstin
errShare
errSave
Efficient Algorithms for Omega-Regular Energy Games
errFORMAL METHODS, FM 2021
IF0
err2021-11-10
err0
errOAAI
errAmram, Gal; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
B
Bashar Nuseibeh
H-index: 53 · Papers: 425
Y
Yiannis Demiris
H-index: 47 · Papers: 334
M
Mark Levine
H-index: 46 · Papers: 253
S
Shahar Maoz
H-index: 26 · Papers: 143
S
Subramanian Ramamoorthy
H-index: 23 · Papers: 282
View more