• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding

Collaborative Practice Research

Mathiassen, L., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 127-148

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

10 Citationer (Scopus)

Collaborative Spatial Data Sharing Among Mobile Lightweight Devices

Huang, Z., Jensen, C. S., Lu, H. & Ooi, B. C., 2007, Advances in Spatial and Temporal Databases: 10th International Symposium, SSTD 2007. Springer Science+Business Media, Bind 4605. s. 366-384 19 s.

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

1 Citation (Scopus)

Collaborative symptoms interpretation for cardiac patients as diagnostic agents

Kjærup, M., Kouzeli, S., Skov, M., Kjeldskov, J., Skov, C. S. & Søgaard, P., 29 sep. 2018, Proceedings of the 10th Nordic Conference on Human-Computer Interaction (NordiCHI '18). Association for Computing Machinery, s. 549-558 10 s.

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

Implantable Defibrillators
Health
Technology
Obsessive Behavior
Physiologic Monitoring

Collective embedding for neural context-aware recommender systems

Costa, F. S. D. & Dolog, P., 2019, Proceedings of the 13th ACM Conference on Recommender Systems, RecSys 2019, Copenhagen, Denmark, September 16-20, 2019.. Bogers, T., Said, A., Brusilovsky, P. & Tikk, D. (red.). Association for Computing Machinery, s. 201-209 9 s.

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

Recommender systems
Neural networks
Fusion reactions
Industry
Experiments
2 Citationer (Scopus)

Collective travel planning in spatial networks

Shang, S., Chen, L., Wei, Z., Jensen, C. S., Wen, J. R. & Kalnis, P., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 59-60 2 s. 7929932

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

Colledge: A vision of collaborative knowledge networks

Metzger, S., Hose, K. & Schenkel, R., 1 dec. 2012, Proceedings of the 2nd International Workshop on Semantic Search over the Web, SSW 2012.

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

Ontology
Feedback
Semantics
Query languages
Semantic Web

Color-blind Behavioral Specifications for Transformations of Reactive Synchronous Programs

Larsen, U., Larsen, K. G. & Wasowski, A., 2004, Proceedings of the 16th Nordic Workshop on Programming Theory: Technical report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. Uppsala Sweden, s. 22-24

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

Color
Specifications
Stop watches
Color vision
Actuators
3 Citationer (Scopus)
321 Downloads (Pure)

Color-blind Specifications for Transformations of Reactive Synchronous Programs

Larsen, K. G., Larsen, U. & Wasowski, A., 2005, Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Cerioli, M. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3442).

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

Åben adgang
Fil
553 Downloads (Pure)

Combining Constraint Types From Public Data in Aerial Image Segmentation

Jacobsen, T. S., Jensen, J. J., Jensen, D. R. & Samuelsen, N. N., 2013, Twelfth Scandinavian Conference on Artificial Intelligence. Jaeger, M., Nielsen, T. D. & Viappiani, P. (red.). IOS Press, Bind 257. s. 125-134 (Scandinavian Conference on Artificial Intelligence, Bind 257).

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

Fil
121 Downloads (Pure)

Combining Interaction Techniques and Display Types for Virtual Reality

Kjeldskov, J., 2001, Proceedings of OzCHI 2001:  Annual Conference of the Australian Computer-Human Interaction Special Interest Group. Edith Cowan University Press, s. 77-83

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

Fil

Combining Speech and Vision processing in a platform for Intelligent Multi Media

Brøndsted, T., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 7th Danish Conference on Pattern Recognition and Image Analysis, August 1998, Copenhagen, Denmark. <Forlag uden navn>, s. 75-79

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

75 Downloads (Pure)

Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems

Boudjadar, J., Ramanathan, S., Easwaran, A. & Nyman, U., 7 sep. 2019, (Accepteret/In press) Distributed Simulation and Real-Time Applications.

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

Fil
Scheduling
2 Citationer (Scopus)

Community Detection for Multiplex Social Networks Based on Relational Bayesian Networks

Jiang, J. & Jaeger, M., 2014, Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Andreasen, T., Christiansen, H., Cubero, J-C. & Raś, Z. W. (red.). Springer Publishing Company, Bind 8502. s. 30-39 (Lecture Notes in Computer Science).

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

Bayesian networks
Specifications

Comparative Evaluation of PL Languages and Systems: A Work-in-Progress Report

Jaeger, M., Lidman, P. & Mateo, J. L., 2007, Proceedings of Mining and Learning with Graphs. 4 s.

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

Comparative Study of Routing Protocols for Mobile Ad-hoc NETworks

Clausen, T. H., Jacquet, P. & Viennot, L., 2002, IFIP Med Hoc Net 2002.

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

25 Citationer (Scopus)

Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets

Srba, J., 2008, Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Springer, s. 15-32 (Lecture Notes in Computer Science; Nr. 5215).

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

Petri nets
Finite automata
Clocks

Comparing Usability Evaluations of Mobile Systems

Als, B. S., Høegh, T. H., Kjeldskov, J., Skov, M. B. & Stage, J., 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. Denmark.

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

38 Citationer (Scopus)

