Marina Langlois
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCSE | Designing and Implementing Skill Tests at Scale: Frequent, Computer-Based, Proctored Assessments with Minimal Infrastructure Requirements. | Anastasiya Markova, Anish Kasam, Bryce Hackel, Marina Langlois, Sam Lau |
| 2008 | AAAI | Horn Complements: Towards Horn-to-Horn Belief Revision. | Marina Langlois, Robert H. Sloan, Balzs Szrnyi, Gyrgy Turn |
| 2008 | ISAIM | Combinatorial problems for Horn clauses. | Marina Langlois, Dhruv Mubayi, Robert H. Sloan, Gyrgy Turn |
| 2007 | SAT | Horn Upper Bounds and Renaming. | Marina Langlois, Robert H. Sloan, Gyrgy Turn |
| 2006 | ISAIM | Horn Upper Bounds of Random 3-CNF: A Computational Study. | Marina Langlois, Robert H. Sloan, Gyrgy Turn |