• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
1 Citation (Scopus)

A Two-Way Path Between Formal and Informal Design of Embedded Systems

Chen, M., Ravn, A. P., Wang, S., Yang, M. & Zhan, N., 2017, Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (red.). Springer, s. 65-92 (Lecture Notes in Computer Science, Bind 10134).

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

51 Downloads (Pure)

Augmenting the City: The Design of a Context-Aware Mobile Web Site

Kjeldskov, J. & Paay, J., 2005, Designing for User eXperience, DUX 2005. Association for Computing Machinery, 7 s.

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

Fil
119 Downloads (Pure)

Augmenting the City with Fiction: Fictional Requirements for Mobile Guides

Kjeldskov, J. & Paay, J., 2007, Proceedings of HCI in Mobile Guides, Mobile HCI 2007. Cheverst, K. (red.). University of Lancaster, s. 1-6

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

Åben adgang
Fil
Jigs
52 Citationer (Scopus)

A Unified Model for Stable and Temporal Topic Detection from Social Media Data

Yin, H., Cui, B., Lu, H., Huang, Y. & Yao, J., 2013, Proceedings of the 29th IEEE International Conference on Data Engineering: ICDE. IEEE Computer Society Press, s. 661-672 (Proceedings of the International Conference on Data Engineering).

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

3 Citationer (Scopus)

A Unit-Test Framework for Database Applications

Christensen, C. A., Gundersborg, S., Linde, K. D. & Torp, K., 2006, 10th International Database Engineeringand Applications Symposium (IDEAS 2006). Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, s. 11-20

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

32 Citationer (Scopus)

Automata Learning through Counterexample Guided Abstraction Refinement

Aarts, F., Heidarian, F., Kuppens, H., Olsen, P. & Vaandrager, F., 2012, FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Springer, Bind 7436. s. 10-27 18 s. (Lecture Notes in Computer Science, Bind 7436).

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

Finite automata
Biometrics
Concretes
Network protocols
4 Citationer (Scopus)

Automated Distributed Simulation in Ptolemy II

Lázaro Cuadrado, D., Ravn, A. P. & Koch, P., 2007, Proceedings of IASTED International Conference on Parallel and Distributed Computing and Networks: PDCN 2007. Burkhart, H. (red.). ACTA Press, s. 139-144

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

Topology
Synchronization
Communication
Processing
Experiments

Automated Modeling of Real-Time Implementation

Jensen, P. K., 1998, Doctoral Symposium : Proceedings of the 13th IEEE Automated Software Engineering, October 1998, Hawaii, USA..

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

Automated Test Generation Timed Automata

Nielsen, B. & Skou, A., 2001, Tools and Algorithms for the Construction and Analysis of Systems : 7th International Conference, TACAS 2001, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Margaria, T. : Yi, W. (eds.) (red.). 2031 udg. IEEE Computer Society Press, s. 343-357

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

Automated Test Generation Timed Automata: Tool and Case Study

Nielsen, B. & Skou, A., 2000, 21st IEEE Real-Time Systems Symposium 2000, Work in Progress-Session, Walt Disney World, Orlando, Florida, USA, November 2000.

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

34 Citationer (Scopus)

Automatic Abstraction Refinement for Timed Automata

Larsen, K. G., kupferschmid, S. & Dierks, H., 2007, Formal Modeling and Analysis of Timed Systems. IEEE Computer Society Press, s. 114-129 15 s. (Lecture Notes in Computer Science; Nr. 4763).

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

7 Citationer (Scopus)

Automatic Generation of Natural Language Explanations

Da Costa, F. S., Ouyang, S., Dolog, P. & Lawlor, A., 8 mar. 2018, Proceedings of the 23rd International Conference on Intelligent User Interfaces. Association for Computing Machinery, 57

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

Recommender systems
Long short-term memory

Automatic Verification of Real-Time Systems Using Epsilon

Godskesen, J. C., Larsen, K. G. & Skou, A., 1994, Fourteenth International IFIP Symposium on Protocol Specification, Testing and Verification : PSTV '94. Voung, S.-T. : Chanson, S.-T. (Eds.) (red.). Chapman & Hall, s. 232-330

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

