Adresse
  • Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
Konferenceartikel i proceeding

A Hyperstructure Programming Environment for Clos

Nørmark, K., 1991, Technology of Object-Oriented Languages and Systems. Bézivin, Jean : Meyer, Bertrand (red.). Prentice-Hall, s. 127-140

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

A Journey from IFC Files to Indoor Navigation

Svendstrup Boysen, M., de Haas, C., Lu, H. & Xie, X., 2014, Web and Wireless Geographical Information Systems - 13th International Symposium, W2GIS 2014. Springer, Bind 8470. s. 148-165 18 s. (Lecture Notes in Computer Science).

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

10 Citationer (Scopus)

A Knowledge Acquisition Tool for Bayesian-Network Troubleshooters

Skaanning, C., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 549-557

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

A Lens for Evaluating Genetic Information Governance Models: Balancing Equity, Efficiency and Sustainability

Skorve, E., Vassilakopoulou, P., Aanestad, M. & Grünfeld, T., 2017, Informatics for Health: Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & Scott, P. J. (red.). IOS Press, s. 298-302 (Studies in Health Technology and Informatics, Bind 235).

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

Åben adgang
Fil
38 Downloads (Pure)

Alert Systems for production Plants: A Methodology Based on Conflict Analysis

Nielsen, T. D. & Jensen, F. V., 2005, Proceedings of the Eighth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty. IEEE Computer Society Press, s. 76-87 (Lecture Notes in Computer Science; Nr. 3571).

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

Åben adgang
Fil
6 Citationer (Scopus)
594 Downloads (Pure)

Algebra-Based Optimization of XML-Extended OLAP Queries

Yin, X. & Pedersen, T. B., 2006, Proceedings of the Thirteenth International Conference on Management of Data. Lakshmanan, L. V. S., Roy, P. & Tung, A. K. H. (red.). McGraw-Hill, s. 197-200 4 s.

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

Algebras for Hazard Detection

Esik, Z., Brzozowski, J. & Iland, Y., 2001, 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland. IEEE Computer Society Press, s. 3-12

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

16 Citationer (Scopus)

Algorithm-data driven optimization of adaptive communication networks

He, M., Kalmbach, P., Blenk, A., Kellerer, W. & Schmid, S., 21 nov. 2017, 2017 IEEE 25th International Conference on Network Protocols, ICNP 2017. IEEE, 8117592

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

8 Citationer (Scopus)

Algorithmic Strategies for Adapting 802.11 Location Fingerprinting to Environmental Changes

Hansen, R., Wind, R., Jensen, C. S. & Thomsen, B., 2010, Abstract Volume of the 2010 International Conference on Indoor Positioning and Indoor Navigation, Zurich, Switzerland, September 15-17, 2010. IEEE Press, s. 1-10 10 s.

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

Aliasing Models for Object Migration

Hüttel, H., Kleist, J., Nestmann, U. & Merro, M., 1999, Euro-Par'99 - Parallel Processing: 5th International Euro-Par Conference. Amestoy, P., Berger, P., Daydé, M., Duff, I., Fraysee, V., Giraud, L. & Ruiz, D. (red.). 1685 udg. Springer, s. 1353-1368 (Lecture Notes in Computer Science).

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

5 Citationer (Scopus)

All Roads Lead To Rome: New Search Methods for Optimal

Ottosen, T. J. & Vomlel, J., 2010, Proceedings of the Fifth European Workshop on Probabilistic Graphical Models (PGM-2010). Myllymäki, P., Roos, T. & Jaakkola, T. (red.). Helsinki: HIIT Publications, Bind 2010-2.

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

Almost Optimal Strategies in One Clock Priced Timed Automata

Bouyer, P., Larsen, K. G., Markey, N. & Rasmussen, J. I., 2007, Logical Foundations of Computer Science. Springer, Bind 4514. (Lecture Notes in Computer Science; Nr. 4514).

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

A Local Constant Factor MDS Approximation for Bounded Genus Graphs

Amiri, S., Schmid, S. & Siebertz, S., 2016, Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, s. 227-233 7 s.

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

11 Citationer (Scopus)

A Logical Characterisation of Static Equivalence

Bidragets oversatte titel: En logisk karakterisation af statisk ækvivalensHüttel, H. & Pedersen, M. D., 2007, Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIII). Fiore, M. (red.). Pergamon Press, s. 139-159 (Electronic Notes in Theoretical Computer Science; Nr. 173).

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

4 Citationer (Scopus)

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata

Bauer, S. S., Juhl, L., Larsen, K. G., Srba, J. & Legay, A., 1 jan. 2012, Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, s. 77-84 8 s.

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

7 Citationer (Scopus)

A longitudinal review of Mobile HCI research Methods

Kjeldskov, J. & Paay, J., sep. 2012, Proceedings of Mobile HCI 2012. Association for Computing Machinery, s. 69-78

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

Fil
41 Citationer (Scopus)
372 Downloads (Pure)

A Longitudinal Study of Usability in Health Care - Does Time Heal?

Kjeldskov, J., Skov, M. B. & Stage, J., 2007, Information Technology in Health Care 2007: Proceedings of the 3rd International Conference on Information Technology in Health Care: Socio-technical Approaches. Westbrook, J. I., Coiera, E. W., Callen, J. L. & Aarts, J. (red.). IOS Press, s. 181-192 11 s.

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

Åben adgang
Fil
9 Citationer (Scopus)
624 Downloads (Pure)

A Magic Box for Understanding Intergenerational Play

Vetere, F., Gibbs, M., Davies, H., Francis, P. & Howard, S., 2006, Conference on Human Factors in Computing Systems: CHI '06 extended abstracts on Human factors in computing systems. Association for Computing Machinery, s. 1475-1480

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

23 Citationer (Scopus)

A method for diagnosing in large medical expert systems based on causal probabilistic networks

Suojanen, M., Olesen, K. G. & Andreassen, S., 1997, Artificial Intelligence in Medicine: 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, 23-26 March 1997, Grenoble, France. Proceedings. Keravnou, E., Garbay, C., Baud, R. & Wyatt, J. (red.). Berlin: Springer, s. 285-295 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science; Nr. 1211).

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

6 Citationer (Scopus)

A Method for Model Checking Feature Interactions

Pedersen, T., Le Guilly, T., Ravn, A. P. & Skou, A. J., jul. 2015, Proceedings of the 10th International Conference on Software Engineering and Applications. Lorenz, P. & Maciaszek, L. (red.). SCITEPRESS Digital Library, s. 219-228 10 s.

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

5 Citationer (Scopus)

A Methodology and a Tool for Spatiotemporal Database Design

Tryfona, N., Andersen, S., Mogensen, S. R. & Jensen, C. S., 1999, Proceedings of the Seventh Hellenic Conference on Informatics, Ioannina, Greece, August 1999. s. 53-60

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

A methodology for acquiring qualitative knowledge for probabilistic graphical models

Kjærulff, U. B. & Madsen, A. L., 2004, Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems. s. 143-150

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

Fil
252 Downloads (Pure)

A Methodology for Developing Local Smart Diagnostic Models Using Expert Knowledge

Madsen, A. L., Søndberg-Jeppesen, N., Lohse, N. & Sayed, M., 2015, Proceedings of the 2015 IEEE 13th International Conference on Industrial Informatics. IEEE, s. 1682 - 1687 6 s.

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

3 Citationer (Scopus)

A Metrized Duality Theorem for Markov Processes

Kozen, D., Mardare, R. I. & Panangaden, P., 2014, Electronic Notes in Theoretical Computer Science. 29 October 2014: Elsevier, Bind 308. s. 211-227 17 s.

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

AMIDST: Analysis of MassIve Data STreams

Masegosa, A., Martinez, A. M., Borchani, H., Ramos-López, D., Nielsen, T. D., Langseth, H., Salmerón, A. & Madsen, A. L., okt. 2015, The 27th Benelux Conference on Artificial Intelligence (BNAIC 2015).

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

Fil
386 Downloads (Pure)

