Published Articles, Dept. of Computer Science : [299] 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 299
 next >
First PublishedTitleAuthor(s)Type
17-Aug-2015The infinitary lambda calculus of the infinite eta Böhm treesSeveri, Paula; de Vries, Fer-JanJournal Article
29-Apr-2015Mobile learning in a human geography field courseJarvis, Claire; Tate, Nicholas; Dickie, Jennifer; Brown, GavinJournal 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
1-Jul-2014HIAWSC: An Immune Algorithm Based Heuristic Web Service Composition FrameworkXu, J.; Reiff-Marganiec, StephanJournal Article
20-Jun-2015Tree Compression with Top Trees RevisitedHübschle-Schneider, L.; Raman, RajeevConference Paper
5-May-2015Random access to grammar-compressed strings and treesBille, P.; Landau, G. M.; Raman, Rajeev; Sadakane, K.; Satti, S. R.; Weimann, O.Journal Article
20-Mar-2015Assessing and generating test sets in terms of behavioural adequacyFraser, G.; Walkinshaw, NeilJournal Article
2014Resolving non-determinism in choreographiesBocchi, L.; Melgratti, H.; Tuosto, EmilioJournal Article
17-Mar-2015Inferring Extended Finite State Machine Models from Software ExecutionsWalkinshaw, Neil; Taylor, R.; Derrick, J.Journal Article
2014Query-competitive algorithms for cheapest set problems under uncertaintyErlebach, Thomas; Hoffmann, Michael; Kammer, F.Conference Paper
21-Nov-2014Multi-Type Display Calculus for Propositional Dynamic LogicFrittella, S.; Greco, G.; Kurz, Alexander; Palmigiano, A.Other
5-Dec-2014A Multi-type Display Calculus for Dynamic Epistemic LogicFrittella, S.; Greco, G.; Kurz, Alexander; Palmigiano, A.; Sikimić, V.Other
3-Nov-2014A Proof-Theoretic Semantic Analysis of Dynamic Epistemic LogicFrittella, S.; Greco, G.; Kurz, Alexander H.; Palmigiano, A.; Sikimić, V.Other
24-Jul-2014Mining sequential patterns from probabilistic databasesMuzammal, Muhammad; Raman, RajeevJournal Article
21-Apr-2014Encoding range minima and range top-2 queriesDavoodi, Pooya; Navarro, Gonzalo; Raman, Rajeev; Rao, S. SrinivasaJournal Article
16-Mar-2013Optimal indexes for sparse bit vectorsGolynski, Alexander; Orlandi, Alessio; Raman, Rajeev; Rao, S. SrinivasaJournal Article
May-2011An empirical evaluation of extendible arraysJoannou, Stelios; Raman, RajeevConference Paper
9-Oct-2012Cell-cycle regulation of NOTCH signaling during C. elegans vulval developmentNusser-Stein, Stefanie; Beyer, Antje; Rimann, Ivo; Adamczyk, Magdalene; Piterman, Nir; Hajnal, Alex; Fisher, JasminJournal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 299
 next >