• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer

Filter
Konferenceartikel i proceeding
2005

A survey of open source tools for business intelligence

Thomsen, C. & Pedersen, T. B., 2005, Data Warehousing and Knowledge Discovery, Proceedings. Springer, s. 74-84

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

20 Citationer (Scopus)

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
52 Downloads (Pure)

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

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

4 Citationer (Scopus)

Broadening Stakeholder involvement in UCD: Designers’ perspectives on child-centred design

Pardo, S., Vetere, F. & Howard, S., 2005, Proceedings of OZCHI 2005. Association for Computing Machinery

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

Color-blind Specifications for Transformations of Reactive Synchronous Programs

Larsen, K. G., Larsen, U. & Wasowski, A., 2005, Fundamental Approaches to Software Engineering: 8th International Conference, FASE 2005, Held as Part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. Cerioli, M. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3442).

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

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

Comparison of Think-Aloud and Constructive Interaction in Usability Testing with Children

Als, B. S., Jensen, J. J. & Skov, M. B., 2005, Proceedings of the 4th International Conference for Interaction Design and Children. Boulder, Colorado, USA: University of Colorado, 8 s.

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

38 Citationer (Scopus)

CyNC - a method for Real Time Analysis of Systems with Cyclic Data Flows

Schiøler, H., Nielsen, J. F. D., Larsen, K. G. & Jessen, J. J., 2005, Proceedings of 13 th. RTS Conference on Embedded Systems.

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

CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Proccedings of 17th Euromicro Conference on Real-Time Systems (ECRTS 05).

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

Database Publication Practices

Bernstein, P. A., DeWitt, D., Heuer, A., Ives, Z., Jensen, C. S., Meyer, H., Özsu, M. T., Snodgrass, R. T., Whang, K-Y. & Widom, J., 2005, Proceedings of the Thirtyfirst International Conference on Very Large Data Bases. s. 1241-1246

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

6 Citationer (Scopus)

Decision support for diagnosis of Lyme disease

Hejlesen, O. K., Olesen, K. G., Dessau, R., Beltoft, I. & Trangeled, M., 2005, Connecting Medical Informatics and Bio-Informatics: Proceedings of MIE2005 : The XIXth International Congress of the European Federation for Medical Informatics, August 28.31 2005, Geneva, Switzerland. Engelbrecht, R., Geissbuhler, A., Lovis, C. & Mihalas, G. (red.). IOS Press, s. 205-210 (Studies in Health Technology and Informatics, Bind 116).

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

4 Citationer (Scopus)

Define Project

Munk-Madsen, A., 2005, Proceedings of the 28th Information Systems Research Seminar in Scandinavia. Hustad, E., Munkvold, B. E. & Rolland, K. (red.). Agder University College, Department of Information Systems, s. 1-15

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

Dimensional Modeling By Using a New Response to Slowly Changing Dimensions

Frank, L., Frank, C., Jensen, C. S. & Pedersen, T. B., 2005, Proceedings of the Second International Conference on Information Technology. s. 7-10

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

56 Citationer (Scopus)

Does Time Heal? A Longitudinal Study of Usability

Kjeldskov, J., Skov, M. B. & Stage, J., 2005, Proceedings of the Australian Computer-Human Interaction Conference 2005 (OzCHI’05). Association for Computing Machinery

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

Fil
193 Downloads (Pure)

Efficient Indexing of the Historical, Present, and Future Positions of Moving Objects

Lin, D., Jensen, C. S., Ooi, B. C. & Saltenis, S., 2005, Proceedings of the Sixth International Conference on Mobile Data Management. s. 59-66

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

Efficient On-the-fly Algorithms for the Analysis of Timed Games

Cassez, F., David, A., Fleury, E., Larsen, K. G. & Lime, D., 2005, Proceedings of CONCUR 2005 – Concurrency Theory: 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Abadi, M. & de Alfaro, L. (red.). IEEE Computer Society Press, s. 66-80 15 s. (Lecture Notes in Computer Science; Nr. 3653).

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

157 Citationer (Scopus)

Feedback from Usability Evaluation to User Interface Design: Are Usability Reports Any Good?

Nielsen, C. M., Overgaard, M., Pedersen, M. B. & Stage, J., 2005, Proceedings of Human-Computer Interaction - INTERACT 2005: IFIP TC13 International Conference, Rome, Italy, September 12-16, 2005. Costabile, M. F. & Paternò, F. (red.). IEEE Computer Society Press, s. 391-404 (Lecture Notes in Computer Science; Nr. 3585).

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

