Institut for Datalogi

Projekter

Projekter pr. år

1984 2023

• 4 Ikke startet
• 57 Igangværende
• 155 Afsluttet

Projekter pr. år

Søgeresultater

• Afsluttet

  BEO-COVID: Beslutningsstøtte for Evaluering og Optimering i UPPAAL

  Larsen, K. G., Stoustrup, J., Jensen, P. G., Mikucionis, M., Jørgensen, K. Y., Rodriguez, M. A. M., Poulsen, D. B. & Tschaikowski, M.

  Poul Due Jensens Fond

  27/04/2020 → 01/10/2020

  Projekter: Projekt › Forskning

  • decision
  • project
  • modeling
  • serum
  • school

• EUopSTART - H2020 Proposal Preparation

  Papachristos, L.

  25/02/2020 → 07/04/2020

  Projekter: Projekt › Andet

• The Anthill - A Fragmented View of the Designed Beyond

  Encinas, E. & Mitchell, R.

  01/01/2020 → 10/05/2020

  Projekter: Projekt › Andet

• Understanding business-travel practices

  Raptis, D., Encinas, E., Skov, M. B. & Kjeldskov, J.

  01/02/2019 → 01/10/2019

  Projekter: Projekt › Forskning

• AlliHop - Awaking Local Languages in Interaction

  Encinas, E., Dzalbe, S. & Mitchell, R.

  01/01/2019 → 01/06/2019

  Projekter: Projekt › Forskning

• PBL og entreprenørskab - sammenkobling og udvikling af begreber og praksis, der fremmer entreprenante kompetencer på tværs af AAU

  Lund, B., Vestergaard, J., Christensen, J. L., Aaen, I., Bak-Jensen, B., Gertsen, F., Vistisen, P., Krogh, L., Strand, A. M. C., Østergaard, A., Andreasen, M. B. & Thorsted, A. C.

  01/04/2018 → 30/10/2019

  Projekter: Projekt › Forskning

• Research Collaborations with Industries in North Jutland

  Yang, B.

  01/03/2018 → 31/10/2018

  Projekter: Projekt › Forskning

• PBL og matematik: Hvordan kan PBL fungere på universitetets grundfag? (PBL and mathematics: How might PBL suit the fundamental sciences at a university)

  Søndergaard, B. D., Geil, O., Hüttel, H., Rasmussen, M. G. & Rasmussen, J. G.

  01/01/2018 → 01/03/2019

  Projekter: Projekt › Andet

• Interacting with Cars in Digital Ecologies

  Svangren, M. K.

  01/10/2017 → 30/09/2019

  Projekter: Projekt › Forskning

• User Experience in Agile Development Environments

  Bruun, A. R., Nielsen, L., Nielsen, P. A., Persson, J. S. & Larusdottir, M.

  01/09/2017 → 01/04/2018

  Projekter: Projekt › Forskning

  Fil

• Digital Disruption Consortium

  Rosenstand, C. A. F., Nielsen, K., Otrel-Cass, K., Gertsen, F., Haase, L. M., Tollestrup, C., Brunø, T. D., Nielsen, C., Thomsen, P., Lund, M., Kristiansen, K. B., Ploug, T., Gudiksen, S. K., Andersen, J. G., Lassen, A. H., Jensen, J. F., Haslam, C. R., Vistisen, P., Johansen, S. S., Brix, J., Kjeldskov, J., Sarangi, S. K. & Kristiansen, J. N.

  01/06/2017 → 01/05/2018

  Projekter: Projekt › Forskning

• Productive4.0: Productive4.0

  Skou, A., Nielsen, B. & Albano, M.

  EU - Horizon 2020

  01/05/2017 → 30/09/2020

  Projekter: Projekt › Forskning

  • Automation
  • Industry
  • Robot learning
  • Industry 4.0
  • Cyber Physical System

• Vejledning og IT-platform: PBL Exchange

  Hüttel, H., Gnaur, D. & Nørmark, K.

  01/02/2017 → 01/05/2018

  Projekter: Projekt › Forskning

• Playing User Experience Assessments

  Nielsen, L. & Bruun, A. R.

  01/01/2017 → 01/09/2017

  Projekter: Projekt › Forskning

  Fil

• Agile software processer for sikkerhedskritiske systemer

  Nielsen, P. A. & Tordrup Heeager, L.

  01/08/2016 → 31/10/2018

  Projekter: Projekt › Forskning

