• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding

Usability of Single- and Multi-Factor Authentication Methods on Tabletops: A Comparative Study

Bruun, A., Jensen, K. E. & Kristensen, D. H., 2014, Human-Centered Software Engineering: 5th IFIP WG 13.2 International Conference, HCSE 2014, Paderborn, Germany, September 16-18, 2014. Proceedings. Springer Publishing Company, Bind 8742. s. 299-306 8 s. (Lecture Notes in Computer Science).

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

4 Citationer (Scopus)

Usability Problems: Do Software Developers Already Know?

Høegh, R. T., 2007, Proceedings of OZCHI 2006. Association for Computing Machinery, s. 425-428

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

Usability Problems Experienced by Different Groups of Skilled Internet Users: Gender, Age, and Background

Billestrup, J., Bruun, A. & Stage, J., 2016, Human-Centered and Error-Resilient Systems Development. Springer, s. 45–55 11 s. (Lecture Notes in Computer Science, Bind 9856).

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

1 Citationer (Scopus)

Usability Problems Found Across Public Self-service Applications and Self-Service Providers

Billestrup, J., Bornø, N. A., Bruun, A. & Stage, J., 2016, 28th Australian Conference on Human-Computer Interaction (HCI). 3 s.

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

Usability Problems in a Home Telemedicine System

Bidragets oversatte titel: Usabilityproblemer i et telemedicinsk systemBruun, A. & Stage, J., 25 jan. 2010, Proceedings of the 3rd International Conference on Health Informatics, HEALTHINF2010. 8 s.

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

3 Downloads (Pure)

Usability Work in Agile Systems Development Practice: A Systematic Review

Wale-Kolade, A., Nielsen, P. A. & Päivärinta, T., 2013, Building Sustainable Information Systems: Proceedings of the 2012 International Conference on Information Systems Development. Linger, H., Fischer, J. & Barnden, A. (red.). Springer Science+Business Media, Bind XIV. s. 569-582

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

Åben adgang
Fil
1724 Downloads (Pure)

Use Case Evaluation (UCE): A Method for Early Usability Evaluation in Software Development

Stage, J., Høegh, R. T., Hornbæk, K. & Pedersen, M. B., 2007, 11th IFIP TC13 International Conference on Human Computer Interaction. 1 udg. Springer, s. 578-591 (Lecture Notes in Computer Science; Nr. 4662).

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

8 Citationer (Scopus)

Use of a causal probabilistic network for insulin dose adjustment in diabetes

Benn, J., Andreassen, S., Carson, E. R., Kristensen, L. D., Hovorka, R., Kjærulff, U. B. & Olesen, K. G., 1990, Proceedings of the International Symposium held on the Occasion of the European Association for the Study of Diabetes, EASD '90, 7-8 September 1990, Køge, Denmark.

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

User and Document Group Approach of Clustering in Tagging Systems

Pan, R., Xu, G. & Dolog, P., okt. 2010, Proceeding of The 18th Intl. Workshop on Personalization and Recommendation on the Web and Beyond. University of Kassel, s. 315-321

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

Fil
501 Downloads (Pure)

Using Abstractions for Spatio-Temporal Conceptual Modeling

Tryfona, N. & Jensen, C. S., 2000, Proceedings of the 2000 ACM Symposium on Applied Computing, Villa Olmo, Como, Italy, March 2000. s. 313-322

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

23 Citationer (Scopus)

Using Aggregation to Improve the Scheduling of Flexible Energy Offers

Tušar, T., Siksnys, L., Pedersen, T. B., Dovgan, E. & Filipič, B., 2012, Proceedings of the Fifth International Conference on Bioinspired Optimization Methods and their Applications - BIOMA 2012. Filipic, B. & Silc, J. (red.). Jozef Stefan Institute, Ljubljana, Slovenia, s. 347-358

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

Fil
8 Citationer (Scopus)
284 Downloads (Pure)

