• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding

The secret life of domestic objects

Choi, Y., Dave, B. & Howard, S., 2005, Proceedings of OZCHI 2005, Canberra, November 2005.. Association for Computing Machinery

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

The SEE toolkit: How Young Adults Manage Low Self-esteem Using Personal Technologies

Paay, J., Larsen, H. & Nielsen, H., 2018, Proceedings of the Fourth International Conference on Design4Health 2017. Sheffield Hallam University, s. 183-186 4 s. 42

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

Åben adgang
Fil
216 Downloads (Pure)

The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer

Jones, N. D. & Hansen, R. R., 2007, Programming Languages and Systems: 5th Asian Symposium, APLAS 2007. Shao, Z. (red.). Springer, s. 303-318 (Lecture Notes in Computer Science; Nr. 4807).

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

2 Citationer (Scopus)

The serendipity shuffle

Leong, T., Vetere, F. & Howard, S., 2005, Proceedings of OZCHI 2005, Canberra, November 2005. Association for Computing Machinery

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

The Software Designer: Skills and Change

Nielsen, P. A. & Stage, J., 1994, Report of the 17th Information Systems Research Seminar in Scandinavia, IRIS 17: Research Paper Series. Kerola, P. et al. (ed.) (red.). A21 udg. University of Oulu

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

The Timed Decentralised Label Model

Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (red.). Springer, s. 27-43 (Lecture Notes in Computer Science; Nr. 9417).

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

Åben adgang
Fil
2 Citationer (Scopus)
296 Downloads (Pure)

The TreeScape System: Reuse of Pre-Computed Aggregates over Irregular OLAP Hierarchies

Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 2000, Proceedings of the Twenty-Sixth International Conference on Very Large Databases, Cairo, Egypt, September 2000. s. 595-598

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

10 Citationer (Scopus)

The TS-Tree: Efficient Time Series Search and Retrieval

Assent, I., Krieger, R., Afschari, F. & Seidl, T., 2008, Proceedings of the 11th international conference on Extending database technology: Advances in database technology. Association for Computing Machinery, Bind 261. s. 252-263 12 s.

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

59 Citationer (Scopus)

The Unified Extensional Versioning Model

Asklund, U., Bendix, L. G., Christensen, H. B. & Magnusson, B., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (red.). 1675 udg. IEEE Computer Society Press, s. 100-122

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

12 Citationer (Scopus)

The Usefulness of Reusing the Idea of the Wheel: Learning Information Systems Modelling

Nielsen, P. A., 1998, Training and Education of Methodology Practioners and Researchers : Proceedings. Jayaratna, N....et al. (eds.) (red.). Springer, s. 397-408

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

The use of categorization information in language models for question retrieval

Cao, X., Cong, G., Cui, B., Jensen, C. S. & Zhang, C., 2009, Proceeding of the 18th ACM conference on Information and knowledge management. Cheung, D. W-L., Song, I-Y., Chu, W. W., Hu, X. & Lin, J. J. (red.). Association for Computing Machinery, s. 265-274 10 s. (Conference on Information and Knowledge Management).

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

76 Citationer (Scopus)

The Use of Descriptions in Analysis and Design of Information Systems

Stage, J., 1991, Collaborative Work, Social Communications, and Information Systems. Stamper, R.K. et al. (red.). North-Holland, s. 237-260

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

The use of personas in software development: Advantages, obstacles and experiences in practice

Billestrup, J., Stage, J., Nielsen, L. & Storgaard Nielsen, K., 2014, Proceedings IRIS36: August 11-14 2013 at Gran, Norway. Bratteteig, T., Aanestad, M. & Skorve, E. (red.). Department of Informatics, University of Oslo, 12 s.

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

The use of static constructs in a model process logic

Hüttel, H. & Larsen, K. G., 1 jan. 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

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

45 Citationer (Scopus)

The use of video in a mixed classroom approach

Nørmark, K., 11 sep. 2015, International Conference on E-learning: Proceedings from 2015. Berlin, Tyskland, s. 113-118 19. (International Conference on E-Learning - Proceedings).

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

