• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bog

Checking Consistency of Pedigree Information is NP-complete

Aceto, L., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2002, Århus: BRICS - Aarhus University. (B R I C S Report Series; Nr. RS-02-42).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Classification using Hierarchical Naive Bayes models

Langseth, H. & Nielsen, T. D., 2002, Aalborg: Aalborg Universitetsforlag. (Technical Report / Department of Computer Science; Nr. TR-02-004).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Clock Difference Diagrams

Larsen, K. G., Weise, C., Yi, W. & Pearson, J., 1998, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

CMC: A Tool for Compositional Model-Checking of Real-Time Systems

Larsen, K. G. & Laroussinie, F., 1998, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Communication and Work on Maritime Bridges

Andersen, P. B., 2000, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

94 Citationer (Scopus)

Compositional and Symbolic Model: Checking of Real Time Systems

Larsen, K. G., Pettersson, P. & Yi, W., 1995

Publikation: Bog/antologi/afhandling/rapportBogForskning

Compositional Safety Logics

Larsen, K. G. & Andersen, J. H., 1997, Århus : Daimi: Department of Computer Science, Aarhus University. (BRICS Report Series; Nr. RS-97-13).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Computer Aided Verification: Proceding of the 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31 2002

Brinksma, E. & Larsen, K. G., 2002, Berlin: IEEE Computer Society Press. 626 s. (Lecture Notes in Computer Science; Nr. 2404).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Computer Aided Verification: 3rd International Workshop, CAV'91

Larsen, K. G. & Skou, A., 1992, Berlin: IEEE Computer Society Press.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Computer-assisted Learning for Land Information Systems

Bidragets oversatte titel: Datamatstøttet indlæring for landinformationssystemerStubkjær, E., Dresling, A. & Höhle, J., 1988, Oslo: Norwegian Computing Centre.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Conceptual Modeling of Time-Varying Information

Gregersen, H. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Technical Report; Nr. TR-35).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Conceptual Modeling Spatiotemporal Applications

Tryfona, N. & Jensen, C. S., 1998, Aalborg: Aalborg Universitetsforlag. (Chorochronos Technical Report; Nr. CH-98-8).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CONCUR 2001 - Concurrency Theory: 12th International Conference Aalborg, Denmark, August 20 - 25, 2001

Larsen, K. G. & Nielsen, M. E. ., 2001, Berlin: IEEE Computer Society Press. (Lecture Notes in Computer Science; Nr. 2154).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Conditional Cost in the SACSO Troubleshooter

Langseth, H., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Conditional for the SACSO Data to be Missing at Random

Langseth, H., 2000, Aalborg: Aalborg Universitetsforlag. (Technical Report : Department of Computer Science, Aalborg University).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Context Dependent Minimization of State/Event Systems

Behrmann, G., Kristoffersen, K. J. & Larsen, K. G., 1997, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

8 Citationer (Scopus)

Cost Modeling and Estimation for OLAP-XML Federations

Pedersen, D., K., R. & Pedersen, T. B., 2002, Aalborg: Aalborg Universitetsforlag. 19 s. (Technical Report / Department of Computer Science; Nr. R-02-5003).

Publikation: Bog/antologi/afhandling/rapportBogForskning

CPO Models for GSOS Languages, Part 1: Compact GSOS Languages

Aceto, L. & Ingolfsdottir, A., 1994, Århus : Daimi: Department of Computer Science, Aarhus University. 70 s. (BRICS Report Series; Nr. RS-94-40).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Creating Interactive Web Content Using Macromedia Shockwave and Flash

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 64 s. (HCI Lab Technical Report; Nr. 2001/2).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Current trends in web engineering: ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers

Sheng, Q. Z. (red.) & Kjeldskov, J. (red.), 2013, Cham: Springer Publishing Company. 379 s. (Lecture Notes in Computer Science, Bind 8295).

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Danfoss {EKC} Trial Project Deliverables

Larsen, K. G., Larsen, U., Nielsen, B., Skou, A. & Wasowski, A., 2003, December udg. Århus University: BRICS. 53 s. (BRICS RS; Nr. RS-03-48).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Data Exploration using Example-based Methods

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y., 2018, Morgan & Claypool Publishers. 164 s. (Synthesis Lectures on Data Management; Nr. 53).

Publikation: Bog/antologi/afhandling/rapportBogForskningpeer review

Query languages
Learning systems

Data Managenent Technologies in Telcos

Böhlen, M. H., Jonker, W. & Revett, M., 2000, (EURESCOM Booklet).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Data Warehousing and Knowledge Discovery. 11th International Conference, DaWaK 2009 Linz, Austria, August 31-September 2, 2009 Proceedings

Pedersen, T. B., Mohania, M. & Tjoa, A. M., 2009, Springer. 478 s. (Lecture Notes in Computer Science; Nr. 5691).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Deciding Framed Bisimilarity

Huttel, H., 2002, Århus: BRICS - Aarhus University. (BRICS Research Report; Nr. RS-02-25).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks

Jensen, M. V. & Nielsen, B., 1998, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5008).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Designing Interactive Websites Using Macromedia Dreamweaver 4

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 63 s. (HCI Lab Technical Report; Nr. 2001/3).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Designing Multimedia Applications Using Macromedia Director 8 Shockwave Studio

Kjeldskov, J., 2001, Aalborg University: Department of Computer Science, Aalborg University. 72 s. (HCI Lab Technical Report; Nr. 2001/4).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Designing www.LEGO.com/shop: Business Issues and Concerns

Damsgaard, J. & Hørlyck, J., 1999, Aarhus: Department of Management. (Teaching Note).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Designing www.LEGO.com/shop: Business Issues and Concerns

Damsgaard, J. & Hørlyck, J., 2000, Aarhus: Department of Management. (Teaching Case).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Design og implementation baseret på en generel grundstruktur for EDB-systemer: Dagbog fra et systemudviklingseksperiment

Stage, J., 1990, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 90-20).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Det begynder i skolen - En ATV-rapport om naturfagenes vilkår og fremtidige udviklingsmuligheder i grundskolen

Bohm, M., Bonnerup, E., Elberling, C., Jensen, C. S., Knudsen, C. P., Leffland, L., Lund, H. H., Olsen, N., Pallesen, L. & Sørensen, K., 2004, Akademiet for de Tekniske Videnskaber. 81 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Rapport

Developing the Prototype Approach in Rapid Systems Modelling

Baskerville, R. L. & Stage, J., 1991, Aalborg: Aalborg Universitetsforlag. (Aalborg Universitetscenter. Institut for Elektroniske Systemer - Rapport; Nr. R 91-35).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Diagnosing Metrics Practices in a Software Organization

Frederiksen, H. D. & Mathiasen, L. ., 2000, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Downward Causation: Minds, Bodies and Matter

Andersen, P. B., Emmeche, C. E. ., Finnemann, N. O. E. . & Christiansen, P. V. E. ., 2000, Aarhus: Aarhus Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Dynamic Modelling with Dynamo

Nørmark, K., 1996

Publikation: Bog/antologi/afhandling/rapportBogForskning

Dynamic Models in Object-Oriented Design

Nørmark, K., 1996, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R96-2005).

Publikation: Bog/antologi/afhandling/rapportBogForskning

DYNAMO - A Set of Tools for Dynamic Modelling

Nørmark, K., 1996

Publikation: Bog/antologi/afhandling/rapportBogForskning

Efficient Differential Timeslice Computation

Torp, K., Mark, K. L. & Jensen, C. S., 1994, Aalborg: Aalborg Universitetsforlag. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R94-2055).

Publikation: Bog/antologi/afhandling/rapportBogForskning

73 Citationer (Scopus)

Efficient Tracking of Moving Objects with Precision Guarantees

Civilis, A., Jensen, C. S., Nenortaite, J. & Palalnis, S., 2004, 23 s. (1DB Technical Report; Nr. TR-5).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Location based services
Consumer electronics
Global positioning system
Railroad cars
Communication

Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Larsen, K. G., Larsson, F., Pettersson, P. & Yi, W., 2001

Publikation: Bog/antologi/afhandling/rapportBogForskning

Engineering Adaptive Applications: A Domain Engineering Framework

Dolog, P., 2008, VDM Verlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Engineering Web Applications

Casteleyn, S., Daniel, F., Dolog, P. & Matera, M., 2009, XIII udg. Springer. 349 s. (Data Centric Systems and Applications; Nr. XIII).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Requirements engineering
Semantic Web
Software engineering
Wireless networks

Enhancing an Extensible Query Optimizer with Support for Multiple Equivalence Types

Slivinskas, G. & Jensen, C. S., 2002, Aalborg: Aalborg Universitet. 21 s. (TimeCenter Technical Report; Nr. TR-70).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Erfaringer med udvikling af undervisningsprogrammer om landinformationssystemer

Höhle, J., Stubkjær, E. & Dresling, A., 1989, 135 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Evaluating and Enhancing the Completeness of TSQL2

Böhlen, M., Jensen, C. S. & Snodgrass, R. T., 1995, USA: University of Arizona. (R-95-5).

Publikation: Bog/antologi/afhandling/rapportBogForskning

21 Citationer (Scopus)

Exact Acceleration of Real-Time Model Checking

Hendriks, M. & Larsen, K. G., 2002, Pergamon Press. (Electronic notes in theoretical science; Nr. 65).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Experience from Implementing Software Metrics for Benchmarking

Bøttcher, P. & Frederiksen, H. D., 2000, Aalborg: Aalborg Universitetsforlag.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Experimental Batch Plant: VHS Case Study 1 using Timed Automata and UPPAAL

Kristoffersen, K., Larsen, K. G., Pettersson, P. & Weise, C., 1999

Publikation: Bog/antologi/afhandling/rapportBogForskning