• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding

Supporting Temporal Data Management Applications via Stratum Approaches

Torp, K., Jensen, C. S. & Snodgrass, R. T., 1998, Proceedings of the 1998 International Database Engineering and Applications Symposium, July 8-10, 1998, Cardiff, Wales. s. 4-13

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

17 Citationer (Scopus)

Supporting the Supermarket Shopping Experience through a Context-Aware Shopping Trolley

Black, D., Clemmensen, N. J. & Skov, M. B., 2009, Proceedings of OzCHI 2009. Association for Computing Machinery, s. 33-36

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

19 Citationer (Scopus)

Supporting Usability Engineering in Small Software Development Organizations

Bornoe, N. & Stage, J., 2013, 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

Supporting Work Activities in Healthcare by Mobile Electronic Patient Records

Kjeldskov, J. & Skov, M. B., 2004, Proceedings of APCHI 2004: Lecture Notes in Computer Science. Springer, s. 191-200 10 s.

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

Fil
23 Citationer (Scopus)
159 Downloads (Pure)

Supporting Young Children's Communication with Adult Relatives Across Time Zones

Vutborg, R., Kjeldskov, J., Paay, J., Vetere, F. & Pedell, S., nov. 2011, Proceedings of OzCHI 2011, Canberra, 28 November - 2 December 2011. Association for Computing Machinery, s. 291-300 10 s.

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

Fil
11 Citationer (Scopus)
211 Downloads (Pure)

Surrogater i Øjeblik: mod migrerering i Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. Hüttel, Hans : Nestmann, Uwe (eds.) (red.). NS-98-5 udg. Department of Computer Science, Aarhus University, s. 43-50

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

Surrogates in Øjeblik: Towards Migration in Obliq

Hüttel, H., Kleist, J., Nestmann, U. & Sangiorgi, D., 1998, Proceeding of FOOL5.

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

Survey of real-time processing systems for big data

Liu, X., Lftikhar, N. & Xie, X., 2014, ACM International Conference Proceeding Series. Association for Computing Machinery, s. 356-361 6 s.

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

53 Citationer (Scopus)

SwarmArchitect: A Swarm Framework for Collaborative Construction

Zeng, Y., Cordero, J. & Plougman Buus, D., 2007, Genetic And Evolutionary Computation Conference. Association for Computing Machinery, s. 186-186 1 s.

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

3 Citationer (Scopus)

Symbolic Dependency Graphs for PCTL Model-Checking

Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

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

3 Citationer (Scopus)

Symbolic Model Checking of Weighted PCTL Using Dependency Graphs

Jensen, M. C., Mariegaard, A. & Larsen, K. G., 2019, NASA Formal Methods - 11th International Symposium, NFM 2019, Proceedings. Rozier, K. Y. & Badger, J. M. (red.). Springer, s. 298-315 18 s. (Lecture Notes in Computer Science, Bind 11460).

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

2 Citationer (Scopus)

Symbolic PathFinder v7

Luckow, K. S. & Păsăreanu, C., jan. 2014, ACM Special Interest Group on Software Engineering (SIGSOFT) Software Engineering Notes (SEN). 1 udg. New York, NY, USA: Association for Computing Machinery, Bind 39. s. 1-5 5 s.

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

SynchroMate: A Phatic Technology for Mediating Intimacy

Gibbs, M., Vetere, F., Bunyan, M. & Howard, S., 2005, Proceedings of Designing User eXperience. Association for Computing Machinery

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

Synchronizing Strategies under Partial Observability

Larsen, K. G., Laursen, S. & Srba, J., 2014, CONCUR 2014 – Concurrency Theory. Baldan, P. & Gorla, D. (red.). Springer Publishing Company, Bind 8704. s. 188-202 (Lecture Notes in Computer Science).

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

Åben adgang
Fil
8 Citationer (Scopus)
265 Downloads (Pure)

Synchronizing words for weighted and timed automata

Doyen, L., Juhl, L., Larsen, K. G., Markey, N. & Shirmohammadi, M., 11 dec. 2014, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Bind 29. s. 121-132 12 s.

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

9 Citationer (Scopus)

Synchronizing XPath Views

Bidragets oversatte titel: Synkronisering af XPath ViewsPedersen, D. & Pedersen, T. B., 2004, Proceedings of the Eighth International Database Engineering and Applications Symposium. IEEE Computer Society Press, s. 149-160 12 s.

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

2 Citationer (Scopus)

Synchronous interface theories and time triggered scheduling

Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A. & Ničković, D., 2012, Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Giese, H. & Rosu, G. (red.). Springer Publishing Company, s. 203-218 16 s. (Lecture Notes in Computer Science, Bind 7273).

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

2 Citationer (Scopus)

Synthesis of Optimal Strategies Using HyTech

Bouyer, P., Cassez, F., Larsen, K. G. & Fleury, E., 2005, Proceedings of the Workshop on Games in Design and Verification. Elsevier, s. 11-31 (Electronic Notes of Theoretical Computer Science; Nr. 1, Bind 119).

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