Autonomous Agents for Initiating Communication in Internet Community Chat Rooms

Skov, M., 2001, Proceedings of the 3rd International Bi-Conference Workshop on Agent-Oriented Information Systems. ICue Publishing, s. 13-21

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

7 Citationer (Scopus)

Average-energy games

Bouyer, P., Markey, N., Randour, M., Larsen, K. G. & Laursen, S., 2015, Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification . Open Publishing Association, s. 1-15 (Electronic Proceedings in Theoretical Computer Science).

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

Åben adgang

A wait-free output data structure for GPU-based streaming query processing

Silvestri, C., Lettich, F., Orlando, S. & Jensen, C. S., jun. 2015, Proceedings of the 23rd Italian Symposium on Advanced Database Systems. Lembo, D., Torlone, R. & Marrella, A. (red.). Curran Associates, Inc, Bind 365 (1 VOL). s. 232-239 8 s.

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

2 Citationer (Scopus)

A Walk in the Clouds: Routing through VNFs on Bidirected Networks

Förster, K-T., Parham, M. & Schmid, S., 2018, Algorithmic Aspects of Cloud Computing: Third International Workshop, ALGOCLOUD 2017, Vienna, Austria, September 5, 2017, Revised Selected Papers. Springer, s. 11-26 (Lecture Notes in Computer Science, Bind 10739).

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

A Web Support System for Submission and Handling of Programming Assignments

Nørmark, K., 25 aug. 2011, Proceedings of the international conference on E-learning and the knowledge society. Bucharest, Romania: ASE Publishing House, s. 159-164 6 s.

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

Axiomatizing the Least Fixed Point Operation and Binary Supremum

Esik, Z., 2000, Computer Science Logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL Fischbachau, Germany, August 21 - 26, 2000 : Proceedings: Lecture Notes in Computer Science. Clote, P. G. : Schwichtenberg, H. (eds.) (red.). 1862 udg. IEEE Computer Society Press, s. 302-316

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

1 Citation (Scopus)

Axiomatizing Tropical Semirings

Aceto, L., Esik, Z. & Ingolfsdottir, A., 2001, Foundations of Software Science and Computation Structures : 4th International Conference, FOSSACS 2001 held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2 - 6, 2001 : Proceedings: Lecture Notes in Computer Science. Honsell, F. : Miculan, M.(eds.) (red.). 2030 udg. IEEE Computer Society Press, s. 42-56

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

2 Citationer (Scopus)
237 Downloads (Pure)

Balancing energy flexibilities through aggregation

Valsomatzis, E., Hose, K. & Pedersen, T. B., 21 nov. 2014, Data Analytics for Renewable Energy Integration: Second ECML PKDD Workshop, DARE 2014 Nancy, France, September 19, 2014 Revised Selected Papers. Wonn, W. L., Aung, Z. & Madnick, S. (red.). Springer Publishing Company, Bind 8817. s. 17-37 21 s. (Lecture Notes in Computer Science).

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

Åben adgang
Fil
Agglomeration
Scheduling
Electricity
Experiments
7 Citationer (Scopus)

Battery-Aware Scheduling of Mixed Criticality Systems

Wognsen, E. R., Hansen, R. R. & Larsen, K. G., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (red.). Springer Publishing Company, Bind 8803. s. 208-222 (Lecture Notes in Computer Science).

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

28 Citationer (Scopus)

Bayesian methods for interpretation and control in multi-agent vision systems

Jensen, F. V., Christensen, H. I. & Nielsen, J., 1992, Proceedings of SPIE Conference Applications of Artificial Intelligence X : Machine Vision and Robotics, 22-24 April 1992, Orlando, FL, USA. Bowyer, K. (red.). SPIE - International Society for Optical Engineering, s. 536-548 (SPIE proceedings; Nr. 1708).

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

1 Citation (Scopus)

Bayesian models of data streams with Hierarchical Power Priors

Masegosa, A., Nielsen, T. D., Langseth, H., Ramos-López, D., Salmerón, A. & Madsen, A. L., 2017, Proceedings of the 34th International Conference on Machine Learning. Bind 70. s. 2334-2343

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

