Subramani, K.; Wojciechowki, Piotr A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints. (English) Zbl 1421.68181 Algorithmica 81, No. 7, 2765-2794 (2019). MSC: 68W05 05C70 68T20 68W40 90C05 90C27 PDF BibTeX XML Cite \textit{K. Subramani} and \textit{P. Wojciechowki}, Algorithmica 81, No. 7, 2765--2794 (2019; Zbl 1421.68181) Full Text: DOI
Subramani, K.; Wojciechowski, Piotr A certifying algorithm for lattice point feasibility in a system of UTVPI constraints. (English) Zbl 1394.90499 J. Comb. Optim. 35, No. 2, 389-408 (2018). MSC: 90C27 PDF BibTeX XML Cite \textit{K. Subramani} and \textit{P. Wojciechowski}, J. Comb. Optim. 35, No. 2, 389--408 (2018; Zbl 1394.90499) Full Text: DOI
Orlin, James B.; Subramani, K.; Wojciechowki, Piotr Randomized algorithms for finding the shortest negative cost cycle in networks. (English) Zbl 1377.05181 Discrete Appl. Math. 236, 387-394 (2018). MSC: 05C82 05C85 68W20 68Q25 PDF BibTeX XML Cite \textit{J. B. Orlin} et al., Discrete Appl. Math. 236, 387--394 (2018; Zbl 1377.05181) Full Text: DOI
Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K. Erratum to: “Analyzing restricted fragments of the theory of linear arithmetic”. (English) Zbl 1393.68054 Ann. Math. Artif. Intell. 79, No. 4, 371-392 (2017). MSC: 68Q15 03D15 90C05 PDF BibTeX XML Cite \textit{P. Wojciechowski} et al., Ann. Math. Artif. Intell. 79, No. 4, 371--392 (2017; Zbl 1393.68054) Full Text: DOI
Subramani, K.; Wojciechowski, Piotr A combinatorial certifying algorithm for linear feasibility in UTVPI constraints. (English) Zbl 1360.68889 Algorithmica 78, No. 1, 166-208 (2017). MSC: 68W05 68W40 PDF BibTeX XML Cite \textit{K. Subramani} and \textit{P. Wojciechowski}, Algorithmica 78, No. 1, 166--208 (2017; Zbl 1360.68889) Full Text: DOI
Wojciechowski, Piotr; Eirinakis, Pavlos; Subramani, K. Analyzing restricted fragments of the theory of linear arithmetic. (English) Zbl 1390.68318 Ann. Math. Artif. Intell. 79, No. 1-3, 245-266 (2017); erratum ibid. 79, No. 4, 371-392 (2017). MSC: 68Q15 03D15 90C05 PDF BibTeX XML Cite \textit{P. Wojciechowski} et al., Ann. Math. Artif. Intell. 79, No. 1--3, 245--266 (2017; Zbl 1390.68318) Full Text: DOI
Subramani, K.; Wojciechowski, Piotr An optimal algorithm for computing the integer closure of UTVPI constraints. (English) Zbl 06576388 Kaykobad, Mohammad (ed.) et al., WALCOM: algorithms and computation. 10th international workshop, WALCOM 2016, Kathmandu, Nepal, March 29–31, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-30138-9/pbk; 978-3-319-30139-6/ebook). Lecture Notes in Computer Science 9627, 154-165 (2016). MSC: 68Wxx PDF BibTeX XML Cite \textit{K. Subramani} and \textit{P. Wojciechowski}, Lect. Notes Comput. Sci. 9627, 154--165 (2016; Zbl 06576388) Full Text: DOI
Cucu, Liliana; Pernet, Nicolas; Sorel, Yves Periodic real-time scheduling: From deadline-based model to latency-based model. (English) Zbl 1151.90401 Ann. Oper. Res. 159, 41-51 (2008). MSC: 90B35 PDF BibTeX XML Cite \textit{L. Cucu} et al., Ann. Oper. Res. 159, 41--51 (2008; Zbl 1151.90401) Full Text: DOI
Subramani, K.; Yellajyosula, Kiran On the design and implementation of a shared memory dispatcher for partially clairvoyant schedulers. (English) Zbl 1154.68348 Int. J. Parallel Program. 36, No. 4, 386-411 (2008). MSC: 68M20 PDF BibTeX XML Cite \textit{K. Subramani} and \textit{K. Yellajyosula}, Int. J. Parallel Program. 36, No. 4, 386--411 (2008; Zbl 1154.68348) Full Text: DOI
Subramani, K. A polynomial time algorithm for Zero-Clairvoyant scheduling. (English) Zbl 1180.90140 J. Appl. Log. 5, No. 4, 667-680 (2007). MSC: 90B35 68M20 PDF BibTeX XML Cite \textit{K. Subramani}, J. Appl. Log. 5, No. 4, 667--680 (2007; Zbl 1180.90140) Full Text: DOI
Subramani, K. On a decision procedure for quantified linear programs. (English) Zbl 1132.68034 Ann. Math. Artif. Intell. 51, No. 1, 55-77 (2007). MSC: 68Q25 68W40 90C05 68Q17 PDF BibTeX XML Cite \textit{K. Subramani}, Ann. Math. Artif. Intell. 51, No. 1, 55--77 (2007; Zbl 1132.68034) Full Text: DOI
Subramani, K. An analysis of totally clairvoyant scheduling. (English) Zbl 1154.90493 J. Sched. 8, No. 2, 113-133 (2005). MSC: 90B35 PDF BibTeX XML Cite \textit{K. Subramani}, J. Sched. 8, No. 2, 113--133 (2005; Zbl 1154.90493) Full Text: DOI
Subramani, K.; Desovski, D. Out of order quantifier elimination for standard quantified linear programs. (English) Zbl 1125.68142 J. Symb. Comput. 40, No. 6, 1383-1396 (2005). MSC: 68W30 03C10 03B35 68Q25 90C05 PDF BibTeX XML Cite \textit{K. Subramani} and \textit{D. Desovski}, J. Symb. Comput. 40, No. 6, 1383--1396 (2005; Zbl 1125.68142) Full Text: DOI
Wang, Weirong; Mok, Aloysius K.; Fohler, Gerhard Pre-scheduling. (English) Zbl 1083.68013 Real-Time Syst. 30, No. 1-2, 83-103 (2005). MSC: 68M20 PDF BibTeX XML Cite \textit{W. Wang} et al., Real-Time Syst. 30, No. 1--2, 83--103 (2005; Zbl 1083.68013) Full Text: DOI