Published Articles, Dept. of Computer Science : [365] 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 365
 next >
First PublishedTitleAuthor(s)Type
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
2016Asymptotically Optimal Encodings for Range Selection and Top-k QueriesGrossi, R.; Iacono, J.; Navarro, G.; Raman, Rajeev; Satti, S. R.Journal 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
2016Compressed bit vectors based on variable-to-fixed encodingsJo, S.; Joannou, Stelios; Okanohara, D.; Raman, Rajeev; Satti, S. R.Journal 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
2016Multi-criteria IoT Resource Discovery: A Comparative AnalysisNunes, L. H.; Estrella, J. C.; Perera, C.; Reiff-Marganiec, Stephan; Delbem, A. N.Journal Article
2016An Abstract Semantics of the Global View of ChoreographiesGuanciale, R.; Tuosto, EmilioJournal Article
22-Jun-2016On undefined and meaningless in Lambda definabilityDe Vries, Fer-JanConference Paper
1-Jun-2016A Distributed Sensor Data Search Platform for Internet of Things EnvironmentsNunes, Luiz H.; Estrella, Júlio C.; Nakamura, Luis H. V.; Libardi, Rafael M. de O.; Ferreira, Carlos H. G.; Jorge, Liuri L. R.; Perera, Charith; Reiff-Marganiec, StephanJournal Article
5-Apr-2005Proof Transformation via Interpretation Functions: Results, Problems and ApplicationsKosiuczenko, PiotrJournal Article
5-Aug-2014Resampling-based ensemble methods for online class imbalance learningWang, Shuo; Minku, Leandro L.; Yao, XinJournal Article
1-Jan-2016Direction-Reversible Self-Timed Cellular Automata for Delay-Insensitive CircuitsUlidowski, Irek; Morrison, DanielJournal Article
17-Jun-2016Reordering Buffer Management with AdviceVan Stee, Rob; Rosen, Adi; Adamaszek, Anna; Renault, Marc. P.Journal Article
11-Nov-2015Requirements: The Key to SustainabilityBecker, Christoph; Betz, Stefanie; Chitchyan, Ruzanna; Duboc, Leticia; Easterbrook, Steve M.; Penzenstadler, Birgit; Seyff, Norbert; Venters, Colin C.Journal Article
6-Nov-2010Complexities of Computation: A Survey ReportJain, A. K.; Jain, Nitin KumarJournal Article
6-May-2016Interaction Models and Automated Control under Partial Observable EnvironmentsBraberman, Victor; D'Ippolito, Nicolas; Piterman, Nir; Uchitel, Sebastian; Ciolek, DanielJournal Article
17-Feb-2016Two Dimensional Range Minimum Queries and Fibonacci LatticesBrodal, Gerth Stølting; Davoodi, Pooya; Lewenstein, Moshe; Raman, Rajeev; Srinivasa Rao, SattiJournal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 365
 next >