Published Articles, Dept. of Computer Science : [292] 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 292
 next >
First PublishedTitleAuthor(s)Type
1-Jul-2014HIAWSC: An Immune Algorithm Based Heuristic Web Service Composition FrameworkXu, J.; Reiff-Marganiec, StephanJournal 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
12-Sep-2012Strongly complete logics for coalgebrasKurz, Alexander; Rosicky, JiriJournal Article
31-Jul-2012Completeness for the coalgebraic cover modalityKupke, Clemens; Kurz, Alexander; Venema, YdeJournal Article
22-Jun-2012Succinct representations of permutations and functionsMunro, J. Ian; Raman, Rajeev; Raman, Venkatesh; Rao, Satti SrinivasaJournal Article
2013Attitudes towards User Experience (UX) MeasurementLaw, Lai-Chong; van Schaik, PaulJournal Article
Sep-2010PCTL model checking of Markov chains: Truth and falsity as winning strategies in gamesFecher, H; Huth, M; Piterman, N; Wagner, DJournal Article
Apr-2012A hierarchy of reverse bisimulations on stable configuration structuresPhillips, I; Ulidowski, IJournal Article
2011Enriched Logical ConnectionsKurz, A; Velebil, JJournal Article
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 292
 next >