2 Citationer (Scopus)

Finite equational bases in process algebra: Results and open questions

Aceto, L., Fokkink, W., Ingolfsdottir, A. & Luttik, B., 2005, Processes, Terms and Cycles: Steps on the Road to Infinity. s. 338-367

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

32 Citationer (Scopus)

Floating car data for traffic monitoring

Torp, K. & Lahrmann, H. S., 2005, ITS at the Crossroads of European Transport: Proceedings. ERTICO - ITS Europe, 11 s.

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

Åben adgang
Fil
2967 Downloads (Pure)

Four Integration Patterns: IS development as stepwise adaptation of technology and organisation

Bygstad, B., Munkvold, B-E. & Nielsen, P. A., 2005, ECIS 2005: Proceedings of the 13th European Conference on Information Systems, Information Systems in a Rapidly Changing Economy, Regensburg, Germany, May 26-28.

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

6 Citationer (Scopus)

From Use Cases to Activity Cases

Bækgaard, L., 2005, Proceedings of ALOIS'05 - Action in Language, Organisation and Information Systems. 11 s.

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

Genetic linkage analysis algorithms and their implementation

Ingolfsdottir, A. & Gudbjartsson, D., 2005, Transactions on Computational Systems Biology III: Lecture Notes in Computer Science / Lecture Notes in Bioinformatics. Priami, C., Merelli, E., Gonzalez, P. P. & Omicini, A. (red.). IEEE Computer Society Press, s. 123-144 (Lecture Notes in Computer Science; Nr. 3737).

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

4 Citationer (Scopus)

Hug Over a Distance

Müller, F., Vetere, F., Gibbs, M., Kjeldskov, J., Pedell, S. & Howard, S., 2005, Extended abstracts of CHI 05. Association for Computing Machinery

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

Fil
109 Citationer (Scopus)
270 Downloads (Pure)

Indexical Interaction Design for Context-Aware Mobile Computer Systems

Kjeldskov, J. & Paay, J., 2005, Proceedings of Workshop on Context in Mobile HCI. University of Salzburg

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

Åben adgang
Fil
123 Downloads (Pure)

In-route skyline querying for location-based services

Xuegang, H. & Jensen, K. S., 2005, WEB AND WIRELESS GEOGRAPHICAL INFORMATION SYSTEMS. Kwon, Y. J., Bouju, A. & Claramunt, C. (red.). Springer, Bind 3428. s. 120-135 15 s. (Lecture Notes in Computer Science).

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

44 Citationer (Scopus)

IR and OLAP in XML document warehouses

Perez, J. M., Pedersen, T. B., Berlanga, R. & Aramburu, M. J., 2005, Proceedings of the Twenty-Seventh European Conference on Information Retrieval. Springer, s. 536-539

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

5 Citationer (Scopus)

Just-for-Us: A Context-Aware Mobile Information System Facilitating Sociality

Kjeldskov, J. & Paay, J., 2005, Proceedings of Mobile HCI 2005. Springer

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

Fil
227 Downloads (Pure)

Long-Term, Large-Scale Usability Evaluation Methods: A Case Study

Thurnher, B., Achatschitz, P. & Kjeldskov, J., 2005, In-Use, In-Situ: Extending Field Research Methods. BCS-HCI, s. 46-56 10 s.

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

Mapping Social Networks in SPI

Nielsen, P. A. & Tjørnehøj, G., 2005, Proceedings IFIP 8.6 Conference: Business Agility and IT Diffusion. IFIP TC 8.6 International Working Conference. Baskerville, R., Mathiassen, L. & Pries-Heje, J. (red.). Springer

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

Mediating Intimacy: Designing Technologies to Support Strong-Tie Relationships

Vetere, F., Gibbs, M., Kjeldskov, J., Howard, S., Pedell, S., Mecoles, K. & Mueller, F., 2005, Conference on Human Factors in Computing Systems. Association for Computing Machinery

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

Fil
1055 Downloads (Pure)

Merging {DBMs} Efficiently

David, A., 2005, 17th Nordic Workshop on Programming Theory, NWPT'05. DIKU, University of Copenhagen, s. 54-56 3 s.

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

Mobile systems development: Challenges, implications and issues

Hosbond, J. H., 2005, Mobile Information Systems II . Kogstie, J., Kautz, K. & Allen, D. (red.). Springer, Bind 191. s. 279-286 17 s. (International Federation for Information Processing).

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

Mobile Systems Development: A Literature Review