10 Citationer (Scopus)

Synthesis of Partial Rankings of Points of Interest Using Crowdsourcing

Keles, I., Saltenis, S. & Jensen, C. S., 2015, Proceedings of the 9th Workshop on Geographic Information Retrieval. Association for Computing Machinery, 10 s. 15

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

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games

Larsen, K. G., 2019, Proceedings of 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (red.). Schloss Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 5 s. 2. (Leibniz International Proceedings in Informatics, Bind 140).

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

Åben adgang

Systematic Change Management in Dimensional Data Warehousing

Bliujute, R., Saltenis, S., Slivinskas, G. & Jensen, C. S., 1998, Proceedings of the 3rd International Baltic Workshop on DB and IS, April 15-17, 1998, Riga, Latvia. s. 27-41

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

TABOO: Detecting unstructured sensitive information using recursive neural networks

Neerbek, J., Assent, I. & Dolog, P., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017 . IEEE, s. 1399-1400 2 s. (Proceedings of the International Conference on Data Engineering).

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

2 Citationer (Scopus)

Tag and word clouds as means of navigation support in social systems

Leginus, M. & Dolog, P., 1 dec. 2013, Current Trends in Web Engineering: ICWE 2013 International Workshops ComposableWeb, QWE, MDWE, DMSSW, EMotions, CSE, SSN, and PhD Symposium, Aalborg, Denmark, July 8-12, 2013. Revised Selected Papers. Sheng, Q. Z. & Kjeldskov, J. (red.). Springer Science+Business Media, s. 330-334 5 s. (Lecture Notes in Computer Science, Bind 8295).

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

Tag cloud generation for results of multiple keywords queries

Leginus, M., Dolog, P. & Lage, R. G., 2013, Web Engineering: 13th International Conference, ICWE 2013, Aalborg, Denmark, July 8-12, 2013. Proceedings. Daniel, F., Dolog, P. & Li, Q. (red.). Springer Publishing Company, Bind 7977. s. 233-248 15 s. (Lecture Notes in Computer Science, Bind 7977).

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

TagPad: Supporting Field Interviews and Analysis

Bornoe, N. & Barkhuus, L., 2013, iConference 2013 papers. iSchools, s. 316-325 10 s.

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

Tail call elimination and data representation for functional languages on the Java virtual machine

Madsen, M., Zarifi, R. & Lhoták, O., 24 feb. 2018, CC 2018 - Proceedings of the 27th International Conference on Compiler Construction, Co-located with CGO 2018. Xue, J. & Dubach, C. (red.). Association for Computing Machinery, s. 139-150 12 s.

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

2 Citationer (Scopus)

Taking control of SDN-based cloud systems via the data plane

Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 28 mar. 2018, Proceedings of the Symposium on SDN Research, SOSR 2018. Association for Computing Machinery, 15 s. 3185468

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

10 Citationer (Scopus)

Taking It to the Limit: Approximate Reasoning for Markov Processes

Larsen, K. G., Mardare, R. I. & Panangaden, P., 2012, Mathematical Foundations of Computer Science 2012: 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings. Rovan, B., Sassone, V. & Widmayer, P. (red.). Springer, s. 681-692 (Lecture Notes in Computer Science, Bind 7464).

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

17 Citationer (Scopus)

Taking on internet bad neighborhoods

Moura, G. C. M., Sadre, R. & Pras, A., 2014, IEEE/IFIP NOMS 2014 - IEEE/IFIP Network Operations and Management Symposium: Management in a Software Defined World. IEEE Computer Society Press, s. 1-7 6838284. (I E E E - I F I P Network Operations and Management Symposium).

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

2 Citationer (Scopus)

Tangible Objects: Modeling in Style

May, D. C., Kristensen, B. B. & Nowack, P., 2001, Proceedings of Second International Conference on Generative Systems in the Electronic Arts (Second Iteration - Emergence), Melbourne, Australia, 2001.

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

Tank War Using Online Reinforcement Learning

Toftgaard Andersen, K., Zeng, Y., Dahl Christensen, D. & Tran, D., 2009, 2009 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology: Proceedings of 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 09). 2 udg. IEEE Computer Society Press, s. 497-500 4 s.

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

TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets

David, A., Jacobsen, L., Jacobsen, M., Jørgensen, K. Y., Møller, M. H. & Srba, J., 2012, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12). Flanagan, C. & König, B. (red.). Netherlands: Springer, s. 492-497 6 s. (Lecture Notes in Computer Science, Bind 7214).

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

33 Citationer (Scopus)

Teaching of a Computer Literacy Course: a Case Study using Traditional and Co-Operative Learning

Scheepers, H. & Villiers, C. D., 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

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

Teaching Programming to Liberal Arts Students— a Narrative Media Approach

