default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 65 matches
- 2024
- Katherine Kosaian, Yong Kiam Tan:
Formalizing Coppersmith's Method. Arch. Formal Proofs 2024 (2024) - Yong Kiam Tan, Jiong Yang:
Approximate Model Counting. Arch. Formal Proofs 2024 (2024) - Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan:
End-to-End Verification for Subgraph Solving. AAAI 2024: 8038-8047 - Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel:
Formally Certified Approximate Model Counting. CAV (1) 2024: 153-177 - Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström:
Certified MaxSAT Preprocessing. IJCAR (1) 2024: 396-418 - Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier:
Formalizing Coppersmith's Method in Isabelle/HOL. CICM 2024: 127-145 - Sunpill Kim, Yong Kiam Tan, Bora Jeong, Soumik Mondal, Khin Mi Mi Aung, Jae Hong Seo:
Scores Tell Everything about Bob: Non-adaptive Face Reconstruction on Face Recognition Systems. SP 2024: 1684-1702 - Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström:
Certified MaxSAT Preprocessing. CoRR abs/2404.17316 (2024) - Yong Kiam Tan, Jiong Yang, Mate Soos, Magnus O. Myreen, Kuldeep S. Meel:
Formally Certified Approximate Model Counting. CoRR abs/2406.11414 (2024) - Hailin Li, Raghavendra Ramachandra, Mohamed Ragab, Soumik Mondal, Yong Kiam Tan, Khin Mi Mi Aung:
Unsupervised Fingerphoto Presentation Attack Detection With Diffusion Models. CoRR abs/2409.18636 (2024) - 2023
- Emin Karayel, Yong Kiam Tan:
Concentration Inequalities. Arch. Formal Proofs 2023 (2023) - Sunpill Kim, Yong Kiam Tan:
The Schwartz-Zippel Lemma. Arch. Formal Proofs 2023 (2023) - Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, Scott Owens:
Cakes That Bake Cakes: Dynamic Computation in CakeML. Proc. ACM Program. Lang. 7(PLDI): 1121-1144 (2023) - Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen:
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML. Int. J. Softw. Tools Technol. Transf. 25(2): 167-184 (2023) - Katherine Kosaian, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CPP 2023: 211-224 - Paul Horng-Jyh Wu, Casey How Kiam Cheng, Bryan Lim Yong Tah, Toh Hong Lie, Justin See Tiong Beng, Roy Ong Ban Guan, Jane Tan Jing Yi, Ziwen Liu, Conejos Sheila Maria Arcuino, Luke Peh Lu Chang, Yongqing Zhu:
Virtual Lab Workspace for Programming Computers - Towards Agile STEM Education. LTEC 2023: 55-68 - 2022
- Katherine Cordwell, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox:
Verified Compilation and Optimization of Floating-Point Programs in CakeML (Artifact). Dagstuhl Artifacts Ser. 8(2): 10:1-10:2 (2022) - James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X - (System Description). IJCAR 2022: 723-733 - Heiko Becker, Robert Rabe, Eva Darulova, Magnus O. Myreen, Zachary Tatlock, Ramana Kumar, Yong Kiam Tan, Anthony C. J. Fox:
Verified Compilation and Optimization of Floating-Point Programs in CakeML. ECOOP 2022: 1:1-1:28 - Yong Kiam Tan, Stefan Mitsch, André Platzer:
Verifying Switched System Stability With Logic. HSCC 2022: 2:1-2:11 - James Gallicchio, Yong Kiam Tan, Stefan Mitsch, André Platzer:
Implicit Definitions with Differential Equations for KeYmaera X (System Description). CoRR abs/2203.01272 (2022) - Katherine Kosaian, Yong Kiam Tan, André Platzer:
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL. CoRR abs/2209.10978 (2022) - 2021
- Katherine Cordwell, Yong Kiam Tan, André Platzer:
The BKR Decision Procedure for Univariate Real Arithmetic. Arch. Formal Proofs 2021 (2021) - Yong Kiam Tan, André Platzer:
An axiomatic approach to existence and liveness for differential equations. Formal Aspects Comput. 33(4-5): 461-518 (2021) - Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan, Katherine Cordwell, André Platzer:
Pegasus: sound continuous invariant generation. Formal Methods Syst. Des. 58(1-2): 5-41 (2021) - Yong Kiam Tan, André Platzer:
Switched Systems as Hybrid Programs. ADHS 2021: 247-252 - Katherine Cordwell, Yong Kiam Tan, André Platzer:
A Verified Decision Procedure for Univariate Real Arithmetic with the BKR Algorithm. ITP 2021: 14:1-14:20 - Yong Kiam Tan, Marijn J. H. Heule, Magnus O. Myreen:
cake_lpr: Verified Propagation Redundancy Checking in CakeML. TACAS (2) 2021: 223-241 - Yong Kiam Tan, André Platzer:
Deductive Stability Proofs for Ordinary Differential Equations. TACAS (2) 2021: 181-199
skipping 35 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-28 12:10 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint