• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2019

05421 Abstracts Collection - Data Always and Everywhere

Alonso, G., Jensen, C. S. & Mitschang, B., 2006, Dagstuhl Seminar Procedings. Dagstuhl, Germany, 19 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

Research

13th IEEE International Conference on Mobile Data Management

Aberer, K. (red.), Joshi, A. (red.), Mukherjea, S. (red.), Chakraborty, D. (red.), Lu, H. (red.), Venkatasubramanian, N. (red.) & Kanhere, S. (red.), 2012, IEEE Computer Society Press.

Publikation: Bog/antologi/afhandling/rapportAntologiForskningpeer review

16. MDM 2015: Pittsburgh, PA, USA - Volume 1

Jensen, C. S. (red.), Xie, X. (red.), Zadorozhny, V. (red.), Madria, S. (red.), Pitoura, E. (red.), Zheng, B. (red.) & Chow, C-Y. (red.), 2015, 16th IEEE International Conference on Mobile Data Management, MDM 2015. Bind 1.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskningpeer review

Åben adgang

16. MDM 2015: Pittsburgh, PA, USA - Volume 2

Jensen, C. S. (red.), Xie, X. (red.), Zadorozhny, V. (red.), Madria, S. (red.), Pitoura, E. (red.), Zheng, B. (red.) & Chow, C-Y. (red.), 2015, 16. MDM 2015: Pittsburgh, PA, USA - Volume 2. Bind 2.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskningpeer review

Åben adgang
488 Downloads (Pure)

20 Years of Modal and Mixed Specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, I : Bulletin of the European Association for Theoretical Computer Science. 95

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
Fil
Specifications

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 nov. 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Industry

28th ACM International Conference on Hypertext and Social Media

Dolog, P., Vojtás, P., Bonchi, F. & Helic, D., 2017, I : S I G W E B Newsletter. 2017, Winter, s. 2:1-2:8 8 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

10 Citationer (Scopus)

2-Nested Simulation is not Finitely Equationally Axiomatizable

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2001, STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. Ferreira, A. : Reichel, H. (eds.) (red.). 2010 udg. IEEE Computer Society Press, s. 39-50

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

11 Citationer (Scopus)
676 Downloads (Pure)

3D Visual Data Mining: goals and experiences

Bidragets oversatte titel: 3D visual data mining: goals and experiencesBøhlen, M. H., Bukauskas, L., Eriksen, P. S., Lauritzen, S. L., Mazeika, A., Musaeus, P. & Mylov, P., 2003, I : Computational Statistics & Data Analysis. 43, 4, s. 445 - 469

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Visual Data Mining
Data mining
Data visualization
Interaction
Scientific Visualization
531 Downloads (Pure)

3XL: An Efficient DBMS-based Triple-store

Xiufeng, L., Thomsen, C. & Pedersen, T. B., sep. 2012, The 23rd International Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, s. 284-288 6 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Fil
Ontology
6 Citationer (Scopus)
335 Downloads (Pure)

3XL: Supporting Efficient Operations on Very Large OWL Lite Triple-stores

Liu, X., Thomsen, C. & Pedersen, T. B., jun. 2011, I : Information Systems. 36, 4, s. 765-781 19 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Semantic Web
Engines
Experiments

A* Wars: The Fight for Improving A* Search for Troubleshooting with Dependent Actions

Ottosen, T. J. & Jensen, F. V., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (red.). s. 233-240 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

A3SAR: Context-aware spatial augmented reality for anywhere, anyone, and analysis

Mei, B., Liu, D., Xie, X., Chen, J. & Du, X., 2015, Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers. Liu, A., Ishikawa, Y., Qian, T., Nutanong, S. & Cheema, M. A. (red.). Springer, Bind 9052. s. 307-312 6 s. (Lecture Notes in Computer Science; Nr. 9052).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

A Bayesian Concept Learning Approach to Crowdsourcing

Viappiani, P. R., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, I : CEUR Workshop Proceedings. 756, 8 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

1 Citation (Scopus)

A Bayesian concept learning approach to crowdsourcing

Viappiani, P., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, AAAI Workshop - Technical Report. AAAI Press, Bind WS-11-13. s. 60-67 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

A Bayesian Network Framework for the Construction of Virtual Agents with Human-like Behaviour

Bangsø, O., Sønderberg-Madsen, N. & Jensen, F. V., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. Studený, M. & Vomlel, J. (red.). <Forlag uden navn>, s. 35-42 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1995, Proceedings of European Conference on Information Systems, Athens, Greece, 1995.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1996, I : Scandinavian Journal of Information Systems. 8, 2

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

