• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding
1 Citation (Scopus)
70 Downloads (Pure)

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, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Klein, S. T., Martin-Vide, C. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 (Lecture Notes in Computer Science; Nr. 10792).

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

Åben adgang
Fil
Semi-Markov Process
Probabilistic Automata
Algorithmic Complexity
Markovian Process
Residence Time
27 Citationer (Scopus)

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

121 Citationer (Scopus)
263 Downloads (Pure)

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
18 Citationer (Scopus)
360 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
Observability
Testing
Real time systems
Sensors
Experiments
3 Citationer (Scopus)

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

Model checking
Scalability
Scheduling
Data storage equipment
Planning
37 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

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

Unmanned aerial vehicles (UAV)
Motion planning
Controllers

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

Finite automata
Genetic programming
Model checking
Testing
Clocks
8 Citationer (Scopus)

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

Intelligent buildings
Graphical user interfaces
Large scale systems
Automation

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

Websites
Internet
2 Citationer (Scopus)

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

Heating
Hardware
Controllers
Energy conservation
Automation

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

Web services
Network protocols
Communication
Model checking
XML

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

15 Downloads (Pure)

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
Engines
Experiments
10 Citationer (Scopus)

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

6 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

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

4 Citationer (Scopus)

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

1 Citation (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

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

1 Citation (Scopus)

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

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

Identification (control systems)
11 Citationer (Scopus)

Towards a Data Warehouse Contextualized with Web Opinions

Martinez, J. M. P., Berlanga, R., Cabo, M. J. A. & Pedersen, T. B., 2008, Proceedings of the First International Workshop on Business Intelligence Methodologies and Applications. Chung, J-Y. & Younas, M. (red.). IEEE, s. 697-702 6 s.

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

Towards a Design Theory for Collaborative Qualitative Data Analysis

Nielsen, P. A., 2016, Practice-based Design and Innovation of Digital Artifacts. Donnellan, B., Goldkuhl, G., Helfert, M. & Sjöström, J. (red.). 11 s.

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

Åben adgang

Towards a Handbook for User-Centred Mobile Application Design

Boll, S., Breunig, M., Davies, N., Jensen, C. S., König-Ries, B., Malaka, R., Matthes, F., Panayiotou, C., Saltenis, S. & Schwarz, T., 2004, Dagstuhl Seminar 04441 on Mobile Information Management. 8 s.

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

Application programs
3 Citationer (Scopus)

Towards a more expressive model for dynamic classification

Zhong, S., Martínez, A. M., Nielsen, T. D. & Langseth, H., 2010, Proceedings of the 23rd International Florida Artificial Intelligence Research Society Conference, FLAIRS-23. AAAI Press, s. 563-564

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

1 Citation (Scopus)

Towards an automatic construction of Contextual Attribute-Value Taxonomies

Ienco, D., Pitarch, Y., Poncelet, P. & Teisseire, M., 2012, Proceedings of the ACM Symposium on Applied Computing. Association for Computing Machinery, s. 113-118 6 s.

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

Taxonomies
Data warehouses
Information theory
Information management
Data mining
1 Citation (Scopus)

Towards and Abstract Language for Dynamic Modelling in Object-Oriented Design

Nørmark, K., 1997, TOOLS 23 : Proceedings of the International Conference on Technology of Object-Oriented Language and Systems, Santa Barbara, California, 1997. (eds.), E. R. . S. M. . M. B. (red.). s. 120-131

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

1 Citation (Scopus)

Towards Answering Provenance-Enabled SPARQL Queries for RDF Data Cubes

Mathiassen, K. A. M., Hose, K. & Pedersen, T. B., 2016, Semantic Technology. Li, Y-F., Hu, W., Dong, J. S., Antoniou, G., Wang, Z., Sun, J. & Liu, Y. (red.). Springer, s. 186-203 16 s. (Lecture Notes in Computer Science, Bind 10055).

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

10 Citationer (Scopus)

Towards a Programmable Semantic Extract-Transform-Load Framework for Semantic Data Warehouses

Nath, R., Hose, K. & Pedersen, T. B., okt. 2015, ACM Eighteenth International Workshop On Data Warehousing and OLAP (DOLAP 2015). Association for Computing Machinery, Bind 23. s. 15-24 10 s.

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

Data warehouses
Semantics
Mathematical transformations
Semantic Web
Ontology
227 Downloads (Pure)

Towards A Streams-Based Framework for Defining Location-Based Queries

Huang, X. & Jensen, C. S., 2004, Proceedings of the Second International Workshop on Spatio-Temporal Database Management. Sander, J. & Nascimento, M. A. (red.). s. 73-80 8 s.

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

Åben adgang
Fil
Semantics
Processing
8 Citationer (Scopus)

Towards a Structurational Theory of Information Systems: a substantive case analysis

Rose, J. & Hackney, R. H., 2003, Hawaii International Conference on Systems Science, Hawaii..

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

6 Citationer (Scopus)

Towards a Unified Modeling of Outdoor and Indoor Spaces

Haj Hussain, S., Lu, H. & Pedersen, T. B., 2012, Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, s. 522-525

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

Towards Automatic Bisimilarity Checking in the Spi Calculus

Elkjær, A. S., Höhle, M., Hüttel, H. & Overgård, K., 1999, Combinatorics, Computation & Logic 99 : Proceedings of DMTCS'99 and CATS '99, Auckland, New Zealand, 18-21 January 1999: Australian Computer Science Communications. Calude, C. S. : Dinneen, M. J. (eds.) (red.). Vol.21, 3 udg. IEEE Computer Society Press, s. 175-189

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

Towards a Web Accessibility Monitor

Snaprud, M. H., Jensen, C. S., Ulltveit-Moe, N., Nytun, J. P., Rafoshei-Klev, M. E., Sawicka, A. & Hanssen, Ø., 2002, Proceedings of the Second European Medical and Biological Engineering Conference, Vienna, Austria, Dec. 4-8, 2002. s. 2

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

17 Citationer (Scopus)

Towards benefit-based RDF source selection for SPARQL queries

Hose, K. & Schenkel, R., 9 jul. 2012, Proceedings of the 4th International Workshop on Semantic Web Information Management, SWIM'12.

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

Query processing
Experiments
2 Citationer (Scopus)

Towards Commoditised Near Infrared Spectroscopy

Klakegg, S., Goncalves, J., van Berkel, N., Luo, C., Hosio, S. & Kostakos, V., 2017, Proceedings of the ACM SIGCHI Conference on Designing Interactive Systems. s. 515-527 13 s.

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

1 Citation (Scopus)

Towards constraint-based aggregation of energy flexibilities

Valsomatzis, E., Pedersen, T. B., Abello, A., Hose, K. & Siksnys, L., 2016, e-Energy '16 Proceedings of the Seventh International Conference on Future Energy Systems Poster Sessions. Association for Computing Machinery, 2 s. 6

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

Agglomeration
24 Citationer (Scopus)

Towards context-aware search and analysis on social media data

Derczynski, L. R. A., Yang, B. & Jensen, C. S., 2 maj 2013, Advances in Database Technology - EDBT 2013: 16th International Conference on Extending Database Technology, Proceedings. s. 137-142 6 s.

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

Epidemiology
Social sciences
Metadata
Data acquisition
Industry
6 Citationer (Scopus)

Towards Effective Group Recommendations for Microblogging Users

Lage, R. G., Durao, F. & Dolog, P., 2012, SAC '12 Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York: Association for Computing Machinery, s. 923-928

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

Towards efficient and flexible KNN query processing in real-life road networks

Lu, Y., Cui, B., Zhao, J., Lu, H. & Shen, J., 2008, Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008. IEEE, s. 230 - 237

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

Towards Efficient Query Processing over Heterogeneous RDF Interfaces

Montoya, G., Aebeloe, C. & Hose, K., 2018, Emerging Topics in Semantic Technologies: ISWC 2018 Satellite Events. Demidova, E., Zaveri, A. J. & Simperl, E. (red.). IOS Press, s. 39-53 (Studies on the Semantic Web, Bind 36).

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

Query processing
Hybrid systems
Experiments
6 Downloads (Pure)

Towards efficient query processing over heterogeneous RDF interfaces

Montoya, G., Aebeloe, C. & Hose, K., 2018, Proceedings of the 2nd Workshop on Decentralizing the Semantic Web. CEUR Workshop Proceedings, Bind 2165. (CEUR Workshop Proceedings).

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

Åben adgang
Fil
Query processing
Hybrid systems
Experiments
97 Citationer (Scopus)
2142 Downloads (Pure)

Towards Efficient Search for Activity Trajectories

Zheng, K., Shang, S., Yuan, J. & Yang, Y., apr. 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, s. 230 - 241 12 s. (Proceedings of the International Conference on Data Engineering).

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

Fil
Trajectories
Scalability
Processing
12 Citationer (Scopus)

Towards Flexibility Detection in Device-Level Energy Consumption

Neupane, B., Pedersen, T. B. & Thiesson, B., 2014, Data Analytics for Renewable Energy Integration: Proceedings of the Second ECML PKDD Workshop, DARE 2014. Woon, W. L., Aung, Z. & Madnick, S. (red.). Springer Publishing Company, Bind 8817. s. 1-16 (Lecture Notes in Computer Science).

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

Energy utilization
Processing