@inproceedings{DDMR08c,
  author    = "{De Wulf}, M. and Doyen, L. and Maquet, N. and Raskin, J.-F.",
  title     = "Alaska: Antichains for Logic, Automata and Symbolic Kripke structures Analysis",
  booktitle = "ATVA: Automated Technology for Verification and Analysis",
  series    = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag",
  year      = "2008",
  pages     = "",
  isbn      = ""
}

@incollection{BCDHR08,
  author    = "Berwanger, D. and Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raje, S.",
  title     = "Strategy Construction for Parity Games with Imperfect Information",
  booktitle = "Proceedings of CONCUR 2008: Concurrency Theory",
  series    = "Lecture Notes in Computer Science",
  publisher = "Springer-Verlag",
  year      = "2008",
  pages     = "",
  isbn      = ""
}

@inproceedings{DDMR08a,
  author    = "{De Wulf}, M. and Doyen, L. and Maquet, N. and Raskin, J.-F.",
  title     = "Antichains: Alternative Algorithms for LTL Satisfiability and Model-Checking",
  booktitle = "TACAS: Tools and Algorithms for the Construction and Analysis of Systems",
  series    = "Lecture Notes in Computer Science 4963",
  publisher = "Springer-Verlag",
  year      = "2008",
  pages     = "63-77",
  isbn      = "978-3-540-78799-0"
}

@incollection{DR07,
  author    = "Doyen, L. and Raskin, J.-F.",
  title     = "Improved algorithms for the automata based approach to model-checking",
  booktitle = "Proceedings of TACAS 2007: Tools and Algorithms for the Construction and Analysis of Systems",
  series    = "Lecture Notes in Computer Science 4424",
  publisher = "Springer-Verlag",
  year      = "2007",
  pages     = "451-465",
  isbn      = "3-540-71208-9"
}

@article{CDHR07,
  author	= "Chatterjee, K. and Doyen, L. and Henzinger, T.~A. and Raskin, J.-F.",
  title	        = "Algorithms for Omega-regular Games of Incomplete Information",
  journal	= "Logical Methods in Computer Science",
  publisher	= "LMCS-Online",
  volume	= "3",
  number        = "3:4",
  year	        = "2007"
}

@incollection{CDHR06,
  author    = "Chatterjee, K. and Doyen, L. and Henzinger, T. A. and Raskin, J.-F.",
  title     = "Algorithms for Omega-regular games of Incomplete Information",
  booktitle = "Proceedings of CSL 2006: Computer Science Logic",
  series    = "Lecture Notes in Computer Science 4207",
  publisher = "Springer-Verlag",
  year      = "2006",
  pages     = "287-302",
  isbn      = "3-540-45458-8"
}


@incollection{DDHR06,
  author    = "{De Wulf}, M. and Doyen, L. and Henzinger, T. A. and Raskin, J.-F.",
  title     = "Antichains: A New Algorithm for Checking Universality of Finite Automata",
  booktitle = "Proceedings of CAV 2006: Computer-Aided Verification",
  series    = "Lecture Notes in Computer Science 4144",
  publisher = "Springer-Verlag",
  year      = "2006",
  pages     = "17-30",
  isbn      = "3-540-37406-0"
}
 
@incollection{DDR06,
  author    = "{De Wulf}, M. and Doyen, L. and Raskin, J.-F.",
  title     = "A Lattice Theory for Solving Games of Imperfect Information",
  booktitle = "Proceedings of HSCC 2006: Hybrid Systems---Computation and Control",
  series    = "Lecture Notes in Computer Science 3927",
  publisher = "Springer-Verlag",
  year      = "2006",
  pages     = "153--168",
  isbn      = "3-540-33170-0"
}