• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Bog
2005

The Quest for Equational Axiomatizations of Parallel Composition: Status and Open Problems

Aceto, L. & Fokkink, W., 2005, Århus. 6 s. (B R I C S Notes Series; Nr. NS-05-3).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Parallel Composition
Formal Languages
Composition Operator
Axiomatization
Open Problems

What is Theoretical Computer Science? (Preliminary Version)

Aceto, L. & Ingolfsdottir, A., 2005, Århus: BRICS. 13 s. (B R I C S Notes Series; Nr. NS-05-1).

Publikation: Bog/antologi/afhandling/rapportBogFormidling

2004

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
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

Formal Modeling and Analysis of Timed Systems

Larsen, K. G. & Niebert, P., 2004, Springer. 281 s. (Lecture Notes in Computer Science; Nr. 2791).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Formal methods
Real time systems
Petri nets
Algebra

Indeterminacy and Spatiotemporal Data: the Moving Point Object Case

Pfoser, D., Tryfona, N. & Jensen, C. S., 2004, (Computer Technology Institute Technical Report; Nr. 2004/02/03).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Indexing the Past, Present and Anticipated Future Positions of Moving Objects

Pelanis, M., Saltenis, S. & Jensen, C. S., 2004, 30 s. (TimeCenter Technical Report; Nr. TR-78).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Monitoring
Communication
557 Downloads (Pure)

Integration af XML Data i TARGIT OLAP Systemet

Bidragets oversatte titel: Integrating XML Data in the Targit OLAP SystemPedersen, D., Pedersen, J. & Pedersen, T. B., 2004, Electrical Engineering/Electronics, Computer, Communications and Information Technology Association. 21 s. (Data Engineering; Nr. 8).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium

Kjeldskov, J., Skov, M. B. & Stage, J., 2004, Aalborg University: Department of Computer Science, Aalborg University. 92 s. (HCI Lab Technical Report; Nr. 2004/1).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Proceedings of the Workshop on Improving the Interplay between Usability Evaluation and User Interface Design

Stage, J., 2004, Aalborg: Aalborg Universitetsforlag. (HCI-Lab Report; Nr. 2004-2).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Report on set-up of field-trial

Pedersen, C. F., Jensen, J. J., Dalsgaard, P., Larsen, L. B., Saugstrup, D. & Kaldanis, V., 2004, 1. udgave udg. Bruxelles: EU. 112 s. (Information Society Technologies, 507102, My Personal Adaptive Global NET (MAGNET)).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Special issue of Journal of Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W., 2004, Pergamon Press. 463 s. (Journal of Logic and Algebraic Programming; Nr. vols. 60-61).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Supporting Frequent Updates in R-Trees: A Bottom-Up Approach

Lee, M. L., Hsu, W., Jensen, C. S., Cui, B. & Teo, K. L., 2004, 23 s. (1DB Technical Report; Nr. TR-6).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Information management
Throughput
Hardware
Data storage equipment
Sensors

Supporting Intimacy: Mediating Strong-Tie Relationships

Kjeldskov, J., Howard, S., Vetere, F., Gibbs, M., Pedell, S. & Mecoles, K., 2004, University of Melbourne: Department of Information Systems. 130 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

317 Downloads (Pure)

Synkromisering af XPath Views

Bidragets oversatte titel: Synchronizing XPath ViewsPedersen, D. & Pedersen, T. B., 2004, 22 s. (DB Tech Report; Nr. 7).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Åben adgang
Fil

The INFATI Data

Jensen, C. S., Lahrmann, H. S., Palalnis, S. & Runge, J., 2004, 10 s. (TimeCenter Technical Report; Nr. TR-79).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Query processing
Global positioning system
Railroad cars

User Requirements for PN to Drive the Definition of a Valid Architecture

Olesen, H., Jiang, B., Butkus, A., Schultz, N., Saugstrup, D., Sørensen, L., Pedersen, C. F., Jensen, J. J., Larsen, L. B., Björksten, M., Markopoulos, A., Gkanas, I., Kaldanis, V., Prasad, R., Alm, K., Vila, J. P. & Köstering, N., 2004, 1. udgave udg. Bruxelles: EU. 144 s. (Information Society Technologies, 507102, My Personal Adaptive Global NET, d1.1.1b).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Information use
2003

A Representation Theorem and Applications to Measure Selection and Noninformative Priors

Jaeger, M., 2003, 2003 udg. Max-Planck-Institut für Informatik. (MPI-I; Nr. MPI-I-2003-2-002).

Publikation: Bog/antologi/afhandling/rapportBogForskning

