Published Articles, Dept. of Computer Science : [327] 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 327
 next >
First PublishedTitleAuthor(s)Type
22-Sep-2015Positive Fragments Of Coalgebraic LogicsBalan, A.; Kurz, Alexander Herbert; Velebil, J.Journal Article
7-Aug-2015Presenting Distributive LawsBonsangue, M. M.; Hansen, H. H.; Kurz, Alexander Herbert; Rot, J.Journal Article
2016Obligation Blackwell Games and p-AutomataPiterman, Nir; Chatterjee, KrishnenduJournal Article
3-Feb-2015Drug target optimization in chronic myeloid leukemia using innovative computational platform.Chuang, Ryan; Hall, Benjamin A.; Benque, David; Cook, Byron; Ishtiaq, Samin; Piterman, Nir; Taylor, Alex; Vardi, Moshe; Koschmieder, Steffen; Gottgens, Berthold; Fisher, JasminJournal Article
24-Dec-2015Dynamic Software Project Scheduling through a Proactive-rescheduling MethodShen, Xiao - Ning; Minku, Leandro L.; Bahsoon, Rami; Yao, XinJournal Article
12-Dec-2015Combining Time Series Prediction Models Using Genetic Algorithm to Auto-scaling Web Applications Hosted in the Cloud InfrastructureMessias, V. R.; Estrella, J. C.; Ehlers, R.; Santana, M. J.; Santana, R. C.; Reiff-Marganiec, StephanJournal Article
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
21-Oct-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
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 327
 next >