Comparison of Think-Aloud and Constructive Interaction in Usability Testing with Children

Als, B. S., Jensen, J. J. & Skov, M. B., 2005, Proceedings of the 4th International Conference for Interaction Design and Children. Boulder, Colorado, USA: University of Colorado, 8 s.

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

Competitive clustering of stochastic communication patterns on a ring

Avin, C., Cohen, L. & Schmid, S., 2017, Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings. Springer, s. 231-247 17 s. (Lecture Notes in Computer Science, Bind 10299 LNCS).

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

Communication
Costs
Servers
Virtual machine
198 Downloads (Pure)

Compiling Relational Bayesian Networks for Exact Inference

Jaeger, M., Chavira, M. & Darwiche, A., 2004, Proceedings of the Second European Workshop on Probabilistic Graphical Models. (Editor), P. L. (red.).

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

Åben adgang
Fil
Bayesian networks
Differentiating circuits
Networks (circuits)
2 Citationer (Scopus)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, s. 21:1--21:14 14 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

Åben adgang
Axiomatization
Markov chain
Equational Logic
Deductive System
Approximately equal
6 Citationer (Scopus)

Completeness Results for Undecidable Bisimilarity Problems

Srba, J., 2004, Proccedings of the 5th International Workshop on Verification of Infinite-State Systems (INFINITY'03): ENTCS. 98 udg. Netherlands, s. 5-19

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

19 Citationer (Scopus)
259 Downloads (Pure)

Complexity of decision problems for mixed and modal specifications

Antonik, A., Huth, M., Larsen, K. G., Nyman, U. & Wasowski, A., 2008, Foundations of Software Science and Computational Structures: 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings. Amadio, R. (red.). Springer, s. 112-126 (Lecture Notes in Computer Science; Nr. 4962).

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

Åben adgang
Fil

Complexity of Decision-Theoretic Troubleshooting

Vomlelová, M., 2001, Proceedings of the 9th Spanish Association for Artificial Intelligence Conference and 4th Technological Transfer of Intelligence Artificial Congress, Gijón, Spain, November 14-16,2001.

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

Complex Schema Mapping and Linking Data: Beyond Binary Predicates

Gonzalez, J. R., de Melo, G. & Hose, K., 2016, Proceedings of the Workshop on Linked Data on the Web: co-located with 25th International World Wide Web Conference (WWW 2016). (CEUR Workshop Proceedings, Bind 1593).

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

Åben adgang

Component Based Development - Where is the Place for Formalism?

Makowski, P. & Ravn, A. P., 2003, Procedings of the Workshop on Formal Aspects of Component Software FACS´03, UNU Int. Institute for Software Technology, Macau, September 2003: UNU/IIST Tech. Rep. ,. Liu, E. . D. V. H. Z. (red.). 284 udg.

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

29 Citationer (Scopus)

Compositional Design Methodology with Constraint Markov Chains

Caillaud, B., Delahaye, B., Larsen, K. G., Legay, A., Pedersen, M. L. & Wasowski, A., sep. 2010, Proceedings of 7th International Conference on Quantitative Evaluation of SysTems (QEST). Williamburg, VA: IEEE Press, s. 123-132

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

Compositionality and Compatibility of Service Contracts

Okika, J. C. & Ravn, A. P., 2007, NWPT'07/FLACOS'07 Workshop Proceeding. Johansen, E. B., Owe, O. & Schneider, G. (red.). Department of Informatics, University of Oslo, s. 101-103 3 s. (Research Report; Nr. 366).

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

Service oriented architecture (SOA)
Industry
Application programs
Web services
Interfaces (computer)
13 Citationer (Scopus)

Compositional metric reasoning with probabilistic process calculi

Gebler, D., Larsen, K. G. & Tini, S., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, s. 230-245 16 s. (Lecture Notes in Computer Science, Bind 9034).

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

Process Calculi
Process Algebra
Reasoning
Metric
Operator
39 Citationer (Scopus)

Compositional Safety Analysis using Barrier Certificates

Sloth, C., Pappas, G. J. & Wisniewski, R., 2012, HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, s. 15-24 9 s.

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

Plant shutdowns
Wind turbines
Dynamical systems
Chemical analysis
6 Citationer (Scopus)
257 Downloads (Pure)

Compositional Schedulability Analysis of An Avionics System Using UPPAAL

Boudjadar, J., Larsen, K. G., Kim, J. H. & Nyman, U., 2014, Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, {ICAASE} 2014, Constantine, Algeria, November 2-4, 2014. CEUR Workshop Proceedings, Bind 1294. s. 140-147 8 s.

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

Åben adgang
Fil

Compositional testing of real-time systems

Larsen, K. G., Legay, A., Mikučionis, M., Nielsen, B. & Nyman, U., 1 jan. 2017, ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Springer, Bind 10500 LNCS. s. 107-124 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10500 LNCS).

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

Real time systems
Testing
64 Citationer (Scopus)

Computational Data Modeling for Network-Constrained Moving Objects

Jensen, C. S., Speicys, L. & Kligys, A., 2003, Proceedings of the Eleventh International Symposium on Advances in Geographic Information Systems, New Orleans, LA, November 7–8.

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

