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

Mathias Faber Kristiansen

IT University Copenhagen

0H-index
2Paper Count
0Citation Count
Published Papers 1
Publication Date
logo
Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic
errPRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2026
IF0
err2026-01-01
err0
PREAI
errNielsen, Christian Emil; Kristiansen, Mathias Faber; Bahr, Patrick
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
P
Patrick Bahr
H-index: 8 · Papers: 63
C
Christian Emil Nielsen
H-index: 0 · Papers: 2
All loaded