Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

BioNex: A System For Biomedical News Event Exploration

Ernst, P., Mishra, A., Anand, A. & Setty, V. J., 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval . Association for Computing Machinery, s. 1277-1280

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

3 Citationer (Scopus)

BISi: a Blended Interaction Space

Paay, J., Kjeldskov, J. & O'Hara, K., 2011, Proceedings of the 2011 Annual Conference Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery, s. 185-200

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

Fil
6 Citationer (Scopus)
174 Downloads (Pure)

Bisimilarity is not finitely based over BPA with interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2005, Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. Luiz Fiadeiro, J., Harman, N., Roggenbach, M. & Rutten, J. (red.). IEEE Computer Society Press, s. 54-68 (Lecture Notes in Computer Science; Nr. 3629).

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

4 Citationer (Scopus)

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 jan. 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (red.). Physica-Verlag, s. 138-147 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).

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

44 Citationer (Scopus)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (red.). Springer Publishing Company, Bind 8464. s. 76-95 (Lecture Notes in Computer Science).

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

3 Citationer (Scopus)

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

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

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, s. 344-352

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

Blended Spaces for Distributed Teams

McEwan, G., O'Hara, K., Bezerianos, A., Broughton, M., Kjeldskov, J., Krumm-Heller, A., Muller-Tomfelde, C., Paay, J. & Rittenbruch, M., 2008, Proceedings of workshop on Distributed Teams, CSCW 2008. 4 s.

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

Blending Social Spaces: Information Technologies that Facilitate Social Cooking and Eating at Home

Kjeldskov, J., Skov, M. B., Paay, J. & Stage, J., 2011, Proceedings of LMC Congress 2011, Food in Front.

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

Bluetooth Indoor Positioning System using Fingerprinting

Frost, C., Jensen, C. S., Luckow, K. S., Thomsen, B. & Hansen, R., 2012, Mobile Lightweight Wireless Systems: Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. Springer, Bind 81. s. 136-150 15 s. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 81).

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

7 Citationer (Scopus)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 jul. 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, s. 669-678 10 s.

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

5 Citationer (Scopus)

Bots for Research: Minimising the Experimenter Effect

Wijenayake, S., van Berkel, N. & Goncalves, J., 2020, Adjunct Proceedings of the ACM SIGCHI Conference on Human Factors in Computing Systems. s. 1-8 8 s.

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

Breadth, Depth and Visibility: A Design Guide for Information Architectures Aimed at Elderly Users

Bruun, A., Hahn, C., Voigt, B. & Schultz, M., 2013, Informatics, Management and Technology in Healthcare. Mantas, J. & Hasman, A. (red.). IOS Press, Bind 190. s. 103-105 4 s. (Studies in Health Technology and Informatics, Bind 190).

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

Breeding Unicorns: Developing Trustworthy and Scalable Randomness Beacons

Dharanikot, S., Jensen, M. T., Kristensen, S. R., Michno, M. S., Pignolet, Y. A., Hansen, R. R. & Schmid, S., 2019, 2019 IEEE International Conference on Blockchain (Blockchain). IEEE, s. 99-106

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

Bridging the gap between abstractions and critical-path heuristics via hypergraphs

Steinmetz, M. & Torralba, Á., 2019, Proceedings of the 29th International Conference on Automated Planning and Scheduling, ICAPS 2019. Benton, J., Lipovetzky, N., Onaindia, E., Smith, D. E. & Srivastava, S. (red.). AAAI Press, s. 473-481 9 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS).

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

Åben adgang

Brief announcement: Distributed SplayNets

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

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

Åben adgang
Fil
1 Citationer (Scopus)
14 Downloads (Pure)

Bringing Usability Evaluation into Practice: Field Studies in Two Software Organizations

Jakob Otkær, B., Nguyen, K., Risgaard, P. & Stage, J., 2009, I-USED'09: The Interplay between Usability Evaluation and Software Development: Proceedings of the Second International Workshop on the Interplay between Usability Evaluation and Software Development, Uppsala, Sweden, August 24, 2009 2009. CEUR Workshop Proceedings

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

Broadcast and Aggregation in BBC

Hüttel, H. & Kiilerich Pratas, N., 2015, Eighth International Workshop on Programming Language Approaches to Communication- and Concurrency-cEntric Systems. Gay, S. & Alglave, J. (red.). Electronic Proceedings in Theoretical Computer Science, s. 51-61

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

Åben adgang

Broadening Stakeholder involvement in UCD: Designers’ perspectives on child-centred design

Pardo, S., Vetere, F. & Howard, S., 2005, Proceedings of OZCHI 2005. Association for Computing Machinery

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

Building a new Community Around a Platform for Developing PBL Competences