2 Citationer (Scopus)

Computational neuroscience breakthroughs through innovative data management

Tauheed, F., Nobari, S., Biveinis, L., Heinis, T. & Ailamaki, A., 5 sep. 2013, Advances in Databases and Information Systems: 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings. Catania, B., Guerrini, G. & Pokorný, J. (red.). Springer Publishing Company, s. 14-27 14 s. (Lecture Notes in Computer Science, Bind 8133).

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

Information management
Brain models
Brain
Navigation
Data storage equipment

Computer aided decision making in mastitis control: development of a causal probabilistic network

Agger, J. F., Olesen, K. G., Jensen, F. V. & Andersen, S. K., 1990, Proceedings of the 2nd GIL Symposium, 1990, Bonn, Germany.

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

15 Citationer (Scopus)

Computing Behavioral Distances, Compositionally

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2013, Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings. Chatterjee, K. & Sgall, J. (red.). Springer Publishing Company, Bind 8087. s. 74-85 (Lecture Notes in Computer Science, Bind 8087).

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

215 Downloads (Pure)

Computing effects for correspondence types

Hüttel, H., 2010, Proceedings of FCS'09. Cortier, V. (red.). s. 75-89

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

Åben adgang
Fil
Encryption
Calculus
Correspondence
Computing
Knowledge

Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach

Bulychev, P. E., David, A., Larsen, K. G., Legay, A. & Mikučionis, M., 20 feb. 2012, Proceedings Second International Workshop on Interactions, Games and Protocols. Reich, J. & Finkbeiner, B. (red.). Tallin, Estonia, s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 78).

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

Carrier sense multiple access
Wireless ad hoc networks
Model checking
Wireless networks
Network protocols
12 Citationer (Scopus)

Computing Preferred Extensions for Argumentation Systems with Sets of Attacking

Nielsen, S. H. & Parsons, S., 2006, Proceedings of the First International Conference on Computational Models of Argument. IOS Press, 12 s.

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

Large scale systems

Concept for evaluation of techniques for trajectory distance measures

Peixoto, D. A., Su, H., Hung, N. Q. V., Stantic, B., Zheng, B. & Zhou, X., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 276-277 2 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

Trajectories
Distance measurement
126 Downloads (Pure)

Concepts of Multi-artefact Systems in Artifact Ecologies

Sørensen, H. & Kjeldskov, J., 2014, Proceedings of the Seventh International Conference on Advances in Computer-Human Interactions. IARIA, s. 141-146

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

Fil
5 Citationer (Scopus)

Concepts of multi-artifact systems in artifact ecologies

Sørensen, H. & Kjeldskov, J., 2014, ACHI 2014 - 7th International Conference on Advances in Computer-Human Interactions. International Academy, Research, and Industry Association (IARIA), s. 141-146 6 s.

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

Ecology
Application programs
Plasticity

Conceptual Modeling of Time-Varying Information

Gregersen, H. & Jensen, C. S., 2004, Proceedings of the International Conference on Computing, Communications and Control Technologies. s. 248-255

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

Semantics
Industry
30 Citationer (Scopus)

Conceptual models for spatio-temporal applications

Tryfona, N., Price, N. J. & Jensen, C. S., 2003, Spatio-Temporal Databases: The Chorochronos Approach. IEEE Computer Society Press, s. 79-116 (Lecture Notes in Computer Science; Nr. 2520).

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

2 Citationer (Scopus)

Concise Caching of Driving Instructions

Rishede Thomsen, J., Yiu, M. L. & Jensen, C. S., 2014, Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Huang, Y. & Schneider, M. (red.). Association for Computing Machinery, s. 23-32

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

Configuration Management for eXtreme Programming

Asklund, U., Bendix, L. G. & Ekman, T., 2003, SERPS'03, 23.-24. oktober 2003, Lund University.

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

4 Citationer (Scopus)
274 Downloads (Pure)

Connecting children to nature with technology: Sowing the seeds for pro-environmental behaviour

Cumbo, B. J., Paay, J., Kjeldskov, J. & Jacobs, B. C., 2014, Proceedings of the 13th International Conference on Interaction Design & Children, IDC'14. Association for Computing Machinery, s. 189-192 4 s.

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

Fil
9 Citationer (Scopus)
415 Downloads (Pure)

Connecting in the Kitchen: An Empirical Study of Physical Interactions while Cooking Together at Home

Paay, J., Kjeldskov, J. & Skov, M. B., 2015, Proceedings of the 18th ACM Conference on Computer Supported Cooperative Work & Social Computing. Association for Computing Machinery, s. 276-287

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

Fil
1 Citation (Scopus)

Connectivity testing through model-checking

Godskesen, J. C., Nielsen, B. & Skou, A., 2004, Formal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings. Bind 3235. s. 167-184

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

Constraint-based query distribution framework for an integrated global schema

Malik, A. K., Qadir, M. A., Iftikhar, N. & Usman, M., 2009, Proceedings of the 13th International Multitopic Conference (INMIC). IEEE Press, s. 1-6 6 s.

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

XML