• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2 Citationer (Scopus)

Decidability and Expressiveness of Recursive Weighted Logic

Xue, B., Larsen, K. G. & Mardare, R. I., 2015, Perspectives of Systems Informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Voronkov, A. & Virbitskaite, I. (red.). Springer, s. 216-231 (Lecture Notes in Computer Science; Nr. 8974).

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

Expressiveness
Decidability
Transition Systems
Logic
Multi-modal Logic

Decidability of Modular Logics for Concurrency

Mardare, R. I., 2012, Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers. Berlin: Springer, Bind 7162. s. 274-288 (Lecture Notes in Computer Science, Bind 7162).

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

2 Citationer (Scopus)

Decidable Fragments of a Higher Order Calculus with Locations

Hüttel, H., Godskesen, J. C., Haagensen, B. & Bundgaard, M., 2009, Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). Gorla, D. & Hildebrandt, T. (red.). Elsevier, s. 113-138 (Electronic Notes in Theoretical Computer Science; Nr. 242, Bind 1).

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

Fragment
Calculus
Higher Order
Process Calculi
Decidability

Deciding Framed Bisimilarity

Huttel, H., 2002, Proceedings of the 4th International Workshop on Verification (INFINITY'02), Brno, Czech Republic, August 24, 2002: FIMU. RS-2002-04 udg. s. 1-20

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

4 Citationer (Scopus)

Decision support for diagnosis of Lyme disease

Hejlesen, O. K., Olesen, K. G., Dessau, R., Beltoft, I. & Trangeled, M., 2005, Connecting Medical Informatics and Bio-Informatics: Proceedings of MIE2005 : The XIXth International Congress of the European Federation for Medical Informatics, August 28.31 2005, Geneva, Switzerland. Engelbrecht, R., Geissbuhler, A., Lovis, C. & Mihalas, G. (red.). IOS Press, s. 205-210 (Studies in Health Technology and Informatics, Bind 116).

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

6 Citationer (Scopus)

Decomposition of Influence Diagrams

Nielsen, T. D., 2001, Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19 - 21, 2001 : Proceedings: Lecture Notes in Artificial Intelligence , subseries of Lecture Notes in Computer Science. Benferhat, S. : Besnard, P. (eds.) (red.). 2143 udg. IEEE Computer Society Press, s. 144-155

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

11 Citationer (Scopus)

Deep representation learning for trajectory similarity computation

Li, X., Zhao, K., Cong, G., Jensen, C. S. & Wei, W., 24 okt. 2018, IEEE International Conference on Data Engineering (ICDE). IEEE, s. 617-628 12 s. 8509283. (Proceedings of the International Conference on Data Engineering).

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

Trajectories
Animals
Sampling
Experiments
1 Citation (Scopus)

DEFENDER: A decomposer for queries against federations of endpoints

Montoya, G., Vidal, M. E. & Acosta, M., 1 jan. 2015, The Semantic Web: ESWC 2012 Satellite Events - Revised Selected Papers. Passant, A., Norton, B., Valle, E. D., Troncy, R., Fundulaki, I., Simperl, E. & Mladenic, D. (red.). Springer, s. 480-484 5 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 7540).

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

Engines
Decomposition

Define Project

Munk-Madsen, A., 2005, Proceedings of the 28th Information Systems Research Seminar in Scandinavia. Hustad, E., Munkvold, B. E. & Rolland, K. (red.). Agder University College, Department of Information Systems, s. 1-15

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

Textbooks

Defining and Measuring User Experience: Are They Two Sides of the Same Coin?

Stage, J., 2006, Proceedings of the Workshop on User Experience, NordiCHI 2006.. s. 146-149

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

Momentum
8 Citationer (Scopus)
330 Downloads (Pure)

Degree of Schedulability of Mixed-Criticality Real-time Systems with Probabilistic Sporadic Tasks

Boudjadar, J., David, A., Kim, J. H., Larsen, K. G., Nyman, U., Skou, A. & Mikučionis, M., 1 sep. 2014, Theoretical Aspects of Software Engineering Conference (TASE), 2014. IEEE Computer Society Press, s. 126-130 5 s. (TASE).

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

Åben adgang
Fil
Real time systems
Probability distributions
Scheduling
Model checking
Quality of service

Delta Measurement in Software Process Improvement Based on Product Attributes