Hosbond, J. H. & Nielsen, P. A., 2005, Proceedings IFIP WG 8.2 Conference: Designing Ubiquitos Information Environments. Sørensen, C. & Yoo, Y. (red.). Springer, Bind 185. s. 215-232

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

9 Citationer (Scopus)

Navigating Software Process Improvement Projects

Aaen, I., Börjesson, A. & Mathiassen, L., 2005, Business Agility and Information Technology Diffusion: IFIP TC8 WG 8.6 International Working Conference May 8–11, 2005, Atlanta, Georgia, U.S.A.. Baskerville, R., Matthiassen, L., Pries-Heje, J. & DeGross, J. (red.). Springer, s. 53-71 19 s. (IFIP International Federation for Information Processing; Nr. 180).

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

3 Citationer (Scopus)

Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies

Schiøler, H., Jessen, J. J., Nielsen, J. F. D. & Larsen, K. G., 2005, Computers and Their Applications (CATA-2005).

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

9 Citationer (Scopus)

On Counting the Number of Consistent Genotype Assignments for Pedigrees

Srba, J., 2005, Proceedings of FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Ramanujam, R. & Sen, S. (red.). IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 3821).

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

Online Testing of Real-time Systems Using Uppaal

Larsen, K. G., Mikucionis, M. & Nielsen, B., 2005, Formal Approaches to Testing of Software (FATES 2004) Proceedings. Grabowski, J. & Nielsen, B. (red.). Springer, s. 79-94 (Lecture Notes in Computer Science; Nr. 3395).

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

78 Citationer (Scopus)

Optimal Conditional Reachability for Multi-Priced Timed Automata

Larsen, K. G. & Rasmussen, J. I., 2005, Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Sassone, V. (red.). IEEE Computer Society Press, s. 234-249 (Lecture Notes in Computer Science; Nr. 3441).

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

31 Citationer (Scopus)

Priced Timed Automata: Decidability Results, Algorithms and Applications

Behrmann, G., Larsen, K. G. & Rasmussen, J. I., 2005, Revised Lectures of the Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004. de Boer, F., Bonsangue, M., Graf, S. & de Roever, W-P. (red.). Springer, s. 162-186 (Lecture Notes in Computer Science; Nr. 3657).

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

44 Citationer (Scopus)

Probabilistic Data Modeling and Querying for Location-Based Data Warehouses

Timko, I., Dyreson, C. E. & Pedersen, T. B., 2005, Proceedings of the Seventeenth International Conference on Scientific and Statistical Database Management. IEEE Press, s. 273-282

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

7 Citationer (Scopus)

Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)

Srba, J. (red.) & Smolka, S. A. (red.), 2005, 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05). NS-05-4 udg. BRICS, s. 1-70 70 s.

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

Production Scheduling by Reachability Analysis: A Case Study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IPDPS 2005. IEEE Computer Society Press

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

22 Citationer (Scopus)

Recursion Versus Replication in Simple Cryptographic Protocols

Hüttel, H. & Srba, J., 2005, SOFSEM 2005 : Theory and Practice of Computer Science: Proceedings of the 31st Conference on Current Trends in Theory and Practice of Computer Science Liptovský Ján, Slovakia, January 22-28, 2005. Vojtáš, P., Bieliková, M., Charron-Bost, B. & Sýkora, O. (red.). IEEE Computer Society Press, s. 178-187 10 s. (Lecture Notes in Computer Science; Nr. 3381).

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

5 Citationer (Scopus)

Recursion vs. Replication in Simple Cryptographic Protocols

Huttel, H. & Srba, J., 2005, Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM'05). s. 175-184 10 s.

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

Fil
282 Downloads (Pure)

Romeo: a tool for analyzing time petri nets

Lime, D., Gardey, G., Magnin, M. & Roux, O. H., 2005, Computer Aided Verification: 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings. Springer, s. 418-423 (Lecture notes in computer sciense; Nr. 3576).

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

Scheduling lacquer production by reachability analysis: A case study

Behrmann, G., Brinksma, E., Hendriks, M. & Mader, A., 2005, IFAC World Congress. Elsevier

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

5 Citationer (Scopus)

Spatio-Temporal Rule Mining: Issues and Techniques

Gidofalvi, G. & Pedersen, T. B., 2005, Proceedings of the Seventh International Conference on Data Warehousing and Knowledge Discovery. Springer, Bind 3589. s. 275-284

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

13 Citationer (Scopus)

Supporting Problem Identification in Usability Evaluations

Skov, M. B. & Stage, J., 2005, Proceedings of the Australian Computer-Human Interaction Conference 2005 (OzCHI’05). 10 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

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)