Published Articles, Dept. of Computer Science : [291] 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 291
 next >
PreviewFirst PublishedTitleAuthor(s)
20-Mar-2015Assessing and generating test sets in terms of behavioural adequacyFraser, G.; Walkinshaw, Neil; Offutt, J.
2014Resolving non-determinism in choreographiesBocchi, L.; Melgratti, H.; Tuosto, Emilio
17-Mar-2015Inferring Extended Finite State Machine Models from Software ExecutionsWalkinshaw, Neil; Taylor, R.; Derrick, J.; Robbes, R.; Oliveto, R.; Di Penta, M.
2014Query-competitive algorithms for cheapest set problems under uncertaintyErlebach, Thomas; Hoffmann, Michael; Kammer, F.
21-Nov-2014Multi-Type Display Calculus for Propositional Dynamic LogicFrittella, S.; Greco, G.; Kurz, Alexander; Palmigiano, A.
5-Dec-2014A Multi-type Display Calculus for Dynamic Epistemic LogicFrittella, S.; Greco, G.; Kurz, Alexander; Palmigiano, A.; Sikimić, V.
3-Nov-2014A Proof-Theoretic Semantic Analysis of Dynamic Epistemic LogicFrittella, S.; Greco, G.; Kurz, Alexander H.; Palmigiano, A.; Sikimić, V.; Aucher, G.; Hjortland, O.; Roy, O.
24-Jul-2014Mining sequential patterns from probabilistic databasesMuzammal, Muhammad; Raman, Rajeev
21-Apr-2014Encoding range minima and range top-2 queriesDavoodi, Pooya; Navarro, Gonzalo; Raman, Rajeev; Rao, S. Srinivasa
16-Mar-2013Optimal indexes for sparse bit vectorsGolynski, Alexander; Orlandi, Alessio; Raman, Rajeev; Rao, S. Srinivasa
May-2011An empirical evaluation of extendible arraysJoannou, Stelios; Raman, Rajeev; Pardalos, PM; Rebennack, S
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, Jasmin
12-Sep-2012Strongly complete logics for coalgebrasKurz, Alexander; Rosicky, Jiri
31-Jul-2012Completeness for the coalgebraic cover modalityKupke, Clemens; Kurz, Alexander; Venema, Yde
22-Jun-2012Succinct representations of permutations and functionsMunro, J. Ian; Raman, Rajeev; Raman, Venkatesh; Rao, Satti Srinivasa
2013Attitudes towards User Experience (UX) MeasurementLaw, Lai-Chong; van Schaik, Paul; Wiedenbeck, S
Sep-2010PCTL model checking of Markov chains: Truth and falsity as winning strategies in gamesFecher, H; Huth, M; Piterman, N; Wagner, D
Apr-2012A hierarchy of reverse bisimulations on stable configuration structuresPhillips, I; Ulidowski, I
2011Enriched Logical ConnectionsKurz, A; Velebil, J
May-2011Soft constraints of difference and equalityHebrard, E; Marx, D; O'Sullivan, B; Razgon, I
Collection's Items (Sorted by Submit Date in Descending order): 1 to 20 of 291
 next >