Bennedsen, J., Brandorff, S., Caspersen, M. E., Mosegaard, J. & Andersen, P. B., 2003, The ITiCSE 2003 conference (Thessaloniki, Greece University of Macedonia. Association for Computing Machinery

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

17 Citationer (Scopus)

Teaching Software Developers to Perform UX Tasks

Øvad, T., Bornoe, N., Larsen, L. B. & Stage, J., 2015, OzCHI '15 Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction. Association for Computing Machinery, s. 397-406 (ACM Conference Proceedings Series).

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

7 Citationer (Scopus)

Teaching Spatial Geometry in a Virtual World: Using Minecraft in Mathematics in Grade 5/6

Förster, K-T., 8 jun. 2017, 2017 IEEE Global Engineering Education Conference (EDUCON). IEEE, s. 1411-1418 8 s.

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

6 Citationer (Scopus)

Teaching Stratego to Play Ball: Optimal Synthesis for Continuous Space MDPs

Jaeger, M., Jensen, P. G., Larsen, K. G., Legay, A. B. E., Sedwards, S. & Taankvist, J. H., 28 okt. 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings: ATVA 2019: Automated Technology for Verification and Analysis. Chen, Y-F., Cheng, C-H. & Esparza, J. (red.). Springer, s. 81-97 17 s. (Lecture Notes in Computer Science, Bind 11781).

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

TeleHuman2: A cylindrical light field teleconferencing system for life-size 3D human telepresence

Gotsch, D., Zhang, X., Merritt, T. & Vertegaal, R., 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.

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

6 Citationer (Scopus)

Temporal Data Management—An Overview

Böhlen, M. H., Dignös, A., Gamper, J. & Jensen, C. S., 1 jan. 2018, Business Intelligence and Big Data - 7th European Summer School, eBISS 2017, Tutorial Lectures. Zimanyi, E. (red.). Springer, Bind 324. s. 51-83 33 s. (Lecture Notes in Business Information Processing).

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

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

Temporal Information Retrieval

Kanhabua, N. & Anand, A., 2016, Proceedings of the 39th International ACM SIGIR conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 1235-1238 4 s.

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

Ternary Semantic Analysis of Social Tags for Personalized Music Recommendation

Symeonidis, P., Ruxanda, M. M., Nanopoulos, A. & Manolopoulos, Y., 2008, Proceedings of the 9th International Conference on Music Information Retrieval. International Conference on Music Information Retrieval, s. 219-224 6 s.

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

55 Citationer (Scopus)

Test Generation for Time Critical Systems: Tool and Case Study

Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. s. 155-162

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

9 Citationer (Scopus)

Testing and Verification of Probabilistic Processes

Larsen, K. G. & Skou, A., 1992, NSDCS'92. Heegaard, Poul : Helvik, Bjarne (eds.) (red.). NTH, s. 235-250

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

Testing by Contract: Combining Unit Testing and Design by Contract

Madsen, P., 2002, Proceedings of the Nordic workshop on Software Development Tools and Techniques (NWPER 2002), Copenhagen, August 18-20. 2002.

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

Testing Hennesy-Milner Logic with Recursion

Aceto, L. & Ingolfsdottir, A., 1999, Foundations of Software Science and Computation Structures : Second International Conference, FOSSACS ' 99 : Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999: Lecture Notes in Computer Science. Thomas, W. (ed.) (red.). 1578 udg. IEEE Computer Society Press, s. 41-55

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

Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

Mikucionis, M., Larsen, K. G., Nielsen, B. & Skou, A., 2005, Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery, s. 299-306 8 s.

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

107 Citationer (Scopus)

Testing real-time systems under uncertainty

David, A., Larsen, K. G., Li, S., Mikucionis, M. & Nielsen, B., 2012, Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers. Berlin: Springer, Bind 6957. s. 352-371 20 s. (Lecture Notes in Computer Science, Bind 6957).

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

8 Citationer (Scopus)

TetaSARTS: A tool for modular timing analysis of safety critical Java systems

Luckow, K. S., Bøgholm, T., Thomsen, B. & Larsen, K. G., 2013, Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems. 11 udg. Association for Computing Machinery, s. 11-20 10 s. (Proceedings of the International Workshop of Java Technologies for Real-Time and Embedded Systems).

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

6 Citationer (Scopus)

THAPS: Automated Vulnerability Scanning of PHP Applications

Jensen, T., Pedersen, H., Olesen, M. C. & Hansen, R. R., 2012, Proceedings of the 17th Nordic Conference on Secure IT-Systems (NordSec 2012). Springer, Bind 7617. s. 31-46 (Lecture Notes in Computer Science, Bind 7617).

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

6 Citationer (Scopus)

The 4C Framework: Principles of Interaction in Digital Ecosystems

Sørensen, H., Raptis, D., Kjeldskov, J. & Skov, M. B., 2014, Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014). Association for Computing Machinery, s. 87-97

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

Fil
27 Citationer (Scopus)
959 Downloads (Pure)