default search action

combined dblp search
author search
venue search
publication search

ask others

Adam Antonik

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2010
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/AntonikHLNW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/AntonikHLNW10
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
Modal and mixed specifications: key decision problems and their complexities. Math. Struct. Comput. Sci. 20(1): 75-103 (2010)
2008
[j1]
- no documents available
  - details & citations
- export record
  dblp key:
  - journals/eatcs/AntonikHLNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eatcs/AntonikHLNW08
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik Nyman, Andrzej Wasowski:
20 Years of Modal and Mixed Specifications. Bull. EATCS 95: 94-129 (2008)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/AntonikHLNW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/AntonikHLNW08
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications. FoSSaCS 2008: 112-126
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikHLNW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntonikHLNW09
Adam Antonik, Michael Huth, Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications. EXPRESS 2008: 19-33
2007
[c3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntonikH09
Adam Antonik, Michael Huth:
On the Complexity of Semantic Self-minimization. AVoCS 2007: 3-19
2006
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikH06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntonikH06
Adam Antonik, Michael Huth:
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. MFPS 2006: 41-57
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/AntonikCH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/AntonikCH09
Adam Antonik, Nathaniel Charlton, Michael Huth:
Polynomial-Time Under-Approximation of Winning Regions in Parity Games. MFCSIT 2006: 115-139

Coauthor Index

see FAQ

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.