Research Lab in Computer Science (ReLaX)

Les 20 dernières publications

Titre Auteurs Date de publication Source
Diverse collections in matroids and graphs Geevarghese Philip 01/01/2023 Mathematical Programming, Series B
Envy-freeness and relaxed stability: hardness and approximation algorithms Prajakta Nimbhorkar 01/01/2023 Journal of Combinatorial Optimization
Structural Parameterizations of Clique Coloring Geevarghese Philip 01/02/2022 Algorithmica
Diversity of solutions: An exploration through the lens of fixed-parameter tractability theory Geevarghese Philip 01/02/2022 Artificial Intelligence
Verifying Reachability for TSO Programs with Dynamic Thread Creation K. Narayan Kumar, Prakash Saivasan 01/01/2022 Lecture Notes in Computer Science
Consistency and Persistency in Program Verification: Challenges and Opportunities K. Narayan Kumar, Prakash Saivasan 01/01/2022 Lecture Notes in Computer Science
Linear forms in polylogarithms Sinnou David 01/01/2022 Annali della Scuola normale superiore di Pisa - Classe di scienze
Linear independence criteria for generalized polylogarithms with distinct shifts Sinnou David 01/01/2022 Acta Arithmetica
Popular Matchings in the Hospital-Residents Problem with Two-Sided Lower Quotas Keshav Ranjan 01/12/2021 Leibniz International Proceedings in Informatics, LIPIcs
2-Approximating Feedback Vertex Set in Tournaments Saket Saurabh 01/06/2021 ACM Transactions on Algorithms
Covolumes, unités, régulateur: conjectures de D. Bertrand et F. Rodriguez-Villegas Sinnou David 01/04/2021 Annales Mathematiques du Quebec
Diverse collections in matroids and graphs Geevarghese Philip 01/03/2021 Leibniz International Proceedings in Informatics, LIPIcs
Computational complexity: An empirical view Maël Pégny 01/12/2013 6th AISB Symposium on Computing and Philosophy: The Scandal of Computation - What is Computation? - AISB Convention 2013
Dynamic Complexity of Expansion Samir Datta 01/01/2021 Lecture Notes in Computer Science
Disjoint Stable Matchings in Linear Time Prajakta Nimbhorkar, Geevarghese Philip 01/01/2021 Lecture Notes in Computer Science
What you must remember when transforming datawords M. Praveen 01/12/2020 Leibniz International Proceedings in Informatics, LIPIcs
Diverse pairs of matchings Geevarghese Philip 01/12/2020 Leibniz International Proceedings in Informatics, LIPIcs
A characterization of König-Egerváry graphs with extendable vertex covers Saket Saurabh 01/09/2020 Information Processing Letters
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces Pascal Weil 01/08/2020 Leibniz International Proceedings in Informatics, LIPIcs
Structural parameterizations of clique coloring Geevarghese Philip 01/08/2020 Leibniz International Proceedings in Informatics, LIPIcs

Nombre de publications du laboratoire par domaine scientifique (2016-2021)

Chaque publication du laboratoire peut être rangée dans une ou plusieurs disciplines scientifiques : la figure ci-dessus présente le nombre de publications du laboratoire pour chaque discipline de la classification ASJC (Elsevier)