Published Articles, Dept. of Computer Science : [380] 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 380
 next >
First PublishedTitleAuthor(s)Type
2017Fog Computing for Sustainable Smart Cities: A SurveyPerera, Charith; Qin, Yongrui; Estrella, Julio C.; Reiff-Marganiec, Stephan; Vasilakos, Athanasios V.Journal Article
8-Mar-2017Encoding Nearest Larger ValuesHoffmann, Michael; Iacono, John; Nicholson, Patrick K.; Raman, RajeevJournal Article
15-Dec-2015Self-Care Technologies in HCI: Trends, Tensions, and OpportunitiesNunes, Francisco; Verdezoto, Nervo; Fitzpatrick, Geraldine; Kyng, Morten; Grönvall, Erik; Storni, CristianoJournal Article
18-May-2017Verifying Increasingly Expressive Temporal Logics for Infinite-State SystemsCook, Byron; Khlaaf, Heidy; Piterman, NirJournal Article
20-Mar-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
23-Feb-2017Uncovering Sustainability Concerns in Software Product LinesChitchyan, Ruzanna; Groher, Iris; Noppen, JoostJournal 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
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 380
 next >