Using AsmL as an executable specification language: Synhchronous Dataflow Schedulers in Ptolemy II

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2004, Proceedings of Workshop on Abstract State Machines ASM 2004, Short Presentations. Dept. of Comp. Science Martin Luther Universität Halle-Wittenberg, s. 19-28

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

Using Cameras to Improve Wi-Fi Based Indoor Positioning

Radaelli, L., Moses, Y. & Jensen, C. S., 2014, Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings. Pfoser, D. & Li, K-J. (red.). Springer Publishing Company, Bind 8470. s. 166-183 (Lecture Notes in Computer Science).

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

8 Citationer (Scopus)

Using Closed n-set Patterns for Spatio-Temporal Classification

Samulevicius, S., Pitarch, Y. & Pedersen, T. B., sep. 2014, Data Warehousing and Knowledge Discovery - 16th International Conference, DaWaK 2014, Munich, Germany, September 2-4, 2014. Proceedings.. Springer Publishing Company, Bind 8646. s. 274-287 14 s. (Lecture Notes in Computer Science).

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

Using Conditional Random Fields to Extract Contexts and Answers of Questions from Online Forums

Ding, S., Cong, G., Lin, C-Y. & Zhu, X., 2008, Proceedings of ACL-08: HLT. Moore, J. D., Teufel, S., Allan, J. & Furui, S. (red.). Association for Computational Linguistics, s. 710-718 9 s.

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

54 Citationer (Scopus)

Using Cultural Probes to Explore Mediated Intimacy

Kjeldskov, J., Gibbs, M., Vetere, F., Howard, S., Pedell, S., Mecoles, K. & Bunyan, M., 2004, Proceedings of OzCHI 2004. CHISIG

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

Fil
161 Downloads (Pure)

Using Fuzzy Lists for Playlist Management

Deliege, F. & Pedersen, T. B., 2008, Advances in Multimedia Modeling: 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings. Satoh, S., Nack, F. & Etoh, M. (red.). Springer, s. 198-209 (Lecture Notes in Computer Science; Nr. 4903).

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

3 Citationer (Scopus)

Using Internet Technology within the Organization: a Structural Analysis of Intranets

Scheepers, R. & Damsgaard, J., 1997, Group'97 : Proceedings of the International ACM SIGGROUP Conference on Supporting Group Work "The Integration Challenge". Hayne, C. S. : Prinz, W. (eds.) (red.). Association for Computing Machinery, s. 9-18

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

16 Citationer (Scopus)

Using Intranet Technology to Foster Organizational Knowledge Creation

Damsgaard, J. & Scheepers, R., 2001, Proceedings of the 9th European Conference on Information Systems : Global Co-Operation in the New Millennium, Bled, Slovenia, June 2001.

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

Using Lisp as a Markup Language: the LAML Approach

Nørmark, K., 1999, European Lisp User Group Meeting. Franz Inc.

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

Using machine learning and object detection for signal-controlled intersections

Lahrmann, H. S., Eriksen, A. B., Taankvist, J. H., Hansen, M. F. & Larsen, K. G., 2018, ITS 2018 Conference Proceedings: Transport network operations. Copenhagen: ITS World, Bind 6. 10 s. EU-TP1618

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

Using Mobile Phones for Promoting Water Conservation

Pathmanathan, R., Pearce, J., Kjeldskov, J. & Smith, W., 2011, Proceedings of OzCHI 2011, Canberra, 28 November - 2 December 2011. Association for Computing Machinery, s. 243-252 10 s.

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

Fil
8 Citationer (Scopus)
130 Downloads (Pure)

Using Mobile Phones to Support Sustainability: A Field Study of Residential Electricity Consumption

Kjeldskov, J., Skov, M. B., Paay, J. & Pathmanathan, R., 2012, Proceedings of the ACM CHI 2012 Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 2347-2356

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

Fil
54 Citationer (Scopus)
174 Downloads (Pure)

Using Nested Surfaces to Detect Structures in Databases

Mazeika, A., Böhlen, M. H. & Mylov, P., 2001, Proc. of the Int. Workshop on Visual Data Mining, Freiburg, Germany, September 2001.

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