Åben adgang

The USE Project: Bridging the Gap between Usability Evaluation and Software Development

Als, B. S., Frøkjær, E., Hornbæk, K., Høegh, R. T., Jensen, J. J., Nørgaard, M., Skov, M. B., Stage, J. & Uldall-Espersen, T., 2005, Proceedings of the 5th Human Computer Interaction Research Symposium. Clemmensen, T. & Nielsen, L. (red.). Copenhagen Business School Press, s. 110-114 5 s. (Working paper (wp) / INF; Nr. 2005-012).

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

The USE Project: Experience with Usability Evaluation Techniques in Software Development Organizations

Frøkjær, E., Hornbæk, K., Høegh, R. T., Jensen, J. J., Nørgaard, M., Skov, M. B. & Stage, J., 2006, Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium. s. 110-114

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

3 Citationer (Scopus)

The vAMP Attack: Taking control of cloud systems via the unified packet parser

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 nov. 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, s. 11-15 5 s.

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

4 Citationer (Scopus)

The Why, What, Who, Where, and How of CASE Management

Mathiassen, L. & Sørensen, C., 1995, Proceedings of the Eighteenth Information Systems Research Seminar in Scandinavia, 1995.

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

The WPU Project

Jensen, J. J., Skov, M. B. & Stage, J., 2008, Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium, 20th November 2008. Jensen, J. J., Jensen, K. L., Kanstrup, A. M., Larsen, L. B., Nyvang, T. & Stage, J. (red.). Aalborg Universitet, s. 23-26

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

Åben adgang
Fil
392 Downloads (Pure)

Thresholded Range Aggregation in Sensor Networks

Yiu, M. L., Lin, Z. & Mamoulis, N., 2010, Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. IEEE Computer Society Press, s. 162-171

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

Time-Critical Decision Making in Interactive Dynamic Influence Diagram

Zeng, Y. & Xiang, Y., 2010, 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2010. IEEE Press, s. 149-156

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

3 Citationer (Scopus)

Timed automata with observers under energy constraints

Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

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

33 Citationer (Scopus)

Timed Comparisons of Semi-Markov Processes

Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 13 s. (Lecture Notes in Computer Science; Nr. 10792).

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

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

Timed Control with Observation Based and Stuttering Invariant Strategies

David, A., Larsen, K. G., Cassez, F., Lime, D. & Raskin, J-F., 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Springer, s. 192-206 (Lecture Notes in Computer Science; Nr. 4762).

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

27 Citationer (Scopus)

Timed I/O automata: a complete specification theory for real-time systems

David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

Åben adgang
Fil
122 Citationer (Scopus)
270 Downloads (Pure)

Timed Testing under Partial Observability

David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, s. 61-70 10 s.

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

Åben adgang
Fil
18 Citationer (Scopus)
368 Downloads (Pure)

Time Optimal Reachability Analysis Using Swarm Verification

Zhang, Z., Nielsen, B. & Larsen, K. G., 3 apr. 2016, Proceedings of the 31st Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, Bind SAC '16. s. 1634-1640 7 s.

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

3 Citationer (Scopus)

Time-Optimal Real-Time Test Case Generation using UPPAAL

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2004, Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003: Lecture Notes in Computer Science. Petrenko, Alexandre : Ulrich, Andreas (eds.) (red.). 2931 udg. IEEE Computer Society Press, s. 118-135

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

37 Citationer (Scopus)

Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, s. 146-152 7 s. 8511477

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

Time-Optimal Test Cases for Real-Time Systems

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

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

Time to Learn - Learning Timed Automata from Tests

Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., aug. 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (red.). Heidelberg: Springer, s. 216-235 20 s. (Lecture Notes in Computer Science, Bind 11750).

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

To Do and Not To Do: Constrained Scenarios for Safe Smart House

Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., jul. 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, s. 17-24 8 s.

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

8 Citationer (Scopus)

To link or not to link: Ranking hyperlinks in Wikipedia using collective attention

