Published Articles, Dept. of Computer Science : [308] 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 308
 next >
First PublishedTitleAuthor(s)Type
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
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
9-Feb-2015Decoding the regulatory network for blood development from single cell gene expression measurementsPiterman, Nir; Moignard, V.; Woodhouse, S.; Haghverdi, L.; Lilly, J.; Tanaka, Y.; Wilkinson, A.; Buettner, F.; Macaulay, I.; Jawaid, W.; Diamanti, E.; Nishikawa, S.-I.; Kouskoff, V.; Theis, F.; Fisher, J.Journal 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
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 308
 next >