• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

20 Years of Real Real Time Model Validation

Larsen, K. G., Lorber, F. & Nielsen, B., 2018, Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Springer, Bind 10951. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

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

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Larsen, K. G., Lorber, F. & Nielsen, B., 9 nov. 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

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

5 Citationer (Scopus)

2-Nested Simulation is not Finitely Equationally Axiomatizable

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2001, STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. Ferreira, A. : Reichel, H. (eds.) (red.). 2010 udg. IEEE Computer Society Press, s. 39-50

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

10 Citationer (Scopus)

3XL: An Efficient DBMS-based Triple-store

Xiufeng, L., Thomsen, C. & Pedersen, T. B., sep. 2012, The 23rd International Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, s. 284-288 6 s.

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

Fil
614 Downloads (Pure)

A* Wars: The Fight for Improving A* Search for Troubleshooting with Dependent Actions

Ottosen, T. J. & Jensen, F. V., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (red.). s. 233-240 8 s.

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

A3SAR: Context-aware spatial augmented reality for anywhere, anyone, and analysis

Mei, B., Liu, D., Xie, X., Chen, J. & Du, X., 2015, Database Systems for Advanced Applications: DASFAA 2015 International Workshops, SeCoP, BDMS, and Posters, Hanoi, Vietnam, April 20-23, 2015, Revised Selected Papers. Liu, A., Ishikawa, Y., Qian, T., Nutanong, S. & Cheema, M. A. (red.). Springer, Bind 9052. s. 307-312 6 s. (Lecture Notes in Computer Science; Nr. 9052).

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

A Bayesian concept learning approach to crowdsourcing

Viappiani, P., Zilles, S., Hamilton, H. J. & Boutilier, C., 2011, AAAI Workshop - Technical Report. AAAI Press, Bind WS-11-13. s. 60-67 8 s.

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

1 Citationer (Scopus)

A Bayesian Network Framework for the Construction of Virtual Agents with Human-like Behaviour

Bangsø, O., Sønderberg-Madsen, N. & Jensen, F. V., 2006, Proceedings of the Third European Workshop on Probabilistic Graphical Models. Studený, M. & Vomlel, J. (red.). <Forlag uden navn>, s. 35-42 8 s.

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

3 Citationer (Scopus)

A Behavioral Model of Software Risk Management

Lyytinen, K., Mathiassen, L. & Ropponen, J., 1995, Proceedings of European Conference on Information Systems, Athens, Greece, 1995.

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

A Benchmark for Evaluating Moving Object Indexes

Chen, S., Jensen, C. S. & Lin, D., 2008, PVLDB '08. Association for Computing Machinery, s. 1574-1585

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

64 Citationer (Scopus)

Abstract Dependency Graphs and Their Application to Model Checking

Enevoldsen, S., Larsen, K. G. & Srba, J., 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'19). Zhang, L. & Vojnar, T. (red.). Springer, s. 316-333 18 s. (Lecture Notes in Computer Science, Bind 11427).

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

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

Abstractions for Mechanical Systems

Sloth, C. & Wisniewski, R., 2012, Lagrangian and Hamiltonian Methods for Non Linear Control. 1 udg. Elsevier, Bind 4. s. 96-101 6 s. (I F A C Workshop Series).

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

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

A capacitive sensing toolkit for pervasive activity detection and recognition

Wimmer, R., Kranz, M., Boring, S. & Schmidt, A., 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07). s. 171-180 10 s.

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

A Case-based Assessment of Recommendations for Implementing Software Metrics

Frederiksen, H. D., 2003, Proceedings of EuroSPI'2003 Conference, Dec. 10-12 2003, Graz, Austria.

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

A Case Study of Four IT Companies Developing Usable Public Digital Self-Service Solutions

Billestrup, J., Stage, J. & Larusdottir, M., 2016, ACHI 2016: The Ninth International Conference on Advances in Computer-Human Interactions. IARIA, s. 307-314 8 s.

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