Using ROBDDs for Inference in Bayesian Networks with Troubleshooting as an Example

Nielsen, T. D., Wuillemin, P-H., Jensen, F. V. & Kjærulff, U. B., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence: UAI '00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 426-435

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

Using Short Videos in an Introductory Programming Course

Bidragets oversatte titel: Brug af korte videoer i et introducerende programmeringskursusNørmark, K., 12 sep. 2014, International Conference on E-learning. University of La Laguna, Spain, s. 254 - 260 7 s.

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

Using Smartwatch Inertial Sensors to Recognize and Distinguish Between Car Drivers and Passengers

Cano Hald, T., Junker, D. H., Mårtensson, M., Skov, M. & Raptis, D., 23 sep. 2018, Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications. Association for Computing Machinery, s. 74-84 11 s.

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

2 Citationer (Scopus)

Using Tag-Neighbors for Query Expansion in Medical Information Retrieval

Durao, F., Bayyapu, K. R., Xu, G., Lage, R. G. & Dolog, P., 2011, 2011 International Conference on Information Science and Applications (ICISA). IEEE Computer Society Press, 9 s.

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

4 Citationer (Scopus)

Using T-Drive and BerlinMod in Parallel SECONDO for Performance Evaluation of Geospatial Big Data Processing

Ashfaq, M., Tahir, A., Orakzai, F. M., McArdle, G. & Bertolotto, M., 2017, Spatial Data Handling in Big Data Era. Zhou, C., Su, F., Harvey, F. & Xu, J. (red.). Springer, s. 3-19 16 s. (Advances in Geographic Information Science).

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

1 Citationer (Scopus)

Using the Lock Manager to Choose Timestamps

Lomet, D., Snodgrass, R. T. & Jensen, C. S., 2005, Proceedings of the Nineth International Database Engineering and Applications Symposium. s. 357-368

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

3 Citationer (Scopus)

Using UPPAAL to Analyze an MPEG-2 Algorithm

Cambronero, M. E., Ravn, A. P. & Valero, V., 2005, Proceedings of the VII Workshop Brasileiro de Tempo Real. s. 73-82 6 s.

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

Using Weighted Graphs for Computationally Efficient WLAN Location Determination

Thomsen, B. & Hansen, R., 2007, Proceedings of the 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking&Services (MobiQuitous. IEEE Computer Society Press, Bind 00. s. 1-5

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

1 Citationer (Scopus)

Utilizing Device-level Demand Forecasting for Flexibility Markets

Neupane, B., Pedersen, T. B. & Thiesson, B., 12 jun. 2018, e-Energy 2018 - Proceedings of the 9th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 108-118 11 s.

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

4 Citationer (Scopus)

Utilizing partial policies for identifying equivalence of behavioral models

Zeng, Y., Doshi, P., Pan, Y., Mao, H., Chandrasekaran, M. & Luo, J., 2011, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011. Burgard, W. & Roth, D. (red.). AAAI Press, s. 1083-1088 6 s.

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

18 Citationer (Scopus)

UX in Agile before and during development

Larusdottir, M., Nielsen, L., Bruun, A., Larsen, L. B., Nielsen, P. A. & Persson, J. S., 29 sep. 2018, NordiCHI '18: Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 984-987 4 s.

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

UX Requirements to Public Systems for All: Formalisation or Innovation

Billestrup, J., Bruun, A. & Stage, J., 2015, INTERACT 2015 Adjunct Proceedings: 15th IFIP TC. 13 International Conference on Human-Computer Interaction. Beckmann, C. & Gross, T. (red.). University of Bamberg Press, s. 407-427 (Schriften aus der Fakultät Wirtschaftsinformatik und Angewandte Informatik der Otto-Friederich-Universität Bamberg, Bind 22).

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

Åben adgang

Validating Timed Component Contracts

Le Guilly, T., Liu, S., Olsen, P., Ravn, A. P. & Skou, A. J., 2015, 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2015. IEEE, s. 245-249

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

Validation, synthesis and optimization for cyber-physical systems

Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Bind 10205 LNCS. s. 3-20 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10205 LNCS).

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

