Projects per year
Projects 2007 2017
- 10 Finished
Finished
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Project: Research
The design of interactive experiences: advanced IT in inter-disciplinary teaching and research
Gallagher, J. P., Jørgensen, N. & Jacquemin, C.
01/04/2011 → 31/03/2012
Project: Research
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2011 → 31/12/2013
Project: Research
Havhingstens tur til Irland – en interaktiv oplevelsesplatform
Gallagher, J. P., Andreasen, T., Christiansen, H., Jensen, S. S. & Strand, D. L.
01/08/2010 → 31/01/2011
Project: Research
FIRST: Foundations of Innovative Research in Software Technologies (FIRST Research School)
01/01/2008 → 31/12/2010
Project: Research
Logic-statistic modelling and analysis of biological sequence data
Christiansen, H., Gallagher, J. P., Skovgaard, O., Pedersen, M. B., Garrigues, C., Jaeger, M., Forsberg, R., Steffensen, P. J., Knudsen, T., Knudsen, B., Krogh, A. & Sato, T.
01/05/2007 → 31/12/2012
Project: Research
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P., Rosendahl, M. & Rhiger, M.
01/01/2007 → 31/12/2010
Project: Research