Skip to main navigation
Skip to search
Skip to main content
King's College London Home
Home
Profiles
Research units
Research output
Projects
Student theses
Activities
Datasets
Impacts
Prizes
Search by expertise, name or affiliation
Jan Oliver Ringert
Dr
https://orcid.org/0000-0002-3610-3920
99
Citations
Overview
Fingerprint
Network
Research output
(4)
Similar Profiles
(2)
Research output
2
Article
1
Conference paper
1
Other contribution
Research output per year
Research output per year
1 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Other contribution
Search results
2015
GR(1) Synthesis for LTL Specification Patterns
Maoz, S. &
Ringert, J. O.
,
2015
, ACM.
Research output
:
Other contribution
Open Access
File
68
Citations (Scopus)
69
Downloads (Pure)