Published Articles, Dept. of Computer Science : [321] Collection home page

When downloading papers please observe the normal copyright codes and conventions for their use.

Subscribe to this collection to receive daily e-mail notification of new additions RSS Feed RSS Feed RSS Feed
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 321
 next >
First PublishedTitleAuthor(s)Type
2016Query-competitive algorithms for cheapest set problems under uncertaintyErlebach, Thomas R.; Hoffmann, Michael; Kammer, FrankJournal Article
2015Performance Evaluation of Resource Management in Cloud Computing EnvironmentsBatista, B. G.; Estrella, J. C.; Ferreira, C. H. G.; Filho, D. M. L.; Nakamura, L. H. V.; Reiff-Marganiec, Stephan; Santana, M. J.; Santana, R. H. C.Journal Article
16-May-2008Algorithms for Büchi GamesChatterjee, K.; Henzinger, Thomas A.; Piterman, NirConference Paper
2015Encoding 2-D Range Maximum QueriesGolin, M. J.; Iacono, J.; Krizanc, D.; Raman, Rajeev; Rao, S. S.; Shende, S.Journal Article
10-Apr-2015Detecting and Refactoring Operational Smells within the Domain Name SystemRadwan, Marwan; Heckel, ReikoJournal Article
17-Jul-2013The Rabin index of parity gamesHuth, M; Kuo, JHP; Piterman, NConference Paper
5-Nov-2013Obligation Blackwell Games and p-AutomataPiterman, Nir; Chatterjee, KrishnenduJournal Article
2-May-2014Fatal Attractors in Parity Games: Building Blocks for Partial SolversHuth, M.; Kuo, J. H. P.; Piterman, NirReport
9-Oct-2012Cell-cycle regulation of NOTCH signaling during C. elegans vulval development.Nusser-Stein, Stefanie; Beyer, Antje; Rimann, Ivo; Adamczyk, Magdalene; Piterman, Nir; Hajnal, Alex; Fisher, JasminJournal Article
22-Sep-2010The Sorting Buffer Problem is NP-hardChan, Ho-Leung; Megow, Nicole; Stee, Rob van; Sitters, ReneJournal Article
5-Sep-2015Improved Practical Compact Dynamic TriesPoyias, Andreas; Raman, RajeevConference Paper
17-Aug-2015The infinitary lambda calculus of the infinite eta Böhm treesSeveri, Paula; de Vries, Fer-JanJournal Article
2-Sep-2015A Forward Analysis for Recurrent SetsBakhirkin, Alexey; Berdine, J.; Piterman, NirConference Paper
1-Aug-2015SEPIA: Search for Proofs Using Inferred AutomataGransden, Thomas; Walkinshaw, Neil; Raman, RajeevConference Paper
29-Apr-2015Mobile learning in a human geography field courseJarvis, Claire; Tate, Nicholas; Dickie, Jennifer; Brown, GavinJournal Article
2015Online interval scheduling on uniformly related machinesVan Stee, Rob; Epstein, Leah; Jez, Lukasz; Sgall, JiriJournal Article
2015A unified approach to truthful scheduling on related machinesVan Stee, Rob; Epstein, Leah; Levin, AsafJournal Article
Jun-2014The Price of Anarchy for Selfish Ring Routing is TwoChen, Xujin; Doerr, Benjamin; Doerr, Carola; Hu, Xiaodong; Ma, Weidong; van Stee, RobJournal Article
Sep-2014SIGACT news online algorithms column 24: 2014 so farvan Stee, RobJournal Article
19-May-2015The Description Logic SHIQ with a Flexible Meta-modelling HierarchySeveri, Paula G.; Motz, Regina; Rohrer, EdelweisJournal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 321
 next >