Institut for Datalogi

Organisationsprofil

Instituttets forskning har computere, programmering, samt software- og computersystemer som sit genstandsområde. Den forskningsmæssige angrebsvinkel spænder fra det formelt logiske, over det eksperimentelt konstruktive til det empirisk beskrivende.
Programmering og programmeringssprog udgør bindeleddet mellem computere og menneskelig aktivitet, og studiet af heraf er derfor centralt. Datalogien beskæftiger sig med, hvorledes man kan gennemføre en effektiv kvalitetsbetonet softwareudvikling, med design og implementering af formaliserede sproglige udtryksmidler samt med udvikling og anvendelse af softwareudviklingsværktøjer. Datalogien beskæftiger sig også i bredere forstand med udvikling og anvendelse af informationsteknologier.
Datalogien beskæftiger sig på den ene side med udnyttelsen og udviklingen af de tekniske muligheder eksempelvis udnyttelse af parallelisme i computernetværk og på den anden side mod udviklingen og tilpasningen af konkrete systemer og teknologier til specifikke anvendelser.
Området har stor berøring til matematik, til ingeniørvidenskab og til humanistiske og samfundsvidenskabelige discipliner.
Instituttet er opdelt i fire forskningsenheder:

Distribuerede systemer og semantik
Database- og programmeringsteknologier
Informationssystemer
Maskine Intelligens

Vis mere...

Kontaktinformation

Selma Lagerlöfs Vej, 300

9220, Aalborg Ø

Danmark

http://www.cs.aau.dk

Telefon: 9940 9940

Fax: 9940 9798

kgo@cs.aau.dk

Vis graf over relationer

Publikationer

(2551)

Accepteret
Learning Markov models for stationary system behaviors
Publikation: Forskning - peer review › Konferenceartikel i proceeding
Accepteret
WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process
Publikation: Forskning - peer review › Tidsskriftartikel
Udgivet
Bluetooth Indoor Positioning System using Fingerprinting
Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

Vis alle »

Forskningsprojekter

(137)

Certifiable Java for Embedded Systems
Projekt
Modular Markovian Logics for Analysis of Stochastic Concurrent Systems
Projekt
CAIN/Aveva
Projekt

Vis alle »

Mest anvendte tidsskrifter

Lecture Notes in Computer Science
ISSNs: 0302-9743
Springer, Tyskland
FI (2011): 1, Indekseret i ISI (2011): no, FI (2010): 1, WOS lokal (2010): WOS-Indekseret, FI (2009): 1, WOS lokal (2009): WOS-Indekseret, FI (2008): 1, WOS lokal (2008): WOS-Indekseret, WOS lokal (2007): WOS-Indekseret, WOS lokal (2006): WOS-Indekseret, WOS lokal (2005): WOS-Indekseret, WOS lokal (2004): WOS-Indekseret, WOS lokal (2003): WOS-Indekseret, WOS lokal (2002): WOS-Indekseret
Central database
Tidsskrift
Theoretical Computer Science
ISSNs: 0304-3975
Elsevier BV, Holland
FI (2011): 2, Indekseret i ISI (2011): yes, FI (2010): 2, WOS lokal (2010): WOS-Indekseret, FI (2009): 2, WOS lokal (2009): WOS-Indekseret, FI (2008): 2, WOS lokal (2008): WOS-Indekseret, WOS lokal (2007): WOS-Indekseret, WOS lokal (2006): WOS-Indekseret, WOS lokal (2005): WOS-Indekseret, WOS lokal (2004): WOS-Indekseret, WOS lokal (2003): WOS-Indekseret, WOS lokal (2002): WOS-Indekseret
Central database
Tidsskrift
I E E E Transactions on Knowledge & Data Engineering
ISSNs: 1041-4347
I E E E, USA
FI (2011): 2, Indekseret i ISI (2011): yes, FI (2010): 2, WOS lokal (2010): WOS-Indekseret, FI (2009): 2, WOS lokal (2009): WOS-Indekseret, FI (2008): 2, WOS lokal (2008): WOS-Indekseret, WOS lokal (2007): WOS-Indekseret, WOS lokal (2006): WOS-Indekseret, WOS lokal (2005): WOS-Indekseret, WOS lokal (2004): WOS-Indekseret, WOS lokal (2003): WOS-Indekseret, WOS lokal (2002): WOS-Indekseret
Central database
Tidsskrift
Information and Computation
ISSNs: 0890-5401
Academic Press, USA
FI (2011): 2, Indekseret i ISI (2011): yes, FI (2010): 2, WOS lokal (2010): WOS-Indekseret, FI (2009): 2, WOS lokal (2009): WOS-Indekseret, FI (2008): 1, WOS lokal (2008): WOS-Indekseret, WOS lokal (2007): WOS-Indekseret, WOS lokal (2006): WOS-Indekseret, WOS lokal (2005): WOS-Indekseret, WOS lokal (2004): WOS-Indekseret, WOS lokal (2003): WOS-Indekseret, WOS lokal (2002): WOS-Indekseret
Central database
Tidsskrift
Scandinavian Journal of Information Systems
ISSNs: 0905-0167
University of Aalborg Department of Mathematical Sciences, Sverige
FI (2011): 2, Indekseret i ISI (2011): no, FI (2010): 2, FI (2009): 2, FI (2008): 2
Central database
Tidsskrift