3 Citationer (Scopus)

Validation of Continuous-Time Markov Systems

Larsen, K. G., Baier, C. & Brinksma, E., 1999, Proceedings of PROBMIV'99, Probabilistic Methods in Verification.

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

Value creation in SaaS development

Aaen, I. & Gjerløff, N., 2015, Software Business: 6th International Conference, ICSOB 2015, Braga, Portugal, June 10-12, 2015, Proceedings. Fernandes, J. M., Machado, R. J. & Wnuk, K. (red.). Springer, s. 258-271 14 s. (Lecture Notes in Business Information Processing, Bind 210).

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

Value expressiveness

Smith, S., Johnston, R., Howard, S. & Vetere, F., 2006, Proceedings on European Conference on Information Systems, ECIS 2006. Association for Informations Systems, AIS

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

Value Positions in E-government strategies: Something is (not) changing in the state of Denmark

Persson, J. S., Reinwald, A. K., Skorve, E. & Nielsen, P. A., 5 jun. 2017, Proceedings of the 25th European Conference on Information Systems. The Association for Information Systems (AIS), s. 904-917 (Proceedings / European Conference on Information Systems (ECIS), Bind 2017).

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

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

Vector Space Models for the Classification of Short Messages on Social Network Services

Lage, R. G., Dolog, P. & Leginus, M., 2014, WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2013. Krempels, K. H. & Stocker, A. (red.). Springer Publishing Company, Bind 189. s. 209-224 (Lecture Notes in Business Information Processing, Bind 189).

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

2 Citationer (Scopus)

Vehicle Routing With User-Generated Trajectory Data

Ceikute, V. & Jensen, C. S., jun. 2015, Proceedings of the Sixteenth IEEE International Conference on Mobile Data Management. IEEE, Bind 1. s. 14-23

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

14 Citationer (Scopus)

Verbal and Artifact based Coordination

Andersen, P. B., Nielsen, M. & Carstensen, P., 2000, Proceedings of the Third International Workshop in Organizational Semiotics, University of Stafford, 4-6-00.

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

Verification, Performance Analysis and Controller Synthesis for Real-Time Systems

Fahrenberg, U., Larsen, K. G. & Thrane, C. R., 2009, Engineering Methods and Tools for Software Safety and Security: NATO Science for Peace and Security Series - D: Information and Communication Security. Broy, M., Sitou, W. & Hoare, T. (red.). IOS Press, Bind 22. 28 s. (NATO Science for Peace and Security Series - D: Information and Communication Security; Nr. 22).

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

Verification and controller synthesis for resource-constrained real-time systems: case study of an autonomous truck

Li, S. & Pettersson, P., 2010, 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA). IEEE Press, s. 1-8 8 s.

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

1 Citationer (Scopus)

Verification and Performance Analysis for Embedded Systems

Larsen, K. G., 2009, TASE 2009: Third IEEE International Symposium on Theoretical Aspects of Software Engineering. Wei-Ngan, C. & Shengchao, Q. (red.). IEEE Computer Society Press, Bind 3. s. 3-4 2 s. (TASE).

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

3 Citationer (Scopus)

Verification and Performance Analysis of Embedded and Cyber-Physical Systems using UPPAAL

Larsen, K. G., 17 jul. 2014, PECCS 2014 -- Proceedings of the 4th International Conference on Pervasive and Embedded Computing and Communication Systems. SCITEPRESS Digital Library, s. IS-9

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

Verification and Performance Evaluation of Timed Game Strategies

David, A., Fang, H., Larsen, K. G. & Zhang, Z., 2014, Formal Modeling and Analysis of Timed Systems. Legay, A. & Bozga, M. (red.). Springer, Bind 8711. s. 100-114 15 s. (Lecture Notes in Computer Science).

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

7 Citationer (Scopus)