• DISIMIT: Digital Service Integration through effective Management of IT

  Kræmmergaard, P., Nielsen, P. A., Tjørnehøj, G. & Reinwald, A.

  01/01/2016 → 31/12/2017

  Projekter: Projekt › Rådgivende projekt

• Management and Applications of Indoor-Space Trajectory Data

  Lu, H. & Shou, L.

  01/01/2016 → 31/12/2017

  Projekter: Projekt › Forskning

• Danish-Sino Workshops on Big Data Research Collaboration

  Lu, H.

  01/01/2016 → 30/06/2017

  Projekter: Projekt › Andet

• Approximate Reasoning for Stochastic Markovian Systems

  Mardare, R. & Larsen, K. G.

  01/11/2015 → 31/10/2019

  Projekter: Projekt › Forskning

• Designing Smart Home Interactions and Their Energy Consumption Impacts

  Jensen, R. H.

  01/08/2015 → 01/08/2018

  Projekter: Projekt › Forskning

• MANTIS: Cyber Physical System based Proactive Collaborative Maintenance

  Skou, A., Larsen, K. G., Nielsen, B., Sørensen, J. D. & Nielsen, J. S.

  01/05/2015 → 30/04/2018

  Projekter: Projekt › Forskning

• P3: Popular Parallel Programming

  Thomsen, B., Thomsen, L. L., Larsen, K. G. & Bøgholm, T.

  01/02/2015 → 31/03/2019

  Projekter: Projekt › Forskning

• QWeb: Querying the Web of Data Easily and Efficiently

  Hose, K., Montoya, G., Prado, L. A. G. D., Rouces, J., Mathiassen, K. A. M., Zervakis, E. & Setty, V.

  01/02/2015 → 31/10/2019

  Projekter: Projekt › Forskning

• InfinIT Embedded Systems Engineering interest group

  Thomsen, B. & Madsen, J.

  01/07/2014 → 31/12/2018

  Projekter: Projekt › Forskning

• PVCC: Photo Voltage Comfort Cooling

  Skou, A. & Agesen, M. K.

  EUDP

  01/01/2014 → 31/10/2016

  Projekter: Projekt › Forskning

  • comfort
  • air conditioning
  • heat pumps
  • cooling
  • heat

• AMIDST: Analysis of MassIve Data STreams - AMIDST

  Madsen, A. L., Bock, A. R., Nielsen, T. D. & Martinez, A. M.

  European Union’s Seventh Framework Programme for research, technological development and demonstration

  01/01/2014 → 31/12/2016

  Projekter: Projekt › Forskning

  • Finance
  • Automotive industry
  • Software engineering
  • Decision making

• INFINIT Udviklingsprocesser i vækst

  Nørbjerg, J., Nielsen, P. A. & Persson, J. S.

  01/01/2014 → 30/06/2014

  Projekter: Projekt › Forskning

• ABCDE: Agile Bruger-Centreret Design og Evaluering

  Færch, S. V., Larsen, L. B., Stage, J., Billestrup-Olesen, J. & Bruun, A. R.

  02/12/2013 → 30/04/2014

  Projekter: Projekt › Forskning

• CLINES: Cluster-based Innovation through Embedded Systems technology

  Skou, A., Nielsen, P. A., Aaen, I., Larsen, K. G., Nøhr, B. P., Holmene, C. F., Nielsen, C., Kristiansen, K. B. & Pedersen, J. E.

  Regions of Knowledge

  01/09/2013 → 31/08/2016

  Projekter: Projekt › Forskning

  • Embedded Systems
  • Innovation
  • Dissemination
  • Research Agenda
  • Triple Helix

• ASUD: Agile SW + UX Design

  Nielsen, P. A.

  01/08/2013 → 30/06/2016

  Projekter: Projekt › Forskning

• CASSTING: Collective Adaptive System SynThesIs using Non-zero-sum Games

  Larsen, K. G., Skou, A., David, A. & Srba, J.

  FP7 STREP

  01/04/2013 → 31/03/2016

  Projekter: Projekt › Forskning

  • Adaptive systems
  • Model checking
  • Health care
  • Automation
  • Communication

• Arrowhead

  Skou, A., Pedersen, T. B. & Bak-Jensen, B.

  Artemis JU

  01/03/2013 → 28/02/2017

  Projekter: Projekt › Forskning

  • energy process
  • automation
  • manufacturing
  • infrastructure
  • market