Åben adgang
Computational efficiency
2 Citationer (Scopus)

Bayesian Network Inference Using Marginal Trees

Butz, C. J., de S. Oliveira, J. & Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Bind 8754. s. 81-96 (Lecture Notes in Computer Science).

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

4 Citationer (Scopus)

Bayesian Network Inference with Simple Propagation

Butz, C. J., Oliveira, J., E. dos Santos, A. & Madsen, A. L., 2016, Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference. AAAI Press Association for the Advancement of Artificial Intelligence, s. 650-655 6 s.

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

Åben adgang

Bayesian Networks and Influence Diagrams

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. 429-440

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

Bayesian Networks in Educational Testing

Vomlel, J., 2002, Gámez, J.A. (ed.) : Salmerón, A. (ed.): Studies in Fuzziness and Soft Computing. Springer

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

1 Citation (Scopus)

Bayesian Networks with Function Nodes

Madsen, A. L., 2014, Proceedings of the 7th European Workshop on Probabilistic Graphical Models. Springer Publishing Company, Bind 8754. s. 286-301 (Lecture Notes in Computer Science).

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

22 Citationer (Scopus)

Behavioural modelling and verification of real-time software product lines

Cordy, M., Schobbens, P-Y., Heymans, P. & Legay, A., 1 jan. 2012, SPLC '12 Proceedings of the 16th International Software Product Line Conference. Association for Computing Machinery, Bind 1. s. 66-75 10 s. (ACM International Conference Proceeding Series (ICPS)).

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

Model checking
Formal methods
Software engineering
15 Citationer (Scopus)
141 Downloads (Pure)

Being Here: Designing for Distributed Hands-on Collaboration in Blended Interaction Spaces

Broughton, M., Paay, J., Kjeldskov, J., O'Hara, K., Phillips, M. & Rittenbruch, M., 2009, Proceedings of OzCHI 2009. Association for Computing Machinery, s. 73-80

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

Fil
23 Citationer (Scopus)

Benchmarking federated SPARQL query engines: Are existing testbeds enough?

Montoya, G., Vidal, M. E., Corcho, O., Ruckhaus, E. & Buil-Aranda, C., 12 nov. 2012, The Semantic Web, ISWC 2012 - 11th International Semantic Web Conference, Proceedings. PART 2 udg. Bind 7650 LNCS. s. 313-324 12 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Nr. PART 2, Bind 7650 LNCS).

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

Benchmarking
Testbeds
Engines

Beslutningsstøttesystem til styring af antibiotikabehandling: et passende emne for MTV?

Andreassen, S., Kristensen, B., Schønheyder, H. C., Kjær, A. G., Olesen, K. G. & Leibovici, L., 1997, Sundhedsstyrelsens Årsmøde 1997 om Kvalitetsudvikling og Medicinsk Teknologivurdering (MTV), April 1997, København, Danmark. s. 41

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

Better Safe than Sorry: Optimal Troubleshooting through A* Search with Efficiency-based Pruning

Ottosen, T. J. & Jensen, F. V., 2008, Tenth Scandinavian Conference on Artificial Intelligence - SCAI 2008. Holst, A., Kreuger, P. & Funk, P. (red.). IOS Press, s. 92-97 6 s. (Frontiers in Artificial Intelligence and Applications; Nr. 173).

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

Beyond Liveness: Efficient Parameter Synthesis for Timed Bounded Liveness

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'05). IEEE Computer Society Press

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

6 Citationer (Scopus)

Beyond Security: Implications for the Future of Federated Digital Identity Management Systems

Satchell, S., Shanks, G., Howard, S. & Murphy, J. M., 2006, Proceedings of the 20th conference of the computer-human interaction special interest group (CHISIG) of Australia on Computer-human interaction: design: activities, artefacts and environments. Association for Computing Machinery, s. 313-316 (ACM International Conference Proceeding Series (ICPS); Nr. 206).

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

1 Citation (Scopus)

Binary Session Types for Psi-Calculi

Bidragets oversatte titel: Binære sessionstyper for psi-kalkylerHuttel, H., 31 okt. 2016, Programming Languages and Systems: 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings. Igarashi, A. (red.). s. 96-115 20 s. (Lecture Notes in Computer Science, Bind 10017).

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