Aaen, I., Bøttcher, P. & Mathiassen, L., 1996, Proceedings of European Conference on Information Systems, Lisbon, Portugal, 1996.

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

DeMand: A tool for evaluating and comparing device-level demand and supply forecast models

Neupane, B., Siksnys, L. & Pedersen, T. B., 2016, Proceedings of the Workshops of the EDBT/ICDT 2016 Joint Conference (EDBT/ICDT). Rheinisch-Westfaelische Technische Hochschule Aachen * Lehrstuhl Informatik V, 6 s. (CEUR Workshop Proceedings, Bind 1558).

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

Åben adgang
Level measurement
Data structures
Tuning
4 Citationer (Scopus)
38 Downloads (Pure)

Demand-aware network designs of bounded degree

Avin, C., Mondal, K. & Schmid, S., 1 okt. 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16 s. (Leibniz International Proceedings in Informatics, Bind 91).

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

Åben adgang
Fil
Communication
Information theory
Entropy
1 Citation (Scopus)

Demonstrating SolveDB: An SQL-based DBMS for optimization applications

Šikšnys, L. & Pedersen, T. B., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017. IEEE, s. 1367-1368 2 s. (Proceedings of the International Conference on Data Engineering).

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

Specifications
Linear programming
Scheduling
Planning

Demonstration of ModelarDB: Model-Based Management of Dimensional Time Series

Jensen, S. K., Pedersen, T. B. & Thomsen, C., 2019, Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, s. 1933-1936 4 s. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Time series
Demonstrations
Sensors

DensEst: Density Estimation for Data Mining in High Dimensional Spaces

Müller, E., Assent, I., Krieger, R., Günnemann, S. & Seidl, T., 2009, Proceedings of the Ninth SIAM International Conference on Data Mining. SIAM Press (Society for Industrial and Applied Mathematics), s. 175-186

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

Density Surfaces for Immersive Explorative Data Analyses

Mazeika, A., Böhlen, M. H. & Mylov, P., 2001, Proceedings of the Workshop on Visual Data Mining, in Conjunction with Seventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, August 2001.

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

Dependable and optimal cyber-physical systems

Larsen, K. G., 2017, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Proceedings. LNCS udg. Springer, Bind 10139. s. 3-10 8 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10139 LNCS).

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

6 Citationer (Scopus)

Dependency-based FlexOffers: Scalable Management of Flexible Loads with Dependencies

Siksnys, L. & Pedersen, T. B., jun. 2016, Proceedings of the Seventh International Conference on Future Energy Systems. Association for Computing Machinery, s. 108-120 13 s. 11

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

184 Downloads (Pure)

Deriving a comprehensive Document from a Concise Document: Document engineering in Scheme

Nørmark, K., 2007, Proceedings of the 2007 Workshop on Scheme and Functional Programming. Dubé, D. (red.). Association for Computing Machinery, s. 117-127 (Technical Report; Nr. DIUL-RT-0701).

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

Åben adgang
Fil
5 Citationer (Scopus)
870 Downloads (Pure)

Designing Adaptive Web Applications

Dolog, P., 2008, SOFSEM 2008: Theory and Practice of Computer Science. Springer, s. 23-33 (Lecture Notes in Computer Science; Nr. 4910).

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

Åben adgang
Fil
Industry
Web services
Dynamical systems

Designing a Drawing Tool for Children: Supporting Social Interaction and Communication