• Arrowhead

  Bak-Jensen, B.

  01/03/2013 → 28/02/2017

  Projekter: Projekt › Forskning

• Mobile Data Management for Pervasive Computing

  Lu, H.

  01/02/2013 → 31/12/2013

  Projekter: Projekt › Forskning

• INTREPID: INTelligent systems for Energy Prosumer buildIngs at District level

  Larsen, K. G., Skou, A. & Ravn, A. P.

  FP7 STREP

  01/11/2012 → 31/10/2015

  Projekter: Projekt › Forskning

  • residential building
  • energy
  • electricity
  • world
  • project

• SENSATION: Self Energy-Supporting Autonomous Computation

  Larsen, K. G., Hansen, R. R., Koch, P., Nielsen, B. & Skou, A.

  FP7 FET Proactive

  01/10/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Computer systems programming
  • Optimal systems
  • Energy harvesting
  • Embedded systems
  • Productivity

• BETTY: Behavioural Types for Reliable Large-Scale Software Systems

  Hüttel, H.

  01/10/2012 → 01/11/2015

  Projekter: Projekt › Forskning

• CRAFTERS: ConstRaint and Application driven Framework for Tailoring Embedded Real-time Systems

  Skou, A., Larsen, K. G., Nielsen, B., David, A., Nyman, U., Mikucionis, M., Olsen, P., Boudjadar, J. & Kim, J. H.

  Artemis JU

  01/06/2012 → 30/09/2015

  Projekter: Projekt › Forskning

  • Real time systems
  • Embedded systems
  • Ecosystems
  • Middleware
  • Benchmarking

• Improving IT Project Portfolio Management

  Pedersen, K.

  02/04/2012 → 02/04/2013

  Projekter: Projekt › Forskning

• Totalflex

  Skou, A., Pedersen, T. B., Bak-Jensen, B., Kjeldskov, J., Skov, M. B. & Werning Uhrenholt, R.

  ForskEL

  01/01/2012 → 31/12/2016

  Projekter: Projekt › Forskning

  • Agglomeration
  • Automation

• Energieffektiv måling og regulering af dekantere

  Larsen, J. A. & Skou, A.

  01/01/2012 → 31/12/2013

  Projekter: Projekt › Forskning

• BagTrack: Styr på bagagen

  Pedersen, T. B. & Lu, H.

  01/01/2012 → 31/12/2014

  Projekter: Projekt › Forskning

• CAIN/Aveva

  Rose, J., Heeager, L. T. & Nielsen, P. A.

  01/12/2011 → 30/06/2012

  Projekter: Projekt › Forskning

• MBAT: Model-based Analysis and Testing of Embedded Systems

  Nielsen, B., Larsen, K. G., David, A., Mikucionis, M. & Skou, A.

  Artemis JU

  01/11/2011 → 31/10/2014

  Projekter: Projekt › Forskning

  • Embedded systems
  • Testing
  • Industry
  • Costs
  • Static analysis

• Produktivitet og Trivsel Projektet

  Pedersen, K.

  01/09/2011 → 01/09/2013

  Projekter: Projekt › Forskning

• ENCOURAGE: Embedded iNtelligent COntrols for bUildings with Renewable generAtion and storaGE

  Skou, A., Larsen, K. G., Ravn, A. P., Rosenkilde, J., Olsen, P., Le Guilly, T., Madsen, P. P., Holmene, C. F. & Mardare, D.

  Artemis JU

  01/06/2011 → 30/11/2014

  Projekter: Projekt › Forskning

  • energy saving
  • energy use
  • energy
  • non-residential building
  • monitoring

• IDEA4CPS: Foundations for Cyber-Physical Sytems

  Larsen, K. G., Skou, A., Nielsen, B., Bulychev, P., Ravn, A. P. & Poulsen, D. B.

  01/04/2011 → 30/04/2015

  Projekter: Projekt › Forskning

• Euro-TM: Action IC1001: Transactional Memories: Foundations, Algorithms, Tools, and Applications (Euro-TM)

  Thomsen, B.

  10/02/2011 → 09/02/2015

  Projekter: Projekt › Forskning

• Energieffektiv regulering af separationsprocessor

  Larsen, J. A., Sloth, C. & Skou, A.

  01/01/2011 → 31/12/2012

  Projekter: Projekt › Forskning

• Modular Markovian Logics for Analysis of Stochastic Concurrent Systems

  Mardare, R.

  01/10/2010 → 30/09/2012

  Projekter: Projekt › Forskning