For the current REF see the REF 2021 website REF 2021 logo
You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Leicester » Outputs

Outputs (REF2)

11 - Computer Science and Informatics

University of Leicester

1 2
> Last
Showing outputs 1 - 50 of 71
Output title
A (5/3+epsilon)-approximation for strip packing
Output type
D - Journal article
Volume title
Computational Geometry
Year
2013
DOI
10.1016/j.comgeo.2013.08.008
Output title
A hierarchy of reverse bisimulations on stable configuration ...
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2012
DOI
10.1017/S0960129511000429
Output title
A Theory of Design-by-Contract for Distributed Multiparty In ...
Output type
E - Conference contribution
Volume title
CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010.
Year
2010
DOI
10.1007/978-3-642-15375-4_12
Output title
A unified approach to truthful scheduling on related machine ...
Output type
E - Conference contribution
Volume title
Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms
Year
2013
DOI
Output title
Abstraction and Training of Stochastic Graph Transformation ...
Output type
E - Conference contribution
Volume title
Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013
Year
2013
DOI
10.1007/978-3-642-37057-1_23
Output title
Alpha equivalence equalities
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.01.030
Output title
An algebraic semantics for MOF
Output type
D - Journal article
Volume title
FORMAL ASPECTS OF COMPUTING
Year
2010
DOI
10.1007/s00165-009-0140-9
Output title
Analysis in practical usability evaluation: A survey study
Output type
E - Conference contribution
Volume title
CHI '12: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Year
2012
DOI
10.1145/2207676.2208365
Output title
Approximating Geometric Coverage Problems
Output type
E - Conference contribution
Volume title
Proceedings of the Nineteenth Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2008, San Francisco, CA)
Year
2008
DOI
Output title
Approximation schemes for packing splittable items with cardinality ...
Output type
D - Journal article
Volume title
Algorithmica (New York)
Year
2012
DOI
10.1007/s00453-010-9445-6
Output title
Attitudes towards User Experience (UX) Measurement
Output type
D - Journal article
Volume title
International Journal of Human-Computer Studies
Year
2013
DOI
10.1016/j.ijhcs.2013.09.006
Output title
Automated Comparison of State-Based Software Models in Terms ...
Output type
D - Journal article
Volume title
ACM Transactions on Software Engineering and Methodology
Year
2013
DOI
10.1145/2430545.2430549
Output title
Automated Context-aware Service Selection for Collaborative ...
Output type
E - Conference contribution
Volume title
Advanced Information Systems Engineering, 21st International Conference, CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings.LNCS 5565
Year
2009
DOI
10.1007/978-3-642-02144-2_23
Output title
Automatic presentations and semigroup constructions
Output type
D - Journal article
Volume title
Theory of Computing Systems
Year
2010
DOI
10.1007/s00224-009-9216-4
Output title
Automatic presentations for semigroups
Output type
D - Journal article
Volume title
Information and Computation
Year
2009
DOI
10.1016/j.ic.2009.02.005
Output title
Bitopological duality for distributive lattices and Heyting ...
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2010
DOI
10.1017/S0960129509990302
Output title
Broadcast Scheduling: Algorithms and Complexity
Output type
D - Journal article
Volume title
ACM TRANSACTIONS ON ALGORITHMS
Year
2011
DOI
10.1145/2000807.2000815
Output title
Checking bisimilarity for attributed graph transformation
Output type
E - Conference contribution
Volume title
Foundations of Software Science and Computation Structures, 16th International Conference, FOSSACS 2013, Proceedings. LNCS volume 7794.
Year
2013
DOI
10.1007/978-3-642-37075-5_8
Output title
COMPLETENESS FOR THE COALGEBRAIC COVER MODALITY
Output type
D - Journal article
Volume title
LOGICAL METHODS IN COMPUTER SCIENCE
Year
2012
DOI
Output title
Completeness of Conversion between Reactive Programs for Ultrametric ...
Output type
E - Conference contribution
Volume title
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013.
Year
2013
DOI
10.1007/978-3-642-38946-7_17
Output title
Computational complexity of traffic hijacking under BGP and ...
Output type
E - Conference contribution
Volume title
Automata, Languages, and Programming, 39th International Colloquium, ICALP 2012, Proceedings, Part II. LNCS volume 7392.
Year
2012
DOI
10.1007/978-3-642-31585-5_43
Output title
Computing Minimum Spanning Trees with Uncertainty
Output type
E - Conference contribution
Volume title
Proceedings of the 25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008, Bordeaux, France)
Year
2008
DOI
Output title
Domain-specific discrete event modelling and simulation using ...
Output type
D - Journal article
Volume title
Software and Systems Modeling
Year
2012
DOI
10.1007/s10270-012-0242-3
Output title
DPO Transformation with Open Maps
Output type
E - Conference contribution
Volume title
Graph Transformations - 6th International Conference, ICGT 2012
Year
2012
DOI
10.1007/978-3-642-33654-6_14
Output title
EA-Analyzer: automating conflict detection in a large set of ...
Output type
D - Journal article
Volume title
Automated Software Engineering
Year
2012
DOI
10.1007/s10515-012-0106-7
Output title
Effective Tool Support for the Working Semanticist
Output type
D - Journal article
Volume title
Journal of Functional Programming
Year
2010
DOI
10.1017/S0956796809990293
Output title
Evaluating user experience of adaptive digital educational games ...
Output type
D - Journal article
Volume title
International Journal of Human Computer Studies
Year
2012
DOI
10.1016/j.ijhcs.2012.01.007
Output title
Event Identifier Logic
Output type
D - Journal article
Volume title
Mathematical Structures in Computer Science
Year
2013
DOI
10.1017/S0960129513000510
Output title
FA-presentable groups and rings
Output type
D - Journal article
Volume title
Journal of Algebra
Year
2008
DOI
10.1016/j.jalgebra.2007.04.015
Output title
Formal semantic conflict detection in aspect-oriented requir ...
Output type
D - Journal article
Volume title
REQUIREMENTS ENGINEERING
Year
2009
DOI
10.1007/s00766-009-0083-y
Output title
From Liveness to Promptness
Output type
D - Journal article
Volume title
Formal Methods in System Design
Year
2009
DOI
10.1007/s10703-009-0067-z
Output title
From StPowla processes to SRML models
Output type
D - Journal article
Volume title
FORMAL ASPECTS OF COMPUTING
Year
2010
DOI
10.1007/s00165-009-0118-7
Output title
Groups and semigroups with a one-counter word problem
Output type
D - Journal article
Volume title
Journal of the Australian Mathematical Society
Year
2008
DOI
10.1017/S1446788708000864
Output title
Improved On-line Broadcast Scheduling with Deadlines
Output type
D - Journal article
Volume title
Journal of Scheduling
Year
2008
DOI
10.1007/s10951-007-0036-6
Output title
Incremental Service Composition Based on Partial Matching of ...
Output type
E - Conference contribution
Volume title
Fundamental Approaches to Software Engineering, FASE 2010, Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010
Year
2010
DOI
10.1007/978-3-642-12029-9_9
Output title
Linear-time Haplotype Inference on Pedigrees without Recombinations ...
Output type
D - Journal article
Volume title
SIAM Journal on Computing
Year
2009
DOI
10.1137/080680990
Output title
Logic-based conflict detection for Distributed Policies
Output type
D - Journal article
Volume title
Fundamenta Informaticae
Year
2009
DOI
Output title
LTL generalized model checking revisited
Output type
D - Journal article
Volume title
International Journal on Software Tools for Technology Transfer
Year
2011
DOI
10.1007/s10009-010-0169-3
Output title
Max-min online allocations with a reordering buffer
Output type
D - Journal article
Volume title
SIAM Journal on Discrete Mathematics
Year
2011
DOI
10.1137/100794006
Output title
Meaningless Sets in Infinitary Combinatory Logic
Output type
E - Conference contribution
Volume title
23rd International Conference on Rewriting Techniques and Applications (RTA'12)
Year
2012
DOI
Output title
Modalities in the Stone age: A comparison of coalgebraic log ...
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2012
DOI
10.1016/j.tcs.2012.03.027
Output title
Multiparty Sessions in SOC
Output type
E - Conference contribution
Volume title
Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008, LNCS 5052
Year
2008
DOI
10.1007/978-3-540-68265-3_5
Output title
Nominal Lambda Calculus: An Internal Language for FM-Cartesian ...
Output type
E - Conference contribution
Volume title
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. ENTCS volume 298.
Year
2013
DOI
10.1016/j.entcs.2013.09.009
Output title
Notions of hyperbolicity in monoids
Output type
D - Journal article
Volume title
Theoretical Computer Science
Year
2010
DOI
10.1016/j.tcs.2009.10.016
Output title
On nominal regular languages with binders
Output type
E - Conference contribution
Volume title
Foundations of Software Science and Computational Structures - 15th International Conference, FOSSACS 2012
Year
2012
DOI
10.1007/978-3-642-28729-9_17
Output title
On the automaticity of singular Artin monoids of finite type
Output type
D - Journal article
Volume title
International Journal of Computer Mathematics
Year
2013
DOI
10.1080/00207160.2012.734812
Output title
Online Interval Scheduling: Randomized and Multiprocessor Ca ...
Output type
D - Journal article
Volume title
Journal of Combinatorial Optimization
Year
2008
DOI
10.1007/s10878-007-9131-z
Output title
Online scheduling with preemption or non-completion penaltie ...
Output type
D - Journal article
Volume title
Journal of Scheduling
Year
2013
DOI
10.1007/s10951-013-0321-5
Output title
Optimal Indexes for Sparse Bit Vectors
Output type
D - Journal article
Volume title
Algorithmica
Year
2013
DOI
10.1007/s00453-013-9767-2
Output title
Optimal Trade-Offs for Succinct String Indexes
Output type
E - Conference contribution
Volume title
Automata, Languages and Programming, 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Year
2010
DOI
10.1007/978-3-642-14165-2_57
1 2
> Last
Showing outputs 1 - 50 of 71