Huttel, H. & Gnaur, D., nov. 2018, Proceedings of the 17th European Conference on e-Learning. Ntalianis, K., Andreatis, A. & Sgouropoulou, C. (red.). Reading, UK: Academic Conferences and Publishing International, s. 161-169

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

Building a Remote Usability Testing Body of Knowledge (RUTBOK)

Lizano, F. & Stage, J., 2012, Proceedings of the 2012 Information Systems Research Seminar in Scandinavia . 20 s.

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

Building a Web Warehouse for Accessibility Data

Thomsen, C. & Pedersen, T. B., 2006, Proceedings of the 9th ACM international workshop on Data warehousing and OLAP. Association for Computing Machinery, s. 43-50 8 s.

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

9 Citationer (Scopus)

Building Blocks for a Smart Space for LearningTM

Simon, B., Sobering, S., Wild, F., Aguirre, S., Brantner, S., Dolog, P., Neumann, G., Huber, G., Klobucar, T., Markus, S., Miklos, Z., Nejdl, W., Olmedilla, D., Salvachua, J., Sintek, M. & Zillinger, T., 2006, Sixth International Conference on Advanced Learning Technologies, 2006. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 309-313 6 s.

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

Building Electronic Commerce Infrastructure: the Hong Kong Retail Sector

Damsgaard, J. & Farhoomand, A. F., 1999, Proceedings of the 7th European Conference in Information Systems, Copenhagen, Denmark, 23-25 June 1999. Pries-Heje, J. ... (et al.)(eds.) (red.). Copenhagen Business School Press, s. 850-865

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

Building Strategic Supplier Collaboration Through Gaming

Kaltoft, R. M., Nielsen, J. S., Jensen, P. K. & Møller, C., 2003, Experimental Interactive Learning in Industrial Management, Proceedings of the 7th International Workshop on Experimental Interactive Learning in Industrial Management. Nicholson, J. O. R. R. S. A. (red.).

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

Cab-sharing: An Effective, Door-to-Door, On-Demand Transportation Service

Gidofalvi, G. & Pedersen, T. B., 2007, Proceedings of the 6th European Congress on Intelligent Transport Systems and Services. ERTICO, 8 s.

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

CADLens: Haptic feedback for navigating in 3D environments

Haulrik, N., Petersen, R. M. & Merritt, T., 10 jun. 2017, DIS 2017 Companion - Proceedings of the 2017 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, s. 127-131 5 s.

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

4 Citationer (Scopus)

Calming Children When Drawing Blood Using Breath-based Biofeedback

Sonne, T., Merritt, T., Marshall, P., Lomholt, J. J., Müller, J. & Grønbæk, K., 10 jun. 2017, DIS 2017 - Proceedings of the 2017 ACM Conference on Designing Interactive Systems. Association for Computing Machinery, s. 725-737 13 s.

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

5 Citationer (Scopus)

Can design science be used for design?

Rose, J., Markfoged, K. & Andersen, J. L., 2010, Proceedings of the Fifth Mediterranean Conference on Information Systems: MCIS 2010. Ein-Dor, P. (red.). Association for Informations Systems, AIS

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

Can't Touch This: Consistent Network Updates for Multiple Policies

Dudycz, S., Ludwig, A. & Schmid, S., 2016, 46th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE

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

24 Citationer (Scopus)

Capacity constrained assignment in spatial databases

U, L. H., Yiu, M. L., Mouratidis, K. & Mamoulis, N., 2008, Proceedings of the 2008 ACM SIGMOD international conference on Management of data. Association for Computing Machinery, s. 15-28 14 s.

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

48 Citationer (Scopus)

Captable and capshelf-unobtrusive activity recognition using networked capacitive sensors

Wimmer, R., Kranz, M., Boring, S. & Schmidt, A., 2007, 2007 Fourth International Conference on Networked Sensing Systems. s. 85-88 4 s.

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

16 Citationer (Scopus)

Capturing and Querying Multiple Aspects of Semistructured Data

Dyreson, C. E., Böhlen, M. H. & Jensen, C. S., 1999, Proceedings of the Twentyfifth International Conference on Very Large Databases, Edinburgh, Scotland, UK, September 1999. s. 290-301

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

Capturing Complex Multidimensional Data in Location-Based Data Warehouses

Timko, I. & Pedersen, T. B., 2004, 12th ACM International Workshop on Geographic Information Systems. Dieter Pfoser, Isabel F. Cruz, Marc Ronthaler (red.). Association for Computing Machinery, s. 147-156

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

Åben adgang
Fil
12 Citationer (Scopus)
306 Downloads (Pure)

Capturing Hotspots For Constrained Indoor Movement

Ahmed, T., Pedersen, T. B. & Lu, H., nov. 2013, 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2013). Association for Computing Machinery, s. 462-465 4 s.

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

Åben adgang
Fil
7 Citationer (Scopus)
345 Downloads (Pure)

