Research Lab in Computer Science (ReLaX)

The 20 latest publications

Title Authors Publication date Source
Diverse collections in matroids and graphs Geevarghese Philip 03/01/24 Mathematical Programming, Series B
Popular critical matchings in the many-to-many setting Prajakta Nimbhorkar 01/08/24 Theoretical Computer Science
Constraint LTL with Remote Access M. Praveen 12/01/23 Leibniz International Proceedings in Informatics, LIPIcs
Online Algorithms for Matchings with Proportional Fairness Constraints and Diversity Constraints Prajakta Nimbhorkar 09/28/23 Frontiers in Artificial Intelligence and Applications
Dynamic Planar Embedding Is in DynFO Samir Datta 08/01/23 Leibniz International Proceedings in Informatics, LIPIcs
On the complexity of algebraic numbers, and the bit-complexity of straight-line programs Samir Datta 06/21/23 Computability
Fair Healthcare Rationing to Maximize Dynamic Utilities Prajakta Nimbhorkar 01/01/23 Lecture Notes in Computer Science
Critical Relaxed Stable Matchings with Two-Sided Ties Prajakta Nimbhorkar 01/01/23 Lecture Notes in Computer Science
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
LEIBNIZ’ MILITARY CONCEPTION OF SOVEREIGNTY Laurynas Adomaitis 05/01/23 History of Political Thought
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

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)