Åben adgang

A category of higher-dimensional automata

Fahrenberg, U., 2005, Foundations of Software Science and Computation Structures. Sassone, V. (red.). IEEE Computer Society Press, s. 187-201 (Lecture Notes in Computer Science; Nr. 3441).

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

18 Citationer (Scopus)

A causal probabilistic network model to assist in insulin therapy adjustment

Hovorka, R., Andreassen, S., Benn, J. J., Carson, E. R., Kjærulff, U. B., Kristensen, L. D. & Olesen, K. G., 1990, Proceedings of the 6th Annual Meeting on Expert Systems in Medicine, 1990, London, United Kingdom.

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

Accelerating Range Queries for Brain Simulations

Tauheed, F., Biveinis, L., Heinis, T., Schurmann, F., Markram, H. & Ailamaki, A., 2012, IEEE 28th International Conference on Data Engineering (ICDE 2012). IEEE Computer Society Press, s. 941-952 12 s.

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

27 Citationer (Scopus)

ACCES: Offline Accuracy Estimation for Fingerprint-Based Localization

Nikitin, A., Laoudias, C., Chatzimilioudis, G., Karras, P. & Zeinalipour-Yazti, D., 30 maj 2017, 18th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 358-359 2 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

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

Access methods and query processing techniques

Di Pasquale, A., Forlizzi, L., Jensen, C. S., Manolopoulos, Y., Nardelli, E., Pfoser, D., Proietti, G., Saltenis, S., Theodoridis, Y. & Tzouramanis, T., 2003, Spatio-Temporal Databases: the Chorochronos Approach. Sellis, T.: Koubarakis, M.: Frank, A.: Grumbach, S.: Güting, G. H.: Jensen, C. J. :Lorentzos, N.: Manolopou-los, Y. : Nardelli, E.: Pernici, B.: Theodoulidis, B.: Schek, H. J. : Scholl, M (red.). IEEE Computer Society Press, s. 203-261 (Lecture Notes in Computer Science; Nr. 2520).

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

7 Citationer (Scopus)

Accommodating Emergent Work Practices: Ethnographic Choise of Method Fragments

Baskerville, R. & Stage, J., 2001, Realigning Research and Practice in Information Systems Development : the Social and Organizational Perspective : IFIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (red.). Kluwer Academic Publishers, s. 11-28

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

16 Citationer (Scopus)

Accurate electricity load forecasting with artificial neural networks

Ortiz-Arroyo, D., Skov, M. K. & Huynh, Q., 1 dec. 2005, Proceedings - International Conference on Computational Intelligence for Modelling, Control and Automation, CIMCA 2005 and International Conference on Intelligent Agents, Web Technologies and Internet. Bind 1. s. 94-99 6 s. 1631248

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

13 Citationer (Scopus)

Accurate Fuel Estimates using CAN Bus Data and 3D Maps

Andersen, O. & Torp, K., jun. 2018, 2018 19th IEEE International Conference on Mobile Data Management (MDM). IEEE, s. 257-265 9 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

A charging scheduling system for electric vehicles using vehicle-To-grid

Breum, N. K., Joergensen, M. N., Knudsen, C. A., Kristensen, L. B. & Yang, B., jun. 2019, Proceedings - 2019 20th International Conference on Mobile Data Management, MDM 2019. IEEE, s. 351-352 2 s. 8788738. (Proceedings - IEEE International Conference on Mobile Data Management, Bind 2019-June).

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

1 Citationer (Scopus)

Achieving Adaptivity For OLAP-XML Federations

Pedersen, D. & Pedersen, T. B., 2003, Proceedings of the ACM Fifth International Workshop on Data Warehousing and OLAP. Association for Computing Machinery, s. 25-32

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

11 Citationer (Scopus)

A Clustering Approach to the Discovery of Points of Interest from Geo-Tagged Microblog Posts