9 Citationer (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, Uppsala University. (Reports; Nr. 2003-011).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

Longitudinal Usability Evaluation of IBM IPJ 2.3 Electronic Patient Record

Kjeldskov, J., Skov, M. & Stage, J., 2003, Aalborg: Aalborg Universitetsforlag. 60 s. (Usability Reports; Nr. U3).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Online On-the-Fly Testing of Real-time Systems

Mikucionis, M., Larsen, K. G. & Nielsen, B., 2003, September udg. Århus University: BRICS. 14 s. (BRICS RS; Nr. RS-03-49).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Organizing for Networked Information Technologies: readings in process integration and transformation articles

Damsgaard, J. (red.), Hørlück, J. (red.), Jensen, P. K. (red.) & Rose, J. (red.), 2003, Ny udg. Aalborg: Aalborg Universitetsforlag. 158 s.

Publikation: Bog/antologi/afhandling/rapportBogFormidling

Proceedings of First International Workshop on Formal Modeling and Analysis of Timed, Marseille, September 2003

Larsen, K. G. . . & Niebert, P. . ., 2003

Publikation: Bog/antologi/afhandling/rapportBogForskning

Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence

Kjærulff, U. B. . . & Meek, C. . ., 2003, Morgan Kaufmann Publishers, San Francisco: California. (Proceedings of the Nineteenth Conference on Uncertainty in Artificial Intelligence 2003).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ESCQARU)

Nielsen, T. D. . . & Zhang, N. . ., 2003, Berlin-Heidelberg: IEEE Computer Society Press. (Lecture Notes In Artificial Intelligence; Nr. 2711).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Spatiotemporal Databases: The Chorochronos Approach

Sellis, T., Koubarakis, M., Frank, A., Grumbach, S., Güting, R. H., Jensen, C. S., Lorentzos, N., Manolopoulos, Y., Nardelli, E., Pernici, B., Schek, H. J., Scholl, M., Theodoulidis, B. & Tryfona, N. . ., 2003, Springer. (Lecture Notes in Computer Science; Nr. 2520).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Special Issue of Information Systems With Best Papers from EDBT

Jensen, C. S., 2003, 157 s. (Information Systems; Nr. 28, 1-2).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Special Issue of the IEEE Data Engineering Bulletin on Infrastructure for Research in Spatio-Temporal Query Processing

Jensen, C. S., 2003, 54 s. (IEEE Data Engineering Bulletin; Nr. 26, 2).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Special issue of the Journal on Logic and Algebraic Programming on Structural Operational Semantics

Aceto, L. & Fokkink, W. J., 2003, Pergamon Press.

Publikation: Bog/antologi/afhandling/rapportBogForskning

2002

A Formalization of Linkage Analysis

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

A Note on an Expressiveness Hierarchy for Multi-exit Iteration

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

11 Citationer (Scopus)

A Performance Study of Distributed Timed Automata Reachability Analysis

Behrmann, G., 2002, Pergamon Press. (Electronical notes in theoretical computer science; Nr. 68).

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

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

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

Deciding Framed Bisimilarity

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

Publikation: Bog/antologi/afhandling/rapportBogForskning

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

20 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

Heuristic Inspection of DIASnet: an Interactive Simulation System for Diabetics

Kjeldskov, J., Skov, M. & Stage, J., 2002, Aalborg: Aalborg Universitet. (Internal Report of the Information Systems group).

Publikation: Bog/antologi/afhandling/rapportBogForskning

IEEE Data Engineering Bulletin: Special Issue on Indexing of Moving Objects, Vol. 25, No. 2

Jensen, C. S., 2002, 64 s.

Publikation: Bog/antologi/afhandling/rapportBogForskning

Improving Software Organizations:From Principles to Practice

Mathiassen, L., Pries-Heje, J. & Ngwenyama, O., 2002, Boston: Addison-Wesley. 338 s. (The agile software development series).

Publikation: Bog/antologi/afhandling/rapportBogForskning

On the Ontological Expressiveness of Temporal Extensions to the Entity-Relationship Model

Gregersen, H. & Jensen, C. S., 2002, Aalborg: Aalborg Universitet. (TimeCenter Technical Report; Nr. TR-69).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Preliminary Proceedings of the 3rd International Workshop on Models for Time-Critical Systems (MTCS '02)

Vogler, W. . . & Larsen, K. G., 2002

Publikation: Bog/antologi/afhandling/rapportBogForskning

18 Citationer (Scopus)

Query Optimization for OLAP-XML Federations

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Aalborg: Aalborg Universitet. 23 s. (R / Technical report; Nr. R-02-5004).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Regular Languages Definable by Lindström Quantifiers (Preliminary Version)

Ésik, Z. & Larsen, K. G., 2002, Århus: BRICS. (B R I C S Report Series; Nr. RS-02-21).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Usability Evaluation of Electronic Patient Journal IBM IPJ 2.3

Kjeldskov, J., Skov, M. & Stage, J., 2002, Aalborg: Aalborg Universitet. (Internal Reports of the Information Systems group).

Publikation: Bog/antologi/afhandling/rapportBogForskning

Usability Evaluation of the WAP Service AutoLocate

Kjeldskov, J., Skov, M. & Stage, J., 2002, Aalborg: Aalborg Universitet. (Internal Report of the Information Systems group).

Publikation: Bog/antologi/afhandling/rapportBogForskning