Skov, M. B., Andersen, B. L., Duhn, K., Garnæs, K. N., Grünberger, O., Kold, U., Mortensen, A. B. & Sørensen, J. A. L., 2004, Proceedings of the Australian Computer-Human Interaction Conference 2004 (OzCHI'04). <Forlag uden navn>

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

Designing a Machine Learning-Based System to Augment the Work Processes of Medical Secretaries

Johansen, P. S., Jacobsen, R. M., Bysted, L. B. L., Skov, M. B. & Papachristos, E., 2019, Adjunct Proceedings of the 17th IFIP Conference on Human-Computer Interaction (Interact’19). Springer

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

Learning systems
Human computer interaction
4 Citationer (Scopus)
260 Downloads (Pure)

Designing a Mobile Communicator: Combining Ethnography and Object-Oriented Design

Kjeldskov, J., Nielsen, C. M., Overgaard, M., Pedersen, M. B., Stage, J. & Stenild, S., 2006, Proceedings of OZCHI 2006. Association for Computing Machinery, s. 95-103

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

Fil
84 Downloads (Pure)

Designing and Evaluating Buster - an Indexical Mobile Travel Planner for Public Transportation

Kjeldskov, J., Andersen, E. & Hedegaard, L., 2007, Proceedings of OzCHI 2007. Association for Computing Machinery, 4 s.

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

Fil
17 Citationer (Scopus)

Designing Interaction Spaces for Rich Internet Applications with UML

Dolog, P. & Stage, J., 2007, Web Engineering: 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings. Fraternali, P., Baresi, L. & Houben, G-J. (red.). Springer, Bind 4607. s. 358-363 (Lecture Notes in Computer Science).

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

Synchronization
Servers
Internet

Designing Interactive Narratives

Skov, M. & Andersen, P. B., 2001, Cosign 2001. Clarke, A. : Fencott, C. : Lindley, C. : Mitchell, G. : Nack, F. (eds.) (red.). Stichting Centrum voor Wiskunde en Informatica, s. 59-66

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

15 Citationer (Scopus)
156 Downloads (Pure)

Designing the Desirable Smart Home: A Study of Household Experiences and Energy Consumption Impacts

Jensen, R. H., Yolande Strengers, Kjeldskov, J., Larissa Nicholls & Skov, M., 21 apr. 2018, Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems (CHI '18). Association for Computing Machinery, 14 s. Paper 4

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

Fil
Human computer interaction
Sustainable development
Energy utilization
3 Citationer (Scopus)
172 Downloads (Pure)

Designing the Handheld Maritime Communicator

Kjeldskov, J. & Stage, J., 2003, Proceedings of the 1st Conference on Designing User Experiences, DUX 2003. ACM. Association for Computing Machinery

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

Fil
63 Downloads (Pure)

Designing the User Interface of a Handheld Device for Communication in a High-Risk Environment

Kjeldskov, J. & Stage, J., 2003, Carbonell, N. : Stephanidis, C. (eds.): Lecture Notes in Computer Science. 2615 udg. IEEE Computer Society Press

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

Fil
20 Citationer (Scopus)
167 Downloads (Pure)

Designing TramMate: a context aware mobile system supporting use of public transportation

Kjeldskov, J., Howard, S., Murphy, J., Carroll, J., Vetere, F. & Graham, C., 2003, Proceedings of the 1st Conference on Designing User Experiences, DUX 2003 ACM. Association for Computing Machinery

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

Fil

Designing user interfaces for the mines of the future – user centred approach

Widzyk-Capehart, E., Paay, J., Haustein, K. & Krumpholz, A., 22 nov. 2011, Proceedings Second International Future Mining Conference 2011. Melbourne: The Australasian Institute of Mining and Metallurgy, s. 287-294

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

11 Citationer (Scopus)
271 Downloads (Pure)

Design of an appliance level eco-feedback display for domestic electricity consumption

Paay, J., Kjeldskov, J., Skov, M. B., Lund, D., Madsen, T. & Nielsen, M., 3 dec. 2014, Proceedings of OzCHI 2014. Association for Computing Machinery, s. 332-341 10 s.

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

Fil
5 Citationer (Scopus)

Design of a Small Satellite for Performing Measurements in a Ground Station Network

Nielsen, J. F. D., Preindl, B., Mehnen, L., Rattay, F. & Sørensen, K. K., 2009, International Workshop on Satellite and Space Communications, 2009. IWSSC 2009.. IEEE, s. 186 - 190

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

Design Patterns for Control Systems

Knudsen, J., Ravn, A. P. & Skou, A., 2006, Proceedings of the NWUML'06: The 4th Nordic Workshop on UML and Software Modelling. Prinz, A. & Skjelten Tveit, M. (red.). Høgskolen i Agder

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

1 Citation (Scopus)

Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks

Neerbek, J., Assent, I. & Dolog, P., 2018, PAKDD 2018: Advances in Knowledge Discovery and Data Mining. Springer, Bind 10939. s. 373-385 13 s. (Lecture Notes in Computer Science).

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

4 Citationer (Scopus)

Detecting Outliers on Arbitrary Data Streams using Anytime Approaches

Assent, I., Kranen, P., Baldauf, C. & Seidl, T., 2010, International Workshop on Novel Data Stream Pattern Mining Techniques (StreamKDD 2010) in conjunction with 16th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Washington, DC, USA (2010). Association for Computing Machinery

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

1 Citation (Scopus)

Detection of Mirai by Syntactic and Behavioral Analysis

Ben Said, N., Biondi, F., Bontchev, V., Decourbe, O., Given-Wilson, T., Legay, A. & Quilbeuf, J., 16 nov. 2018, Proceedings - 29th IEEE International Symposium on Software Reliability Engineering, ISSRE 2018. Ghosh, S., Cukic, B., Poston, R., Natella, R. & Laranjeiro, N. (red.). IEEE Computer Society Press, s. 224-235 12 s. 8539084. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE, Bind 2018-October).

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

Syntactics
Botnet
Malware

Detection of Web-Site Usability Problems: Empirical Comparison of Two Testing Methods

Skov, M. & Stage, J., 2001, Proceedings of the 1st Panhellic Conference on Computer-Human Interaction Research and Practice. Avouris, N. et al.(eds.) (red.). Typorama, s. 146-150

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

59 Downloads (Pure)

Determining Requirements for Supporting Mobility

Kjeldskov, J., Vetere, F. & Tobin, T., 2003, Proceedings of the 24th PACIS 2003 conference. Association for Informations Systems, AIS

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

Fil
21 Citationer (Scopus)

Developing a DataBlade for a New Index

Bliujute, R., Saltenis, S., Slivinskas, G. & Jensen, C. S., 1999, Proceedings of the Fifteenth IEEE International Conference on Data Engineering, Sydney, Australia, March 1999. IEEE Computer Society Press, s. 314-323

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

6 Citationer (Scopus)

Developing a TTCN-3 Test Harness for Legacy Software

Okika, J. C., Ravn, A. P., Siddalingaiah, L. & Liu, Z., 2006, Proceedings of the 2006 international workshop on Automation of software test: AST '06. Association for Computing Machinery, s. 104-110 7 s.

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

Embedded systems
Marine engines
Graphical user interfaces
Diesel engines
Demonstrations

Diagnosing Lyme Disease: Tailoring patient specific Bayesian networks for temporal reasoning

Olesen, K. G., Hejlesen, O. K., Dessau, R., Beltoft, I. & Trangeled, M., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models (PGM ‘06. Studeny, M. & Vomlel, J. (red.). <Forlag uden navn>, s. 231-238 8 s.

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

Diagnosis of neuromuscular diseases by the EMG expert system MUNIN

Andreassen, S. & Olesen, K. G., 1993, Proceedings of the Annual Meeting of the Danish Society for Clinical Neurophysiology, Kolding, Denmark.

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

1 Citation (Scopus)

Diagnostic Agents: Collaborative Interpretation for Cardiac Patients at Home

Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 20 apr. 2018, CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI. Association for Computing Machinery, Bind 2018-April. s. 1DUMMY 6 s. LBW041

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

Technology
Obsessive Behavior
Health
Nurses
Delivery of Health Care
184 Downloads (Pure)

Digging Wide and Narrow: An Exploratory Study of Senior and Younger Users’ Strategies for Retrieving Information from a Healthcare Portal

Bruun, A., Hahn, C., Voight, B. & Schultz, M., 2012, International Conference on Information Communication Technologies in Health. INEAG, 10 s.

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

Åben adgang
Fil

Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas

Kjærup, M., 2020, (Accepteret/In press) Digital-Enabled Last Mile: A Study of Passenger Trips in Rural, Low-density Populated Areas. Association for Computing Machinery

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

Digital Service Integration through effective IT management: an ongoing research project on IT leadership in Danish local Government

Kræmmergaard, P., Nielsen, P. A., Pedersen, K., Persson, J. S., Agger Nielsen, J., Hansen, A. M. & Hansen, L., 2010, Proceedings of Scandinavian Workshop for Electronic Government. SWEG 2010. Örebro Universitet

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

56 Citationer (Scopus)

Dimensional Modeling By Using a New Response to Slowly Changing Dimensions

Frank, L., Frank, C., Jensen, C. S. & Pedersen, T. B., 2005, Proceedings of the Second International Conference on Information Technology. s. 7-10

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

Agglomeration
Data warehouses