Skovsgaard, A., Šidlauskas, D. & Jensen, C. S., 2014, Proceedings of the Fifteenth IEEE International Conference on Mobile Data Management. IEEE Press, s. 178-188

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

7 Citationer (Scopus)

A Comparison of Techniques for Cross-Device Interaction from Mobile Devices to Large Displays

Paay, J., Raptis, D., Kjeldskov, J., Lauridsen, B. M., Penchev, I. S., Ringhauge, E. & Ruder, E. V., 2016, Proceedings of Advances in Mobile Computing & Multimedia (MoMM 2016). Association for Computing Machinery, s. 137-146

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

Fil
6 Citationer (Scopus)
185 Downloads (Pure)

A comparison of the use of virtual versus physical snapshots for supporting update-intensive workloads

Sidlauskas, D., Jensen, C. S. & Saltenis, S., 2012, Proceedings of the Eighth International Workshop on Data Management on New Hardware, DaMoN 2012. Association for Computing Machinery, s. 1-8 8 s.

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

4 Citationer (Scopus)

A Complete Approximation Theory for Weighted Transition Systems

Hansen, M., Larsen, K. G., Mardare, R. I., Pedersen, M. R. & Xue, B., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M., Kapur, D. & Zhan, N. (red.). Springer, s. 213-228 (Lecture Notes in Computer Science, Bind 9984).

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

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

A component framework as an enabler for industrial cyber physical systems

Neto, L., Madsen, A. L., Søndberg-Jeppesen, N., Silva, R., Reis, J., McIntyre, P. & Gonçalves, G., 15 jun. 2018, Proceedings - 2018 IEEE Industrial Cyber-Physical Systems, ICPS 2018. IEEE, s. 339-344 6 s.

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

1 Citationer (Scopus)

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U. M., 26 jun. 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design. Bliudze, S. & Bensalem, S. (red.). s. 39-51 13 s. (Electronic Proceedings in Theoretical Computer Science, Bind 272).

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

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

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Kristoffersen, K. J., Laroussinie, F., Larsen, K. G., Pettersson, P. & Yi, W., 1997, TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. Bidoit, Michel : Dauchet, Max (eds.) (red.). 1214 udg. IEEE Computer Society Press

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

16 Citationer (Scopus)

A Computational Scheme for Reasoning in Dynamic Probabilistic Networks

Kjærulff, U., 1992, Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence. Morgan Kaufmann, s. 121-129

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

A Consensus Glossary of Temporal Database Concepts: February 1998 Version

Jensen, C. S. E. . & Dyreson, C. E. E. ., 1998, Temporal Databases. Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1998: Lecture Notes in Computer Science. Etzion, O. : Jajodia, S. : Stripada, S. (eds.) (red.). 1399 udg. IEEE Computer Society Press, s. 367-405

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

181 Citationer (Scopus)

A Coock's Tour of Equational Axiomatizations for Prefix Iteration

Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 1998, Foundations of Software Science and Computation Structures : Proceedings of the 1st International Conference, FoSSaCS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. Steffen, B. (ed.) (red.). 1378 udg. IEEE Computer Society Press, s. 20-34

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

A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing

Aceto, L., Larsen, K. G., Morichetta, A. & Tiezzi, F., 29 jan. 2016, Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Springer, Bind 9539. s. 66-85 20 s. (Lecture Notes in Computer Science, Bind 9539).

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

5 Citationer (Scopus)

A COTS Framework for Sensor Fusion Using Dynamic Bayesian Networks in Livestock Production

Hansen, J. A., Nielsen, T. D. & Schiøler, H., 2006, Computer Applications in Industry and Engineering (CAINE-2006), 19th Int'l. Conference. Philip, T. (red.). Denmark., s. 41-48 7 s.

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

Acquisition and Transformation of Likelihoods to Conditional Probabilities for Bayesian Networks