AMIE: Association rule mining under incomplete evidence in ontological knowledge bases

Galárraga, L., Teflioudi, C., Hose, K. & Suchanek, F. M., 2013, Proceedings of the 22nd International World Wide Web Conference, WWW'13. Association for Computing Machinery, s. 413-422 10 s.

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

197 Citationer (Scopus)

A Modal Specification Theory for Components with Data

Bauer, S. S., Larsen, K. G., Legay, A., Nyman, U. & Wasowski, A., 2012, Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer Publishing Company, Bind 7253. (Lecture Notes in Computer Science).

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

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

A model-based approach to insulin adjustment

Andreassen, S., Hovorka, R., Benn, J., Olesen, K. G. & Carson, E. R., 1991, Lecture Notes in Medical Informatics: Proceedings of the Third Conference on Artificial Intelligence in Medicine, AIME '91, Maastricht, the Netherlands. Stefanelli, M., Hasman, A., Fieschi, M. & Talmon, J. (red.). Springer, Bind 44. s. 239-249 10 s. (Lecture Notes in Medical Informatics; Nr. 44).

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

A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems

Chadli, M., Kim, J. H., Legay, A., Traonouez, L. M., Naujokat, S., Bernhard, S. & Larsen, K. G., 2016, Critical Systems: Formal Methods and Automated Verification. Springer, s. 133–141 (Lecture Notes in Computer Science, Bind 9933).

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

3 Citationer (Scopus)

A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems

Han, P., Zhai, Z., Nielsen, B. & Nyman, U., 27 mar. 2018, Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation. Gallagher, J. P., van Glabbeek, R. & Serwe, W. (red.). EPTCS, Bind 268. s. 150-168 19 s. (Electronic Proceedings in Theoretical Computer Science).

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

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

A Multiagent Based System for Human-like Architecture

Zeng, Y., Plougman Buss, D. & Cordero Hernandez, J., 2007, Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems. Association for Computing Machinery, s. 409-411 3 s.

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

A multi-threaded approach to encoding with random linear network coding

Nielsen, L., Hansen, R. R. & Lucani, D. E., 1 jan. 2019, European Wireless 2019 Conference, EW 2019. VDE Verlag GMBH, s. 25-31 7 s.

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

A multitouch software architecture

Echtler, F. & Klinker, G., 2008, NordiCHI 2008: Building Bridges - Proceedings of the 5th Nordic Conference on Human-Computer Interaction. s. 463-466 4 s. (ACM International Conference Proceeding Series, Bind 358).

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

40 Citationer (Scopus)

An Advanced Data Warehouse for Integrating Large Sets of GPS Data

Andersen, O., Krogh, B. B., Thomsen, C. & Torp, K., 7 nov. 2014, Proceedings of the 17th International Workshop on Data Warehousing and OLAP . Association for Computing Machinery, s. 13-22 10 s.

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

2 Citationer (Scopus)

An Algebraic Theory of Markov Processes

Bacci, G., Mardare, R. I., Panangaden, P. & Plotkin, G., 9 jul. 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, s. 679-688 10 s. (Annual Symposium on Logic in Computer Science).

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

Åben adgang
Fil
3 Citationer (Scopus)
61 Downloads (Pure)

Analysing Access Control Specifications

Probst, C. W. & Hansen, R. R., 2009, Proceedings of the Fourth International IEEE Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE-2009). IEEE Computer Society Press, Bind 4. s. 22-33

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

8 Citationer (Scopus)

Analysis of collisions in wireless sensor networks

Vighio, M. S. & Ravn, A. P., 2009, 21st Nordic Workshop on Programming Theory (NWPT 2009), Lyngby, Denmark, 14-16 October 2009. Hansen, M. R. & Brekling, A. (red.). Technical University of Denmark (DTU), 8 s.

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

Åben adgang
Fil
686 Downloads (Pure)

Analysis of the Effect of Query Shapes on Performance over LDF Interfaces

