로드 중...
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
연간 인용횟수
중복된 서지정보
다음 학술 문서는 학술검색에서 병합되어 있습니다.
총 인용
횟수가 첫 번째 학술 문서에 대해서만 계산됩니다.
병합된 서지정보
이 '인용' 횟수는 학술검색의 다음 학술 문서에 대한 인용문을 포함합니다.
*
표시된 인용문은 프로필에 있는 학술 문서와 다를 수 있습니다.
공동 저자 추가
공동 저자
팔로우
이 저자의 새 학술자료
이 저자를 인용한 새 학술자료
이 저자의 연구와 관련된 새 학술자료
업데이트를 받을 이메일 주소
완료
내 프로필
내 서재
통계
알리미
설정
로그인
로그인
내 프로필 만들기
인용
전체
2019년 이후
서지정보
32
32
h-index
2
2
i10-index
1
1
0
16
8
2023
2024
16
16
공동 저자
Frederik Schmitt
Ph.D. student at CISPA Helmholtz Center for Information Security and Saarland University
cispa.de의 이메일 확인됨
Christopher Hahn
X, the moonshot factory (Google X)
google.com의 이메일 확인됨
Bernd Finkbeiner
Professor of Computer Science, CISPA Helmholtz Center for Information Security
cispa.de의 이메일 확인됨
팔로우
Matthias Cosler
PhD Student, CISPA Helmholtz Center for Information Security
cispa.de의 이메일 확인됨 -
홈페이지
학술자료
인용
공동 저자
제목
정렬
서지정보순 정렬
연도순 정렬
제목순 정렬
인용
인용
연도
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel
arXiv preprint arXiv:2303.04864
, 2023
25
2023
Iterative Circuit Repair Against Formal Specifications
M Cosler, F Schmitt, C Hahn, B Finkbeiner
arXiv preprint arXiv:2303.01158
, 2023
7
2023
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
M Cosler, C Hahn, A Omar, F Schmitt
International Conference on Tools and Algorithms for the Construction and …
, 2024
2024
Neural Circuit Synthesis with Pre-trained Language Models
F Schmitt, M Cosler, B Finkbeiner
First International Workshop on Deep Learning-aided Verification
, 2023
2023
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–4
더보기
개인정보처리방침
약관
도움말
학술검색 정보
검색 도움말