Skaanning, C., Jensen, F. V., Kjærulff, U. B. & Madsen, A. L., 1999, AAAI Spring Symposium, Standford, USA, 1999.

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

Action Investment Energy Games

Larsen, K. G., Laursen, S. & Srba, J., 2013, Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers. Kučera, A., Henzinger, T. A., Nešetřil, J., Vojnar, T. & Antoš, D. (red.). Netherlands: Springer Publishing Company, Bind 7721. s. 155-167 13 s. (Lecture Notes in Computer Science, Bind 7721).

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

2 Citationer (Scopus)

Active Collaborative Learning: Supporting Software Developers in Creating Redesign Proposals

Bruun, A., Jensen, J. J., Skov, M. B. & Stage, J., 2014, Human-Centered Software Engineering. Bind 8742. s. 1-18 18 s. (Lecture Notes in Computer Science).

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

Active diagnosis of hybrid systems - A model predictive approach

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 2009, IEEE International Conference on Control and Automation. IEEE, s. 465-470 5 s.

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

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

Active Diagnosis of MLD Systems using Distinguishable Steady Outputs

Tabatabaeipour, S. M., Ravn, A. P., Izadi-Zamanabadi, R. & Bak, T., 4 jul. 2010, 10th IEEE International symposium on Industrial Electronics. IEEE Press, s. 52-57

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

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

Active Fault Detection and Isolation for Hybrid Systems

Gholami, M., Schiøler, H., Bak, T. & Tabatabaeipour, S. M., 2009, ICSE 2009 Twentieth International Conference on Systems Engineering. IEEE Press, 6 s.

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

Active Involvement of Software Developers in Usability Engineering: Two Small-Scale Case Studies

Bornoe, N. & Stage, J., 2017, Human-Computer Interaction – INTERACT 2017: 16th IFIP TC 13 International Conference, Mumbai, India, September 25-29, 2017, Proceedings, Part IV. Bernhaupt, R., Dalvi, G., Joshi, A., Balkrishan, D. K., O'Neill, J. & Winckler, M. (red.). Springer, s. 159-168 10 s. (Lecture Notes in Computer Science, Bind 10516).

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

4 Citationer (Scopus)

Active Learning of Markov Decision Processes for System Verification

Chen, Y. & Nielsen, T. D., 12 dec. 2012, International Conference on Machine Learning and Applications (ICMLA). s. 289-294

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

Fil
13 Citationer (Scopus)
486 Downloads (Pure)

Actively building private recommender networks for evolving reliable relationships

Assent, I., 2009, Proc. International Workshop on Modeling, Managing and Mining of Evolving Social Networks (M3SN), in conjunction with IEEE International Conference on Data Engineering (ICDE 2009). IEEE, s. 1611-1614

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

4 Citationer (Scopus)

Activity-Driven Influence Maximization in Social Networks

Kumar, R., Saleem, M. A., Calders, T., Xie, X. & Pedersen, T. B., 2017, Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2017, Skopje, Macedonia, September 18–22, 2017, Proceedings, Part III. Springer, s. 345-348 (Lecture Notes in Computer Science, Bind 10536).

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

1 Citationer (Scopus)

Actors' Competences and Methods? A Case Study of Successful Information Systems Development

Nielsen, P. A. & Omland, H. O., 2008, NOKOBIT 2008. TAPIR Akademisk Forlag, s. 339 352 s.

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

Actors’ Competencies or Methods? A Case Study of Successful Information Systems Development

Omland, H. O. & Nielsen, P. A., 2009, Australasian Conference on Information Systems. Scheepers, H. & Davern, M. (red.). Monash University Press, s. 215 224 s.

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

Adaptable Query Optimization and Evaluation in Temporal Middleware

Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2001, Proceedings of the 2001 ACM SIGMOD International Conference on the Management of Data, Santa Barbara, CA, USA, May 21-24, 2001: Sigmod Record. Vol.30, 2 udg. s. 127-138

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