2 Citationer (Scopus)

BioNex: A System For Biomedical News Event Exploration

Ernst, P., Mishra, A., Anand, A. & Setty, V. J., 2017, SIGIR '17 Proceedings of the 40th International ACM SIGIR Conference on Research and Development in Information Retrieval . Association for Computing Machinery, s. 1277-1280

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

6 Citationer (Scopus)
135 Downloads (Pure)

BISi: a Blended Interaction Space

Paay, J., Kjeldskov, J. & O'Hara, K., 2011, Proceedings of the 2011 Annual Conference Extended Abstracts on Human Factors in Computing Systems. New York: Association for Computing Machinery, s. 185-200

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

Fil
4 Citationer (Scopus)

Bisimilarity is not finitely based over BPA with interrupt

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Nain, S., 2005, Proceedings of Algebra and Coalgebra in Computer Science, 1st Conference, CALCO 2005. Luiz Fiadeiro, J., Harman, N., Roggenbach, M. & Rutten, J. (red.). IEEE Computer Society Press, s. 54-68 (Lecture Notes in Computer Science; Nr. 3629).

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

Basic Algebra
Process Algebra
Bisimulation
Axiomatization
Equivalence
48 Citationer (Scopus)

Bisimulation equivalence is decidable for context-free processes

Christensen, S., Hüttel, H. & Stifling, C., 1 jan. 1992, CONCUR 1992 - 3rd International Conference on Concurrency Theory, Proceedings. Cleaveland, W. R. (red.). Physica-Verlag, s. 138-147 10 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 630 LNCS).

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

3 Citationer (Scopus)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2014, Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. van Breugel, F., Kashefi, E., Palamidessi, C. & Rutten, J. (red.). Springer Publishing Company, Bind 8464. s. 76-95 (Lecture Notes in Computer Science).

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

Measurable space
Bisimulation
Markov Process
Arbitrary
Adjunction

Bisimulations for Asynchronous Mobile Processes

Hansen, M., Hüttel, H. & Kleist, J., 1995, Proceedings of Tbilisi Symposium on Language, Logic, and Computation.

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

Bisimulation Through Probabilistic Testing (Preliminary Report)

Larsen, K. G. & Skou, A., 1989, Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages. <Forlag uden navn>, s. 344-352

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

Blended Spaces for Distributed Teams

McEwan, G., O'Hara, K., Bezerianos, A., Broughton, M., Kjeldskov, J., Krumm-Heller, A., Muller-Tomfelde, C., Paay, J. & Rittenbruch, M., 2008, Proceedings of workshop on Distributed Teams, CSCW 2008. 4 s.

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

Blending Social Spaces: Information Technologies that Facilitate Social Cooking and Eating at Home

Kjeldskov, J., Skov, M. B., Paay, J. & Stage, J., 2011, Proceedings of LMC Congress 2011, Food in Front.

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

6 Citationer (Scopus)

Bluetooth Indoor Positioning System using Fingerprinting

Frost, C., Jensen, C. S., Luckow, K. S., Thomsen, B. & Hansen, R., 2012, Mobile Lightweight Wireless Systems: Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. Springer, Bind 81. s. 136-150 15 s. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Bind 81).

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

3 Citationer (Scopus)

Boolean-valued semantics for the stochastic Lambda-calculus

Bacci, G., Furber, R., Kozen, D., Mardare, R., Panangaden, P. & Scott, D., 9 jul. 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. Association for Computing Machinery, s. 669-678 10 s.

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

Stochastic Calculus
Lambda Calculus
Measure Algebra
Term
Higher Order

Breadth, Depth and Visibility: A Design Guide for Information Architectures Aimed at Elderly Users

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

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

11 Downloads (Pure)

Brief announcement: Distributed SplayNets

Peres, B. S., Goussevskaia, O., Schmid, S. & Avin, C., 1 okt. 2017, 31st International Symposium on Distributed Computing, DISC 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3 s. (Leibniz International Proceedings in Informatics, Bind 91).

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

Åben adgang
Fil
Communication