Capturing Temporal Constraints in Temporal ER Models

Combi, C., Degani, S. & Jensen, C. S., 2008, Conceptual Modeling - ER 2008. Springer, s. 397-411 (Lecture Notes in Computer Science; Nr. 5231).

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

16 Citationer (Scopus)

Capturing the Uncertainty of Moving-Object Representations

Pfoser, D. & Jensen, C. S., 1999, Advances in Spatial Databases : 6th International Symposium, SSD '99, Hong Kong, China, July 20-23, 1999 : Proceedings: Lecture Notes in Computer Science. Güting, H. : Papadias,D. : Lochovsky, F. (eds.) (red.). 1651 udg. IEEE Computer Society Press, s. 111-132

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

256 Citationer (Scopus)

Case-based learning (CBL) - A new pedagogical approach to multidisciplinary studies

Kjærulff, U. B., Rosenstand, C. A. F., Stage, J. & Vetner, M., 2008, 36th SEFI Annual Conference 2008 - Quality Assessment, Employability and Innovation. Fink, F. (red.). Brill | Sense, 8 s.

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

2 Citationer (Scopus)

C-Cube: Elastic Continuous Clustering in the Clouds

Zhang, Z., Shu, H., Chong, Z., Lu, H. & Yang, Y., 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, s. 577-588 (Proceedings of the International Conference on Data Engineering).

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

8 Citationer (Scopus)

Certifiable Java for Embedded Systems

Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S. E., Ravn, A. P., Rivas, J. R. R., Strøm, T. B. & Søndergaard, H., 2014, Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, s. 10-19 10 s.

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

1 Citationer (Scopus)

Challenges in Detecting Epidemic Outbreaks from Social Networks

Romano, S., Martino, S. D., Kanhabua, N., Mazzeo, A. & Nejdl, W., 2016, 30th International Conference on Advanced Information Networking and Applications Workshops, AINA 2016 Workshops, Crans-Montana, Switzerland, March 23-25, 2016. IEEE, s. 69-74 6 s.

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

6 Citationer (Scopus)

Challenges in the Tracking and Prediction of Scheduled-Vehicle Journeys: in Proceedings of the First International Workshop on Pervasive Transportation Systems, White Plains, NY, USA,

Jensen, C. S. & Tiesyte, D., 2007, First International Workshop on Pervasive Transportation Systems (PerTrans '07). IEEE Computer Society Press, 6 s.

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

3 Citationer (Scopus)

Challenging Software Process Improvement by Design

Aaen, I., 2002, Proceedings of Xth European Conference on Information Systems. Vol. 1. Wrycza, S. (red.). ECIS, s. 379-390

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

CHAMELEON: a General Platform for Performing Intellimedia

Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1999, The 8th International Workshop on the Cognitive Science of Natural Language Processing, 1999. s. 110-122

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

Chameleon: a General Platform for Performing Intellimedia

Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., McKevitt, P., Moeslund, T. B. & Olesen, K. G., 1998, The 9th Irish Conference on Artificial Intelligence, IACS'98, August 1998, Dublin, Ireland. s. 73-90

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

Channel properties of asynchronously composed Petri nets

Haddad, S., Hennicker, R. & Møller, M. H., 8 jul. 2013, Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Colom, J-M. & Desel, J. (red.). Springer Publishing Company, s. 369-388 20 s. (Lecture Notes in Computer Science, Bind 7927).

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

9 Citationer (Scopus)

Characteristics of Social Networking Services

Medaglio, R., Rose, J., Nyvang, T. & Sæbø, Ø., 2009, Proceedings of the 4th MEDITERRANEAN CONFERENCE ON INFORMATION SYSTEMS. Poulymenakou, A., Poloudi, N. & Pramatari, K. (red.). Athens University of Economics and Business

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

Characterizing digital disruption in the general theory of disruptive innovation

Haase, L. M., Gertsen, F., Johansen, S. S. & Rosenstand, C. A. F., 2017, ISPIM Innovation Symposium. ISPIM Conference, 9 s.

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

Åben adgang
Fil
1894 Downloads (Pure)

Checking and Distributing Statistical Model Checking

Bulychev, P. E., David, A., Larsen, K. G., Legay, A., Mikučionis, M. & Poulsen, D. B., 3 apr. 2012, NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Goodloe, A. E. & Person, S. (red.). Springer, Bind 7226. s. 449-463 15 s. (Lecture Notes in Computer Science, Bind 7226).

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

27 Citationer (Scopus)

Child-Computer Interaction SIG: Ubiquity and Big Data - A Changing Technology Landscape for Children

Hourcade, J. P., Zeising, A., Iversen, O., Skov, M., Antle, A., Anthony, L., Fails, J. & Walsh, G., 2018, Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 5 s. SIG07

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

3 Citationer (Scopus)