61 Citationer (Scopus)

A Benchmark for Evaluating Moving Object Indexes

Chen, S., Jensen, C. S. & Lin, D., 2008, PVLDB '08. Association for Computing Machinery, s. 1574-1585

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Concurrency control

Absolute Time

Jensen, C. S. & Snodgrass, R. T., 2009, Encycopedia of Database Systems. 2009 udg. Berlin/Heidelberg: Springer, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingEncyclopædiartikelForskning

Abstraction-based verification of distributed systems

Jensen, H. E., 1999, Aalborg: Aalborg Universitetsforlag. (R : Department of Computer Science, Aalborg University; Nr. 99-5005).

Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

6 Citationer (Scopus)

Abstraction of Continuous Dynamical Systems Utilizing Lyapunov Functions

Sloth, C. & Wisniewski, R., 2010, I : I E E E Conference on Decision and Control. Proceedings. s. 3760-3765

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

Lyapunov functions
Lyapunov Function
Dynamical systems
Dynamical system
Timed Automata
6 Citationer (Scopus)
211 Downloads (Pure)

Abstraction of Dynamical Systems by Timed Automata

Wisniewski, R. & Sloth, C., 2011, I : Modeling, Identification and Control (Online Edition). 32, 2, s. 79-90 12 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Fil
Timed Automata
Equivalence classes
Dynamical systems
State Space
Dynamical system
2 Citationer (Scopus)
286 Downloads (Pure)

Abstractions for Mechanical Systems

Sloth, C. & Wisniewski, R., 2012, Lagrangian and Hamiltonian Methods for Non Linear Control. 1 udg. Elsevier, Bind 4. s. 96-101 6 s. (I F A C Workshop Series).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Formal verification
33 Citationer (Scopus)

Abstract Probabilistic Automata

Delahaye, B., Katoen, J-P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wasowski, A., 2011, I : Lecture Notes in Computer Science. 6538, s. 324-339

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

11 Citationer (Scopus)

Abstract probabilistic automata

Delahaye, B., Katoen, J. P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F. & Wa̧sowski, A., 4 nov. 2013, I : Information and Computation. 232, s. 66-116 51 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Probabilistic Automata
Specifications
Specification
Explosions
Uncertainty
442 Downloads (Pure)

A Business Case Method for IT Investments in Danish Municipalities

Persson, J. S. & Nielsen, P. A., 2012, IT Management in Local Government : The DISIMIT Project. Rose, J., Persson, J. S., Kræmmergaard, P. & Nielsen, P. A. (red.). Aalborg: Software Innovation, Aalborg University, s. 115-129 15 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

Åben adgang
Fil
Case method
Municipalities
Information technology investment
Business case
Private sector organizations

Academic technology research and regions: partnerships and pitfalls

Rose, J., 2005. 4 s.

Publikation: Konferencebidrag uden forlag/tidsskriftPaper uden forlag/tidsskriftForskningpeer review

A Calculus for Modelling, Simulating and Analysing Compartmentalized Biological Systems

Mardare, R. I. & Ihekwaba, A., 2007, I : AIP Conference Proceedings. s. 42 46 s.

Publikation: Bidrag til tidsskriftKonferenceartikel i tidsskriftForskningpeer review

calculus
congressional reports
engineering
physics
29 Citationer (Scopus)

A capacitive sensing toolkit for pervasive activity detection and recognition

Wimmer, R., Kranz, M., Boring, S. & Schmidt, A., 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07). s. 171-180 10 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

A Case-based Assessment of Recommendations for Implementing Software Metrics

Frederiksen, H. D., 2003, Proceedings of EuroSPI'2003 Conference, Dec. 10-12 2003, Graz, Austria.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions

Billestrup, J., Stage, J. & Larusdottir, M., 2016, ACHI 2016: The Ninth International Conference on Advances in Computer-Human Interactions. IARIA, s. 307-314 8 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
9 Citationer (Scopus)

A case study of three software projects: can software developers anticipate the usability problems in their software

Høegh, R. T. & Jensen, J. J., 2008, I : Behavior and Information Technology. 27, 4, s. 307-312

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

A Case Study on Usability Evaluation in Costa Rica: A Dual Perspective

Madriz, F. L., Sandoval, M. M., Bruun, A. & Stage, J., 2014, I : UXPA Magazine. 14, 4

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Åben adgang
18 Citationer (Scopus)

A category of higher-dimensional automata

Fahrenberg, U., 2005, Foundations of Software Science and Computation Structures. Sassone, V. (red.). IEEE Computer Society Press, s. 187-201 (Lecture Notes in Computer Science; Nr. 3441).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