Montoya, G., Keles, I. & Hose, K., 2019, Proceedings of the QuWeDa 2019: 3rd Workshop on Querying and Benchmarking the Web of Data co-located with 18th International Semantic Web Conference (ISWC 2019). CEUR Workshop Proceedings, Bind 2496. s. 51-66 16 s. (CEUR Workshop Proceedings).

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

Åben adgang
Fil
20 Downloads (Pure)

Analytical Performance Verification of FCS-MPC Applied to Power Electronic Converters: A Model Checking Approach

Novak, M., Dragicevic, T., Blaabjerg, F. & Nyman, U. M., jul. 2017, Proceedings of 2017 IEEE 18th Workshop on Control and Modeling for Power Electronics (COMPEL). IEEE Press, 6 s. (IEEE Workshop on Control and Modeling for Power Electronics (COMPEL) ).

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

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

Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

Ivanov, D., Larsen, K. G., Schupp, S. & Srba, J., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (red.). Springer, s. 173-189 17 s. (Lecture Notes in Computer Science, Bind 11024).

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

2 Citationer (Scopus)

Analyzing Clickstream Using Subsessions

Andersen, J., Giversen, A., Jensen, A. H., Larsen, R., Pedersen, T. B. & Skyt, J., 2000, DOLAP 2000 : ACM Third International Workshop on Data Warehousing and OLAP : November 10, 2000, McLean, VA. Missaoui,R. : Song, I.-Y. (eds.) (red.). Association for Computing Machinery, s. 25-32

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

19 Citationer (Scopus)

Analyzing control Traffic Overhead in Mobile Ad-hoc Network Protocols versus Mobility and Data Traffic Activity

Jacquet, P., Viennot, L. & Clausen, T. H., 2002, IFIP Med Hoc Net 2002.

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

Analyzing Electric Vehicle Energy Consumption using Very Large Data Sets

Krogh, B. B., Andersen, O. & Torp, K., 2015, Database Systems for Advanced Applications: 20th International Conference, DASFAA 2015, Hanoi, Vietnam, April 20-23, 2015, Proceedings, Part II. Renz, M., Shahabi, C., Zhou, X. & Cheema, M. A. (red.). Springer, s. 471-487 (Lecture Notes in Computer Science; Nr. 9050).

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

2 Citationer (Scopus)

Analyzing industrial architectural models by simulation and model-checking

Marinescu, R., Kaijser, H., Mikučionis, M., Seceleanu, C., Lönn, H. & David, A., 2015, Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers. Artho, C. & Ölevczky, P. C. (red.). Springer, s. 189-205 17 s. (Communications in Computer and Information Science, Bind 476).

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

15 Citationer (Scopus)

Analyzing Social Media Relationships in Context with Discussion Graphs

Kiciman, E., Choudhury, M. D., Counts, S., Gamon, M. & Thiesson, B., 2013, Mining and Learning with Graphs: Proceedings of the Eleventh Workshop (2013). Association for Computing Machinery, 8 s.

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

Analyzing trajectories using a path-based API

Waury, R., Dolog, P., Jensen, C. S. & Torp, K., 19 aug. 2019, Proceedings of the 16th International Symposium on Spatial and Temporal Databases, SSTD 2019. Association for Computing Machinery, s. 198-201 4 s.

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

Analyzing Trust Perceptions in System Implementations

Schlichter, B. R. & Rose, J., 2009, Proceedings of the 4th Mediterranean Conference on Information Systems. Poulymenakou, A., Poloudi, N. & Pramatari, K. (red.). Athens University of Economics and Business, s. 1241-1254

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

Analyzing Web Service Contracts: an aspect oriented approach

Cambronero, M. -E., Okika, J. C. & Ravn, A. P., 2007, Proceedings of the International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies: UBICOMM'2007. IEEE Computer Society Press, s. 149-154

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

3 Citationer (Scopus)

An anytime algorithm for evaluating unconstrained influence diagrams

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

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

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

An Application of Formal Argumentation: Fusing Bayes Nets in MAS

Nielsen, S. H. & Parsons, S., 2006, Proceedings of the First International Conference on Computational Models of Argument. IOS Press, 12 s.

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

4 Citationer (Scopus)