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

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

Browse
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 377
 next >
First PublishedTitleAuthor(s)Type
18-May-2017Verifying Increasingly Expressive Temporal Logics for Infinite-State SystemsCook, Byron; Khlaaf, Heidy; Piterman, NirJournal Article
2017On Succinct Representations of Binary TreesDavoodi, Pooya; Raman, Rajeev; Srinivasa Rao SattiJournal Article
10-Aug-2016Uncertainty-Driven Black-Box Test Data GenerationWalkinshaw, Neil; Fraser, GordonJournal Article
5-Jul-2016Improved Lower Bounds for Online Hypercube PackingHeydrich, Sandy; van Stee, RobJournal Article
11-Jan-2017Online bin stretching with three binsBöhm, Martin; Sgall, Jiri; van Stee, Rob; Veselý, PavelJournal Article
3-Feb-2017Ensemble learning for data stream analysis: a surveyKrawczyk, Bartosz; Minku, Leandro L.; Gama, Joao; Stefanowski, Jerzy; Wozniak, MichalJournal Article
21-Jul-2015Emergent stem cell homeostasis in the C. elegans germline is revealed by hybrid modeling.Hall, B. A.; Piterman, Nir; Hajnal, A.; Fisher, J.Journal Article
22-Nov-2016Temperature aware online algorithms for minimizing flow timeBirks, Martin; Fung, Stanley P. Y.Journal Article
Jul-2015VOML: A Framework for Modelling Virtual Organizations and Virtual Breeding EnvironmentRajper, N. J.; Reiff-Marganiec, StephanJournal Article
2-Oct-2015Relating two automata-based models of orchestration and choreographyBasile, D.; Degano, P.; Ferrari, G. L.; Tuosto, E.Journal Article
28-Dec-2016Which Models of the Past Are Relevant to the Present? A software effort estimation approach to exploiting useful past modelsMinku, Leandro L.; Yao, X.Journal Article
2016Uncovering Sustainability Concerns in Software Product LinesChitchyan, Ruzanna; Groher, I.; Noppen, J.Journal Article
13-Sep-2016Characterizing word problems of groupsJones, S. A. M.; Thomas, Richard M.Journal Article
29-Oct-2015Relation lifting, a surveyKurz, Alexander; Velebil, J.Journal Article
20-May-2016Foreword: special issue on coalgebraic logicDOBERKAT, E. E.; KURZ, ALEXANDERJournal Article
Mar-2017Asymptotically Optimal Encodings of Range Data Structures for Selection and Top-k QueriesGrossi, Roberto; Iacono, John; Navarro, Gonzalo; Raman, Rajeev; Satti, S. RaoJournal Article
1-Apr-2016Foundations of session types and behavioural contractsHüttel, H.; Lanese, I.; Vasconcelos, V. T.; Caires, L.; Carbone, M.; Deniélou, P. M.; Mostrous, D.; Padovani, L.; Nióravara, A.; Tuosto, Emilio; Vieira, H. T.; Zavattaro, G.Journal Article
29-Dec-2016Compressed bit vectors based on variable-to-fixed encodingsJo, Seungbum; Joannou, Stelios; Okanohara, Daisuke; Raman, Rajeev; Satti, Srinivasa RaJournal Article
6-Sep-2016BTR: training asynchronous Boolean models using single-cell expression data.Lim, C. Y.; Wang, H.; Woodhouse, S.; Piterman, Nir; Wernisch, L.; Fisher, J.; Göttgens, B.Journal Article
2-Jun-2016SIGACT News Online Algorithms Column 28: Online Matching on the Line, Part 2Van Stee, RobJournal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 377
 next >