Papers

Articles in preparation

@inproceedings{BonnetS2016,
  author = {Bonnet, Édouard and Saffidine, Abdallah},
  title = {The Importance of Rank in Trick-Taking Card Games},
  booktitle = {Under review},
  pages = {},
  month = jun,
  year = 2016,

}

Refereed international journal articles

@article{BaumeisterBLNNRS2017JAAMAS,
  author = {Baumeister, Dorothea and Bouveret, Sylvain and Lang, J{\'e}r{\^o}me and Nguyen, Nhan-Tam and Nguyen, Trung Thanh and Rothe, J{\"o}rg and Saffidine, Abdallah},
  title = {Positional scoring-based allocation of indivisible goods},
  journal = {Autonomous Agents and Multi-Agent Systems (\textbf{JAAMAS})},
  volume = {31},
  number = {3},
  publisher = {Springer},
  month = may,
  year = 2017,
  pages = {628--655},
  issn = {1573-7454},
  doi = {10.1007/s10458-016-9340-x}
}
@article{BonnetJS2016TCS,
  author = {Bonnet, Édouard and Jamain, Florian and Saffidine, Abdallah},
  title = {On the Complexity of Connection Games},
  journal = {Theoretical Computer Science (\textbf{TCS})},
  volume = {644},
  editor = {van den Herik, Jaap and Plaat, Aske and Kosters, Walter},
  publisher = {Elsevier},
  pages = {2--28},
  month = jun,
  year = 2016,
  eprint = {1605.04715},
  doi = {10.1016/j.tcs.2016.06.033},
  issn = {0304-3975}
}
@article{ElkindLS2014SCW,
  author = {Elkind, Edith and Lang, Jérôme and Saffidine, Abdallah},
  title = {Condorcet Winning Sets},
  journal = {Social Choice and Welfare (\textbf{SCW})},
  volume = {44},
  number = {3},
  publisher = {Springer},
  pages = {493--517},
  month = oct,
  year = 2014,
  doi = {10.1007/s00355-014-0853-4},
  issn = {0176-1714}
}
@article{Saffidine2014TCIAIG,
  author = {Saffidine, Abdallah},
  title = {The Game Description Language is {T}uring Complete},
  journal = {IEEE Transactions in Computational Intelligence and AI in Games (\textbf{TCIAIG})},
  volume = {6},
  number = {4},
  publisher = {IEEE},
  pages = {320--324},
  month = sep,
  year = 2014,
  doi = {10.1109/TCIAIG.2014.2354417},
  issn = {1943-068X},

}
@article{SaffidineCM2011KBS,
  author = {Saffidine, Abdallah and Cazenave, Tristan and Méhat, Jean},
  title = {{UCD}: {U}pper {C}onfidence Bound for Rooted {D}irected Acyclic Graphs},
  journal = {Knowledge-Based Systems (\textbf{KBS})},
  volume = {34},
  pages = {26--33},
  publisher = {Elsevier},
  month = dec,
  year = 2011,
  doi = {10.1016/j.knosys.2011.11.014},

}

Refereed full papers in international conferences with published proceedings

@inproceedings{SaffidineSZ2018AAAI,
  author = {Saffidine, Abdallah and Schwarzentruber, François and Zanuttini, Bruno},
  title = {Knowledge-Based Policies for Qualitative Decentralized {POMDPs}},
  booktitle = {32nd AAAI Conference on Artificial Intelligence (\textbf{AAAI})},
  editor = {McIlraith, Sheila and Weinberger, Kilian},
  publisher = {AAAI Press},
  address = {New Orleans, USA},
  month = feb,
  year = 2018
}
@inproceedings{GaspersRST2018AAAI,
  author = {Gaspers, Serge and Rümmele, Stefan and Saffidine, Abdallah and Tran, Kevin},
  title = {Minesweeper with Limited Moves},
  booktitle = {32nd AAAI Conference on Artificial Intelligence (\textbf{AAAI})},
  editor = {McIlraith, Sheila and Weinberger, Kilian},
  publisher = {AAAI Press},
  address = {New Orleans, USA},
  month = feb,
  year = 2018
}
@inproceedings{MatteiSW2017IJCAI,
  author = {Mattei, Nicholas and Saffidine, Abdallah and Walsh, Toby},
  title = {Mechanisms for Online Organ Matching},
  booktitle = {26th International Joint Conference on Artificial Intelligence (\textbf{IJCAI})},
  editor = {Sierra, Carles},
  publisher = {AAAI Press},
  pages = {345--351},
  address = {Melbourne, Australia},
  month = aug,
  year = 2017,
  doi = {10.24963/ijcai.2017/49}
}
@inproceedings{BonnetGLRS2017ICALP,
  author = {Bonnet, Édouard and Gaspers, Serge and Lambilliotte, Antonin and Rümmele, Stefan and Saffidine, Abdallah},
  title = {The Parameterized Complexity of Positional Games},
  booktitle = {44th International Colloquium on Automata, Languages, and Programming (\textbf{ICALP})},
  editor = {Chatzigiannakis, Ioannis and Indyk, Piotr and Kuhn, Fabian and Muscholl, Anca},
  pages = {90:1--90:14},
  publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  series = {Leibniz International Proceedings in Informatics (LIPIcs)},
  isbn = {978-3-95977-041-5},
  issn = {1868-8969},
  volume = {80},
  address = {Warsaw, Poland},
  month = jul,
  year = 2017,
  doi = {10.4230/LIPIcs.ICALP.2017.90},
  eprint = {1704.08536}
}
@inproceedings{CouceiroMPS2017ISMVL,
  author = {Couceiro, Miguel and Mercuriali, Pierre and Péchoux, Romain and Saffidine, Abdallah},
  title = {Median based calculus for lattice polynomials and monotone Boolean functions},
  booktitle = {47th IEEE International Symposium on Multiple-Valued Logic (\textbf{ISMVL})},
  editor = {Dubrova, Elena and Manyà, Felip and Nagayama, Shinobu},
  publisher = {IEEE Computer Society},
  pages = {1--6},
  address = {Novi Sad, Serbia},
  month = may,
  year = 2017
}
@inproceedings{CazenaveSST2016AAAI,
  author = {Cazenave, Tristan and Saffidine, Abdallah and Schofield, Michael and Thielscher, Michael},
  title = {Nested {M}onte {C}arlo Search for Two-player Games},
  booktitle = {30th AAAI Conference (\textbf{AAAI})},
  editor = {Schuurmans, Dale and Wellman, Michael},
  publisher = {AAAI Press},
  pages = {687--693},
  address = {Phoenix, USA},
  month = feb,
  year = 2016,
  url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12134/11652}
}
@inproceedings{CauwetTLYCSLW2015,
  author = {Cauwet, Marie-Liesse and Teytaud, Olivier and Liang, Hua-Min and Yen, Shi-Jim and Cazenave, Tristan and Saffidine, Abdallah and Lin, Hung-Hsuan and Wu, I-Chen},
  title = {Depth, Balancing, and Limits of the {Elo} Model},
  booktitle = {IEEE Conference on Computational Intelligence and Games (\textbf{CIG})},
  editor = {Yen, Shi-Jim and Cazenave, Tristan and Hingston, Philip},
  publisher = {IEEE},
  pages = {376--382},
  address = {Tainan, Taiwan},
  month = aug,
  year = 2015,
  issn = {2325-4270},
  doi = {10.1109/CIG.2015.7317964},
  eprint = {1511.02006}
}
@inproceedings{BonnetJS2015ACG,
  author = {Bonnet, Édouard and Jamain, Florian and Saffidine, Abdallah},
  title = {Draws, Zugzwangs, and {PSPACE}-Completeness in the Slither Connection Game},
  booktitle = {Advances in Computer Games (\textbf{ACG})},
  editor = {Plaat, Aske and van den Herik, Jaap and Kosters, Walter},
  publisher = {Springer},
  address = {Leiden, The Netherlands},
  pages = {160--176},
  month = jul,
  year = 2015,
  doi = {10.1007/978-3-319-27992-3_15},
  isbn = {978-3-319-27992-3},
  journalv = {#BonnetJS2016TCS}
}
@inproceedings{SaffidineTY2015ACG,
  author = {Saffidine, Abdallah and Teytaud, Olivier and Yen, Shi-Jim},
  title = {Go Complexities},
  booktitle = {Advances in Computer Games (\textbf{ACG})},
  editor = {Plaat, Aske and van den Herik, Jaap and Kosters, Walter},
  publisher = {Springer},
  address = {Leiden, The Netherlands},
  pages = {76--88},
  month = jul,
  year = 2015,
  doi = {10.1007/978-3-319-27992-3_8},
  isbn = {978-3-319-27992-3}
}
@inproceedings{CerexheRST2014ECAI,
  author = {Cerexhe, Timothy and Rajaratnam, David and Saffidine, Abdallah and Thielscher, Michael},
  title = {A Systematic Solution to the (De-)Composition Problem in General Game Playing},
  booktitle = {21st European Conference on Artificial Intelligence (\textbf{ECAI})},
  editor = {Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry},
  publisher = {IOS Press},
  pages = {195--200},
  address = {Prague, Czech Republic},
  month = aug,
  year = 2014,
  doi = {10.3233/978-1-61499-419-0-195}
}
@inproceedings{RomeroST2014AAAI,
  author = {Romero, Javier and Saffidine, Abdallah and Thielscher, Michael},
  title = {Solving the Inferential Frame Problem in the General Game Description Language},
  booktitle = {28th AAAI Conference (\textbf{AAAI})},
  editor = {Brodley, Carla E. and Stone, Peter},
  publisher = {AAAI Press},
  pages = {515--521},
  address = {Québec City, Canada},
  month = jul,
  year = 2014,
  url = {https://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8539/8464}
}
@incollection{SaffidineC2013CG,
  author = {Saffidine, Abdallah and Cazenave, Tristan},
  title = {Developments on Product Propagation},
  booktitle = {8th International Conference on Computers and Games (\textbf{CG})},
  series = {Lecture Notes in Computer Science},
  editor = {van den Herik, H. and Iida, Hiroyuki and Plaat, Aske},
  publisher = {Springer},
  volume = {8427},
  pages = {100--110},
  address = {Yokohama, Japan},
  month = aug,
  year = 2013,

}
@incollection{BonnetJS2013CG,
  author = {Bonnet, Édouard and Jamain, Florian and Saffidine, Abdallah},
  title = {Havannah and {T}wixT are {PSPACE}-complete},
  booktitle = {8th International Conference on Computers and Games (\textbf{CG})},
  series = {Lecture Notes in Computer Science},
  editor = {van den Herik, H. and Iida, Hiroyuki and Plaat, Aske},
  publisher = {Springer},
  volume = {8427},
  pages = {174--185},
  address = {Yokohama, Japan},
  month = aug,
  year = 2013,
  eprint = {1403.6518},

  journalv = {#BonnetJS2016TCS}
}
@incollection{SaffidineJBC2013CG,
  author = {Saffidine, Abdallah and Jouandeau, Nicolas and Buron, Cédric and Cazenave, Tristan},
  title = {Material Symmetry to Partition Endgame Tables},
  booktitle = {8th International Conference on Computers and Games (\textbf{CG})},
  series = {Lecture Notes in Computer Science},
  editor = {van den Herik, H. and Iida, Hiroyuki and Plaat, Aske},
  publisher = {Springer},
  volume = {8427},
  pages = {186--198},
  address = {Yokohama, Japan},
  month = aug,
  year = 2013,

}
@inproceedings{BonnetJS2013IJCAI,
  author = {Bonnet, Édouard and Jamain, Florian and Saffidine, Abdallah},
  title = {On the Complexity of Trick-Taking Card Games},
  booktitle = {23rd International Joint Conference on Artificial Intelligence (\textbf{IJCAI})},
  publisher = {AAAI Press},
  editor = {Rossi, Francesca},
  pages = {482--488},
  address = {Beijing, China},
  month = aug,
  year = 2013,

}
@inproceedings{LanctotSVAW2013IJCAI,
  author = {Lanctot, Marc and Saffidine, Abdallah and Veness, Joel and Archibald, Chris and Winands, Mark},
  title = {Monte {C}arlo *-Minimax Search},
  booktitle = {23rd International Joint Conference on Artificial Intelligence (\textbf{IJCAI})},
  publisher = {AAAI Press},
  editor = {Rossi, Francesca},
  pages = {580--586},
  address = {Beijing, China},
  month = aug,
  year = 2013,
  eprint = {1304.6057}
}
@inproceedings{vanDitmarschLS2013TARK,
  author = {van Ditmarsch, Hans and Lang, Jérôme and Saffidine, Abdallah},
  title = {Strategic voting and the logic of knowledge},
  booktitle = {14th conference on Theoretical Aspects of Rationality and Knowledge (\textbf{TARK})},
  publisher = {},
  editor = {Schipper, Burkhard C.},
  isbn = {978-0-615-74716-3},
  pages = {196--205},
  address = {Chennai, India},
  month = jan,
  year = 2013
}
@inproceedings{ChurchillSB2012AIIDE,
  author = {Churchill, David and Saffidine, Abdallah and Buro, Michael},
  title = {Fast heuristic search for {RTS} game combat scenarios},
  booktitle = {8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (\textbf{AIIDE})},
  publisher = {AAAI Press},
  editor = {Riedl, Mark and Sukthankar, Gita},
  pages = {112--117},
  address = {Palo Alto, California, USA},
  month = oct,
  year = 2012,
  http = {http://www.aaai.org/ocs/index.php/AIIDE/AIIDE12/paper/view/5469}
}
@incollection{Saffidine2012JELIA,
  author = {Saffidine, Abdallah},
  title = {Minimal Proof Search for Modal Logic {K} Model Checking},
  booktitle = {13th European Conference on Logics in Artificial Intelligence (\textbf{JELIA})},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  editor = {del Cerro, Luis and Herzig, Andreas and Mengin, Jérôme},
  isbn = {978-3-642-33352-1},
  volume = {7519},
  pages = {346--358},
  address = {Toulouse, France},
  month = sep,
  year = 2012,
  eprint = {1207.1832},
  doi = {10.1007/978-3-642-33353-8_27}
}
@inproceedings{SaffidineC2012ECAI,
  author = {Saffidine, Abdallah and Cazenave, Tristan},
  title = {Multiple-Outcome Proof Number Search},
  booktitle = {20th European Conference on Artificial Intelligence (\textbf{ECAI})},
  editor = {De Raedt, Luc and Bessiere, Christian and Dubois, Didier and Doherty, Patrick and Frasconi, Paolo and Heintz, Fredrik and Lucas, Peter},
  isbn = {978-1-61499-097-0},
  volume = {242},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  pages = {708--713},
  address = {Montpellier, France},
  month = aug,
  year = 2012,
  doi = {10.3233/978-1-61499-098-7-708},

}
@inproceedings{SaffidineFB2012AAAI,
  author = {Saffidine, Abdallah and Finnsson, Hilmar and Buro, Michael},
  title = {Alpha-Beta Pruning for Games with Simultaneous Moves},
  booktitle = {26th AAAI Conference (\textbf{AAAI})},
  publisher = {AAAI Press},
  pages = {556--562},
  address = {Toronto, Canada},
  month = jul,
  year = 2012,

}
@incollection{SaffidineJC2011ACG,
  author = {Saffidine, Abdallah and Jouandeau, Nicolas and Cazenave, Tristan},
  title = {Solving {B}reakthough with Race Patterns and {J}ob-{L}evel {P}roof {N}umber {S}earch},
  booktitle = {Advances in Computer Games (\textbf{ACG})},
  series = {Lecture Notes in Computer Science},
  editor = {van den Herik, H. and Plaat, Aske},
  publisher = {Springer},
  isbn = {978-3-642-31865-8},
  volume = {7168},
  pages = {196--207},
  address = {Tilburg, Netherlands},
  month = nov,
  year = 2011,
  doi = {10.1007/978-3-642-31866-5_17},

}
@inproceedings{ElkindLS2011IJCAI,
  author = {Elkind, Edith and Lang, Jérôme and Saffidine, Abdallah},
  title = {Choosing Collectively Optimal Sets of Alternatives Based on the {C}ondorcet Criterion},
  booktitle = {22nd International Joint Conference on Artificial Intelligence (\textbf{IJCAI})},
  editor = {Toby Walsh},
  publisher = {AAAI Press},
  isbn = {978-1-57735-516-8},
  pages = {186--191},
  address = {Barcelona, Spain},
  month = jul,
  year = 2011,

  journalv = {#ElkindLS2014SCW}
}
@inproceedings{SaffidineCM2010IWCG,
  author = {Saffidine, Abdallah and Cazenave, Tristan and Méhat, Jean},
  title = {{UCD}: {U}pper {C}onfidence Bound for Rooted {D}irected Acyclic Graphs},
  booktitle = {International Conference on Technologies and Applications of Artificial Intelligence (\textbf{TAAI})},
  publisher = {IEEE Computer Society Press},
  isbn = {978-0-7695-4253-9},
  pages = {467--473},
  doi = {10.1109/TAAI.2010.79},
  address = {Taiwan},
  month = nov,
  year = 2010,
  note = {Merit paper award},
  journalv = {#SaffidineCM2011KBS}
}
@incollection{CazenaveS2010CG,
  author = {Cazenave, Tristan and Saffidine, Abdallah},
  title = {Score Bounded {Monte Carlo} {T}ree {S}earch},
  booktitle = {Computers and Games (\textbf{CG})},
  series = {Lecture Notes in Computer Science},
  editor = {van den Herik, H. and Iida, Hiroyuki and Plaat, Aske},
  publisher = {Springer},
  isbn = {978-3-642-17927-3},
  volume = {6515},
  pages = {93--104},
  doi = {10.1007/978-3-642-17928-0_9},
  address = {Kanazawa, Japan},
  month = sep,
  year = 2010,

}

Other refereed contributions

@inproceedings{SturtevantS2017CGW,
  author = {Sturtevant, Nathan R. and Saffidine, Abdallah},
  title = {A study of Forward versus Backwards Endgame Solvers with results in Chinese Checkers},
  booktitle = {Computer Games Workshop @ IJCAI (\textbf{CGW})},
  editor = {Cazenave, Tristan and Saffidine, Abdallah and Winands, Mark},
  address = {Melbourne, Australia},
  month = aug,
  year = 2017
}
@inproceedings{GaspersRST2017CGW,
  author = {Gaspers, Serge and Rümmele, Stefan and Saffidine, Abdallah and Tran, Kevin},
  title = {Minesweeper with Limited Moves},
  booktitle = {Computer Games Workshop @ IJCAI (\textbf{CGW})},
  editor = {Cazenave, Tristan and Saffidine, Abdallah and Winands, Mark},
  address = {Melbourne, Australia},
  month = aug,
  year = 2017,
  confvers = {#GaspersRST2018AAAI}
}
@inproceedings{SchofieldCST2015GIGA,
  author = {Schofield, Michael and Cazenave, Tristan and Saffidine, Abdallah and Thielscher, Michael},
  title = {Discounting and Pruning for Nested Playouts in {G}eneral {G}ame {P}laying},
  booktitle = {4th Workshop on General Intelligence in Game-Playing Agents (\textbf{GIGA})},
  editor = {Schiffel, Stephan and Thielscher, Michael and Togelius, Julian},
  pages = {31--38},
  address = {Buenos Aires, Argentina},
  month = jul,
  year = 2015,
  confvers = {#CazenaveSST2016AAAI}
}
@inproceedings{CheeST2015CGW,
  author = {Chee, Marc and Saffidine, Abdallah and Thielscher, Michael},
  title = {A Principled Approach to the Problem of Chunking in UCT},
  booktitle = {Computer Games Workshop @ IJCAI (\textbf{CGW})},
  editor = {Cazenave, Tristan and Edelkamp, Stefan and Winands, Mark},
  address = {Buenos Aires, Argentina},
  month = jul,
  year = 2015
}
@inproceedings{LopezS2015SOCS,
  author = {{Linares L{\'{o}}pez}, Carlos and Saffidine, Abdallah},
  title = {A Preliminary Selection of Problems in Heuristic Search},
  booktitle = {8th Annual Symposium on Combinatorial Search (\textbf{SOCS})},
  editor = {Lelis, Levi and Stern, Roni},
  publisher = {AAAI Press},
  pages = {186--190},
  address = {Ein Gedi, Israel},
  month = jun,
  year = 2015,
  url = {http://www.aaai.org/ocs/index.php/SOCS/SOCS15/paper/view/10945}
}
@inproceedings{BonnetS2014CGW,
  author = {Bonnet, Édouard and Saffidine, Abdallah},
  title = {On the Complexity of General Game Playing},
  booktitle = {Computer Games Workshop @ ECAI (\textbf{CGW})},
  editor = {Cazenave, Tristan and Winands, Mark H.M. and Björnsson, Yngvi},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {504},
  pages = {90--104},
  address = {Prague, Czech Republic},
  month = aug,
  year = 2014,
  doi = {10.1007/978-3-319-14923-3_7},
  isbn = {978-3-319-14922-6}
}
@inproceedings{BaumeisterBLNNRS2014COMSOC,
  author = {Baumeister, Dorothea and Bouveret, Sylvain and Lang, Jérôme and Nguyen, Nhan-Tam and Nguyen, Trung Thanh and Rothe, Jörg and Saffidine, Abdallah},
  title = {Axiomatic and Computational Aspects of Scoring Allocation Rules for Indivisible Goods},
  booktitle = {5th International Workshop on Computational Social Choice (\textbf{COMSOC})},
  pages = {1--22},
  address = {Pittsburgh, USA},
  month = jun,
  year = 2014,
  journalv = {#BaumeisterBLNNRS2017JAAMAS}
}
@inproceedings{BaumeisterBLNRS2013EUMAS,
  author = {Baumeister, Dorothea and Bouveret, Sylvain and Lang, Jérôme and Nguyen, Trung Thanh and Rothe, Jörg and Saffidine, Abdallah},
  title = {Positional Scoring Rules for the Allocation of Indivisible Goods},
  booktitle = {11th European Workshop on Multi-Agent Systems (\textbf{EUMAS})},
  pages = {1--14},
  address = {Toulouse, France},
  month = dec,
  year = 2013,
  journalv = {#BaumeisterBLNNRS2017JAAMAS}
}
@inproceedings{LanctotSVAW2013BNAIC,
  author = {Lanctot, Marc and Saffidine, Abdallah and Veness, Joel and Archibald, Christopher and Winands, Mark H.M.},
  title = {Monte Carlo *-Minimax Search},
  booktitle = {25th Benelux Conference on Artificial Intelligence (\textbf{BNAIC})},
  pages = {330--331},
  address = {Delft, The Netherlands},
  month = nov,
  year = 2013,
  confvers = {#LanctotSVAW2013IJCAI}
}
@inproceedings{SchofieldS2013GIGA,
  author = {Schofield, Michael and Saffidine, Abdallah},
  title = {High Speed Forward Chaining for General Game Playing},
  booktitle = {3rd Workshop on General Intelligence in Game-Playing Agents (\textbf{GIGA})},
  pages = {31--38},
  address = {Beijing, China},
  month = aug,
  year = 2013,
  note = {Best student paper award},

}
@phdthesis{Saffidine2013,
  author = {Saffidine, Abdallah},
  title = {Solving Games and All That},
  school = {Université Paris-Dauphine},
  address = {Paris, France},
  month = jul,
  year = 2013,

}
@inproceedings{SaffidineC2012CGW,
  author = {Saffidine, Abdallah and Cazenave, Tristan},
  title = {A general multi-agent modal logic {K} framework for game tree search},
  booktitle = {Computer Games Workshop @ ECAI (\textbf{CGW})},
  pages = {1--18},
  address = {Montpellier, France},
  month = aug,
  year = 2012,

}
@inproceedings{LanctotSVA2012CGW,
  author = {Lanctot, Marc and Saffidine, Abdallah and Veness, Joel and Archibald, Chris},
  title = {Sparse sampling for adversarial games},
  booktitle = {Computer Games Workshop @ ECAI (\textbf{CGW})},
  pages = {1--13},
  address = {Montpellier, France},
  month = aug,
  year = 2012,
  confvers = {#LanctotSVA2013IJCAI}
}
@inproceedings{vanDitmarschLS2012LBP,
  author = {van Ditmarsch, Hans and Lang, Jérôme and Saffidine, Abdallah},
  title = {Strategic voting and the logic of knowledge},
  booktitle = {ESSLLI 2012 workshop 'Strategies for Learning, Belief Revision and Preference Change' (\textbf{LBP})},
  address = {Opole, Poland},
  month = aug,
  year = 2012,
  note = {Best paper award},
  fullvers = {#vanDitmarschLS2013TARK}
}
@inproceedings{vanDitmarschLS2012AAMAS,
  author = {van Ditmarsch, Hans and Lang, Jérôme and Saffidine, Abdallah},
  title = {Strategic voting and the logic of knowledge},
  booktitle = {11th International Conference on Autonomous Agents and Multiagent Systems (\textbf{AAMAS})},
  publisher = {IFAAMAS},
  pages = {1247--1248},
  address = {Valencia, Spain},
  month = jun,
  year = 2012,
  fullvers = {#vanDitmarschLS2013TARK},

}
@inproceedings{SaffidineC2011GIGA,
  author = {Saffidine, Abdallah and Cazenave, Tristan},
  title = {A Forward Chaining Based Game Description Language Compiler},
  booktitle = {2nd Workshop on General Intelligence in Game-Playing Agents (\textbf{GIGA})},
  pages = {69--75},
  address = {Barcelona, Spain},
  month = jul,
  year = 2011,

}
@inproceedings{SaffidineC2011MFI,
  author = {Saffidine, Abdallah and Cazenave, Tristan},
  title = {Generalized Proof Number Search},
  booktitle = {6th Journées Francophones Modèles Formels de l'Interaction (\textbf{MFI})},
  pages = {131--138},
  address = {Rouen, France},
  month = jun,
  year = 2011,
  confvers = {#SaffidineC2012ECAI},

}
@article{CazenaveS2009RIA,
  author = {Cazenave, Tristan and Saffidine, Abdallah},
  title = {Utilisation de la recherche arborescente {Monte-Carlo} au {Hex}},
  journal = {Revue d'Intelligence Artificielle (\textbf{RIA})},
  volume = {23},
  pages = {183--202},
  doi = {10.3166/ria.23.183-202 },
  number = {2-3},
  year = 2009,

}

Non-refereed contributions

@inproceedings{RougetetS2017BGS,
  author = {Rougetet, Lisa and Saffidine, Abdallah},
  title = {The Roots of Combinatorial Game Theory---History and Foresights},
  booktitle = {20th Board Games Studies Colloquium (\textbf{BGS})},
  address = {Copenhagen, Denmark},
  month = may,
  year = 2017
}
@inproceedings{Saffidine2015BGS,
  author = {Saffidine, Abdallah},
  title = {Games, Classes, and Algorithms: Selected Results and a Roadmap},
  booktitle = {18th Board Games Studies Colloquium (\textbf{BGS})},
  address = {La Tour-de-Peilz, Switzerland},
  month = apr,
  year = 2015
}
@article{BonnetS2014ROADEF,
  author = {Bonnet, Édouard and Saffidine, Abdallah},
  title = {Complexité des jeux},
  journal = {Bulletin de la ROADEF},
  volume = {31},
  pages = {9--12},
  month = jan,
  year = 2014,
  note = {Invited}
}
@inproceedings{Saffidine2013SAPLING,
  author = {Saffidine, Abdallah},
  title = {General Game Playing and the Game Description Language},
  booktitle = {Sydney Area Programming Languages INterest Group (\textbf{SAPLING})},
  address = {Sydney, Australia},
  month = dec,
  year = 2013
}
@inproceedings{ElkindLS2012ROADEF,
  author = {Elkind, Edith and Lang, Jérôme and Saffidine, Abdallah},
  title = {Choix collectif d'un ensemble optimal de candidats, avec l'aide de {C}ondorcet},
  booktitle = {13th Congrés de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (\textbf{ROADEF})},
  address = {Angers, France},
  month = apr,
  year = 2012,
  confvers = {#ElkindLS2011IJCAI}
}
@inproceedings{Saffidine2012OBT,
  author = {Saffidine, Abdallah},
  title = {General Game Playing and the Game Description Language},
  booktitle = {Off the Beaten Track: Underrepresented Problems for Programming Language Researchers (\textbf{OBT})},
  address = {Philadelphia, USA},
  month = jan,
  year = 2012,

}
@inproceedings{Saffidine2011BGS,
  author = {Saffidine, Abdallah},
  title = {A Playing-level measure of Game Depth},
  booktitle = {14th Board Games Studies Colloquium (\textbf{BGS})},
  address = {Bruges, Belgium},
  month = may,
  year = 2011
}
@article{Saffidine2011ICGAJ,
  author = {Saffidine, Abdallah},
  title = {Moccos wins the {P}hantom-{G}o Tournament},
  journal = {ICGA Journal},
  volume = {34},
  number = {1},
  pages = {35--37},
  month = mar,
  year = 2011,

}
@mastersthesis{Saffidine2010,
  author = {Saffidine, Abdallah},
  title = {Some Improvements for {Monte Carlo} {T}ree {S}earch, {G}ame {D}escription {L}anguage Compilation, Score Bounds and Transpositions},
  school = {Université Paris-Dauphine},
  address = {Paris, France},
  month = sep,
  year = 2010,

}
@inproceedings{CazenaveS2010BGS,
  author = {Cazenave, Tristan and Saffidine, Abdallah},
  title = {{Monte Carlo} {H}ex},
  booktitle = {13th Board Games Studies Colloquium (\textbf{BGS})},
  address = {Paris, France},
  month = apr,
  year = 2010,

}
@misc{Saffidine2009,
  author = {Saffidine, Abdallah},
  title = {{LTL} Model Checking with use of Generalised Stuttering and Characteristic Patterns},
  school = {Technische Universität München},
  address = {Munich, Germany},
  month = sep,
  year = 2009,
  note = {Master's Internship report},

}
@misc{Saffidine2008,
  author = {Saffidine, Abdallah},
  title = {Utilisation d'{UCT} au {H}ex},
  school = {École Normale Supérieure de Lyon},
  address = {Lyon, France},
  month = sep,
  year = 2008,
  note = {Bachelor's Thesis},

}

This file was generated by bibtex2html 1.98.