Thruesen, P., Cechak, J., Seznec, B., Castalio, R. & Kanhabua, N., 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. IEEE, s. 1709-1718 10 s. 7840785

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

Toolchain for User-Centered Intelligent Floor Heating Control

Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 5296-5301 6 s.

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

3 Citationer (Scopus)

Tools for Explanation in Bayesian Networks with Application to an Agricultural Problem

Dittmer, S. L. & Jensen, F. V., 1997, Proceedings of The 1st European Conference for Information Technology in Agriculture, June 15-18, 1997, The Royal Veterinary and Agricultural University, Copenhagen, Denmark. <Forlag uden navn>, s. 441-446

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

Tools for Exploration of Dynamic Models in Object-Oriented Design

Nørmark, K., 1996, Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'96: R96-2019. University, D. O. C. S. I. O. E. S. A. (red.). s. 185-195

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

Tools for Presentation and Animation of Dynamic Models in Object-Oriented Design

Iversen, L., Madsen, P. & Nørmark, K., 1998, Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'98, June 1998. (eds.), M. . O. (red.). s. 127-142

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

Tool Supported Analysis of Web Services Protocols

Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, s. 50-64 15 s.

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

Top-Down Construction and Repetitive Structures Representation in Bayesian Networks

Bangsø, O. & Wuillemin, P-H., 2000, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference : FLAIRS-2000 : Hotel Royal Plaza, Orlando, Florida, 22-24 May 2000. Etheredge, J. : Manaris, B. (eds.) (red.). AAAI Press

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

Top-k diversification for path queries in knowledge graphs

Aebeloe, C., Setty, V., Montoya, G. & Hose, K., 1 jan. 2018, Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks. Van Erp, M., Atre, M., Lopez, V., Srinivas, K. & Fortuna, C. (red.). CEUR Workshop Proceedings, 4 s. (CEUR Workshop Proceedings, Bind 2180).

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

Åben adgang
Fil
16 Downloads (Pure)

Top-k Neighborhood Dominating Query

Xie, X., Lu, H., Chen, J. & Shang, S., 2013, Database Systems for Advanced Applications: 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I. Meng et al., W. (red.). Springer Publishing Company, s. 131-145 15 s. (Lecture Notes in Computer Science, Bind 7825).

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

10 Citationer (Scopus)

Top-k point of interest retrieval using standard indexes

Skovgaard, A. & 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. 173-182 10 s.

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

6 Citationer (Scopus)

Top-k Spatial Preference Queries

Yiu, M. L., Dai, X., Mamoulis, N. & Vaitis, M., 2007, Proceedings of the 23nd IEEE International Conference on Data Engineering (ICDE). IEEE Computer Society Press, Bind 07EX1614C. s. 1076-1085 10 s.

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

Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases: SSTD 2017. Springer, s. 221-241 21 s. (Lecture Notes in Computer Science, Bind 10411).

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

4 Citationer (Scopus)

Topological Self-Stabilization with Name-Passing Process Calculi

Rickmann, C., Wagner, C., Nestmann, U. & Schmid, S., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 15 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

Åben adgang
1 Citationer (Scopus)

To Store or Not to Store

Behrmann, G., Larsen, K. G. & Pelánek, R., 2003, Proceedings of CAV 2003: Lecture Notes in Computer Science. 2725 udg. s. 433-445

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

Touch, and you will gaze: Elderly and youngers' use of remote controls in interacting with a healthcare portal

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. 135-137 4 s. (Studies in Health Technology and Informatics, Bind 190).

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

Toward Documentation of Program Evolution

Vestdam, T. & Nørmark, K., 2005, Proceedings of the 21st IEEE International Conference on Software Maintenance, 2005. ICSM'05. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 505 - 514 10 s.

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

1 Citationer (Scopus)

Toward Robust Model Identification in Interactive Influence Diagrams Using Mutual Information

Zeng, Y. & Doshi, P., 2008, Proceedings of Workshop on Multiagent Sequential Decision Making in Uncertain Domain (MSDM). s. 158-169 12 s.

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