Research Lab in Computer Science (ReLaX)

The 20 latest publications

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

Number of publications of the laboratory by scientific field (2016-2021)

Every paper can be classified in one or more scientific fields. The figure below shows the lab's number of publications in each scientific field, according to the ASJC classification (Elsevier)