Adam Antonik - Concepedia

Author

Adam Antonik

Also Known As

ADAM ANTONIK, Adam Antonik, Antonik, Adam

Publications

149

Citations

H-Index

Concepts

All Affiliations

Adam Antonik is an author at Imperial College London specializing in formal methods, computer science, and formal specification.

#	Concept	H-Index	Publications	Citations
1	Engineering	2	2	25
2	Computer Science	2	2	25
3	Automated Reasoning	2	2	25
4	Formal Methods	2	2	25
5	Systems Engineering	1	1	12

Adam Antonik

Publications

Citations

H-Index

Page 1

	Year	Citations
20 Years of Modal and Mixed Specifications Adam Antonik, Michael Huth, Kim G. Larsen, VBN Forskningsportal (Aalborg Universitet)	2008	61
Efficient Patterns for Model Checking Partial State Spaces in CTL ∩ LTL Adam Antonik, Michael Huth Electronic Notes in Theoretical Computer Science EngineeringVerificationComputer-aided VerificationModel CheckingHigher-order Logic	2006	13
EXPTIME-complete Decision Problems for Modal and Mixed Specifications Adam Antonik, Michael Huth, Kim G. Larsen, Electronic Notes in Theoretical Computer Science Decision ProcedureFormal SpecificationEngineeringAutomated ReasoningExptime-complete Decision Problems	2009	12
Polynomial-Time Under-Approximation of Winning Regions in Parity Games Adam Antonik, Nathaniel Charlton, Michael Huth Electronic Notes in Theoretical Computer Science	2009	12

Page 1