2 Citationer (Scopus)

A causal probabilistic network model of carbohydrate metabolism for insulin adjustment

Andreassen, S., Benn, J. J., Carson, E., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Biomedical Engineering Perspectives : Health Care Technologies for the 1990'es and Beyond. Proceedings of the 12th Annual International Conference Engineering in Medicine and Biology Society, IEEE/EMBS, 1990, New York, NY, USA. Pedersen, P. C. & Onoral, B. (red.). s. 1011

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

A causal probabilistic network model of carbohydrate metabolism in diabetes

Andreassen, S., Benn, J., Carson, E., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the 8th Nordic Meeting on Medical and Biological Engineering, June 1990, Aalborg, Denmark. s. A78

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceabstrakt i proceedingForskning

A causal probabilistic network model to assist in insulin therapy adjustment

Hovorka, R., Andreassen, S., Benn, J. J., Carson, E. R., Kjærulff, U. B., Kristensen, L. D. & Olesen, K. G., 1990, Proceedings of the 6th Annual Meeting on Expert Systems in Medicine, 1990, London, United Kingdom.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

24 Citationer (Scopus)

Accelerating Range Queries for Brain Simulations

Tauheed, F., Biveinis, L., Heinis, T., Schurmann, F., Markram, H. & Ailamaki, A., 2012, IEEE 28th International Conference on Data Engineering (ICDE 2012). IEEE Computer Society Press, s. 941-952 12 s.

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

1 Citation (Scopus)
198 Downloads (Pure)

ACCES: Offline Accuracy Estimation for Fingerprint-Based Localization

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 30 maj 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 358-359 2 s. (IEEE International Conference on Mobile Data Management (MDM)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Åben adgang
Fil
Demonstrations
Smartphones
Interpolation
Navigation
Internet
7 Citationer (Scopus)

Access methods and query processing techniques

Di Pasquale, A., Forlizzi, L., Jensen, C. S., Manolopoulos, Y., Nardelli, E., Pfoser, D., Proietti, G., Saltenis, S., Theodoridis, Y. & Tzouramanis, T., 2003, Spatio-Temporal Databases: the Chorochronos Approach. Sellis, T.: Koubarakis, M.: Frank, A.: Grumbach, S.: Güting, G. H.: Jensen, C. J. :Lorentzos, N.: Manolopou-los, Y. : Nardelli, E.: Pernici, B.: Theodoulidis, B.: Schek, H. J. : Scholl, M (red.). IEEE Computer Society Press, s. 203-261 (Lecture Notes in Computer Science; Nr. 2520).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

16 Citationer (Scopus)

Accommodating Emergent Work Practices: Ethnographic Choise of Method Fragments

Baskerville, R. & Stage, J., 2001, Realigning Research and Practice in Information Systems Development : the Social and Organizational Perspective : IFIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (red.). Kluwer Academic Publishers, s. 11-28

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

6 Citationer (Scopus)

Accurate calibration of a multi-camera system based on flat refractive geometry

Feng, M., Huang, S., Wang, J., Yang, B. & Zheng, T., 10 dec. 2017, I : Applied Optics. 56, 35, s. 9724-9734 11 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Cameras
cameras
Calibration
Geometry
geometry
13 Citationer (Scopus)

Accurate electricity load forecasting with artificial neural networks

Ortiz-Arroyo, D., Skov, M. K. & Huynh, Q., 1 dec. 2005, Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet. Bind 1. s. 94-99 6 s. 1631248

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Electricity
Neural networks
Experiments

Accurate Fuel Estimates using CAN Bus Data and 3D Maps

Andersen, O. & Torp, K., jun. 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 257-265 9 s. (IEEE International Conference on Mobile Data Management (MDM)).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, I : Information Processing Letters. 64, 3, s. 127-141

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

3 Citationer (Scopus)

A Characterization of Finitary Bisimulation

Aceto, L. & Ingolfsdottir, A., 1997, Århus: Department of Computer Science, Aarhus University. (BRICS Report Series; Nr. RS-97-26).

Publikation: Bog/antologi/afhandling/rapportBogForskning

A charging scheduling system for electric vehicles using vehicle-To-grid

Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 351-352 2 s. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Electric vehicles
Scheduling
Electricity
Wind power
Costs
11 Citationer (Scopus)

Achieving Adaptivity For OLAP-XML Federations

Pedersen, D. & Pedersen, T. B., 2003, Proceedings of the ACM Fifth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, s. 25-32

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning