• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2002
19 Citationer (Scopus)

Research Challenges in Location-Enabled M-Services

Jensen, C. S., 2002, MDM 2002. IEEE Computer Society Press, s. 3-7

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

58 Citationer (Scopus)

Revisiting R-tree Construction Principles

Brakatsoulas, S., Pfoser, D. & Theodoridis, Y., 2002, Manolopoulos, Y. (ed.) : Návrat, P. (eds.): Lecture notes in computer science. 2435 udg. IEEE Computer Society Press, s. 149-

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

Sleep Mode Operation of a Routing Protocol In Mobile Ad Hoc Networks

Qayyum, A., Toor, Y., Jacquet, P., Muhlethaler, P. & Clausen, T. H., 2002, Networks: the proceedings of the joint International Conference on Wireless LANs and Home Networks (ICWLHN 2002) and Networking (ICN 2002). Bing, B. & Lorenz, P. (red.). World Scientific

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

Software Packages: What you always wanted to know when buying software but were afraid to ask

Damsgaard, J. & Karlsbjerg, J., 2002, Proceedings of IFIP Working Group 8.4 : Second Conference on E-business : multidisciplinary research and practice, Copenhagen, Denmark.

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

Software Process Improvement Defined

Aaen, I., 2002, ICEIS - Fifth International Conference on Enterprise Information Systems, Angers, France. Escola Superior de Technologia do Instituto Politecnico de Setubal

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

Solving Planning Problems Using Real-Time Model Checking: Translating PDDL3 into Timed Automata

Dierks, H., Behrmann, G. & Larsen, K. G., 2002, AIPS 2002 Workshop on Planning via Model Checking.

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

Specification-Based Data Reduction in Dimensional Data Ware-houses

Skyt, J., Jensen, C. S. & Pedersen, T. B., 2002, Proceedings of the 18th International Conference on Data Engineering(ICDE 2002), San José, USA, Feb. 26 - March 1 2002. IEEE Computer Society Press, s. 278-

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

Testing by Contract: Combining Unit Testing and Design by Contract

Madsen, P., 2002, Proceedings of the Nordic workshop on Software Development Tools and Techniques (NWPER 2002), Copenhagen, August 18-20. 2002.

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

Towards Virtual Worlds and Augmented Realities: A Research Agenda

Jensen, C. S., Nytun, J. P. & Snaprud, M., 2002, Pätzhold, M. (ed.). s. 19-22

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

Unconstrained influence diagrams

Jensen, F. V. & Vomlelova, M., 2002, Uncertainty in artificial intelligence : proceedings of the Eighteenth Conference (2002), August 1-4, 2002, University of Alberta, Edmonton. Darwiche, A. & Friedman, N. (red.). Morgan Kaufmann, s. 234-241

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

Unsupervised Learning of Bayesian Networks Via Estimation of Distribution Algorithms

Pena, J., Lozano, A. J. & Larrañaga, P., 2002, Gámez, José A. (ed.) : Salmerón, Antonio (ed.). s. 144-151

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

42 Citationer (Scopus)

UPPAAL Implementation Secrets

Behrmann, G., Bengtsson, J., David, A., Larsen, K. G., Pettersson, P. & Yi, W., 2002, Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, September 9--12 2002, University of Oldenburg, Germany.

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

Widening the Configuration Management Perspective

Bendix, L. G., 2002, Metainformatics Symposium 2002, 7-10 august, Esbjerg, Denmark: Lecture Notes in Computer Science. <Forlag uden navn>

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

WISECON: An Intelligent Assistant for Buying Computers on the Internet

Kroupa, T., Berka, P. & Kocka, T., 2002, Hacid, Mohand-Said (ed.): Lecture notes in artificial intelligence. 2366 udg. IEEE Computer Society Press, s. 167-175

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

42 Citationer (Scopus)

XML-Extended OLAP Querying

Pedersen, D., Riis, K. & Pedersen, T. B., 2002, Proceedings of the Fourteenth International Conference on Scientific and Statistical Database Management. Kennedy, J. (ed.) (red.). IEEE Computer Society Press, s. 195-206

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

2003

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

7 Citationer (Scopus)

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

11 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

Adding symmetry reduction to UPPAAL

Martijn, H., Behrmann, G., Larsen, K. G. & Frits, V., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03).

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

Anticipated Activities in Process Control, Literary Fiction, and Business Processes

Andersen, P. B., 2003, Proceedings of the 6th Int. Workshop on Organizational Semiotics. Dept. of Computer Science, University of Reading:. s. 1-28

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

Applying Object Oriented Bayesian Networks to Large Medical Decision Support Systems

Bangsø, O. & Olesen, K. G., 2003, Proceedings of SCAI' 03. <Forlag uden navn>

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

9 Citationer (Scopus)

Architectures and implementations of spatio-temporal database management systems

Breunig, M., Turker, C., Böhlen, M., Dieker, S., Guting, R. H., Jensen, C. S., Relly, L., Rigaux, P., Schek, H. J. & Scholl, M., 2003, Spatio-Temporal Databases: the Chrochronos Approach. Bind 2520. s. 263-318

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

1 Citation (Scopus)

A Representation Theorem and Applications

Jaeger, M., 2003, Proceedings of the Seventh European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU): Lecture Notes in Artificial Intelligence. 2711 udg. IEEE Computer Society Press, s. 50-61

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

1201 Downloads (Pure)

A Review of MobileHCI Research Methods

Kjeldskov, J. & Graham, C., 2003, Proceedings of the 5th International Mobile HCI 2003 conference, September 8-11 2003, Udine, Italy: Lecture Notes in Computer Science. Springer

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

Fil

AsmL Specification of a Ptolemy II Scheduler

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, Abstract State Machines 2003 (ASM 2003): LNCS. Börger, E. : Gargantini, A. : Riccobene, E. (eds.) (red.). 2589 udg. Springer, s. 417

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

1 Citation (Scopus)

A Software Configuration Management Course

Asklund, U. & Bendix, L. G., 2003, Proceedings of the 11th International Workshop on Software Configuration Management, May 9-10 2003, Portland, Oregon: Lecture Notes in Computer Science. 2649 udg. IEEE Computer Society Press

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

9 Citationer (Scopus)

A Tool Architecture for the Next Generation of Uppaal

Behrmann, G., David, A., Larsen, K. G. & Wang, Y., 2003, UNU/IIST 10th Anniversary Colloquium. Formal Methods at the Cross Roads: From Panacea to Foundational Support: LNCS. <Forlag uden navn>

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

Building Strategic Supplier Collaboration Through Gaming

Kaltoft, R. M., Nielsen, J. S., Jensen, P. K. & Møller, C., 2003, Experimental Interactive Learning in Industrial Management, Proceedings of the 7th International Workshop on Experimental Interactive Learning in Industrial Management. Nicholson, J. O. R. R. S. A. (red.).

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

Coaching Coaches

Hedin, G., Bendix, L. G. & Magnusson, B., 2003, Proceedings of the 4th International Conference on eXtreme Programming and Agile Process in Software Engineering, May 25-29 2003, Genova, Italy.

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

Comparing Usability Evaluations of Mobile Systems

Als, B. S., Høegh, T. H., Kjeldskov, J., Skov, M. B. & Stage, J., 2003, Proceedings of the 3rd Danish Human-Computer Interaction Research Symposium. Denmark.

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

Component Based Development - Where is the Place for Formalism?

Makowski, P. & Ravn, A. P., 2003, Procedings of the Workshop on Formal Aspects of Component Software FACS´03, UNU Int. Institute for Software Technology, Macau, September 2003: UNU/IIST Tech. Rep. ,. Liu, E. . D. V. H. Z. (red.). 284 udg.

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

64 Citationer (Scopus)

Computational Data Modeling for Network-Constrained Moving Objects

Jensen, C. S., Speicys, L. & Kligys, A., 2003, Proceedings of the Eleventh International Symposium on Advances in Geographic Information Systems, New Orleans, LA, November 7–8.

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

30 Citationer (Scopus)

Conceptual models for spatio-temporal applications

Tryfona, N., Price, N. J. & Jensen, C. S., 2003, Spatio-Temporal Databases: The Chorochronos Approach. IEEE Computer Society Press, s. 79-116 (Lecture Notes in Computer Science; Nr. 2520).

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

Configuration Management for eXtreme Programming

Asklund, U., Bendix, L. G. & Ekman, T., 2003, SERPS'03, 23.-24. oktober 2003, Lund University.

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

Correctness Proof for Single Point Algorithms in Linkage Analysis

Gudbjartsson, D., Hansen, J. A., Ingolfsdottir, A., Johnsen, J. & Knudsen, J., 2003, Ninth International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Gran Canaria, s. 156-159

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

Cracking the Code: The Dynamics of Professional Knowledge

Mathiassen, L., Robertson, M. & Swan, J., 2003, OKLC 2003, April 13.14 2003, University of Navarra, Barcelona, Spain. IESE Business School

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

190 Downloads (Pure)

Creating Realistic Laboratory Settings: Comparative Studies of Three Think-Aloud Usability Evaluations of a Mobile System

Kjeldskov, J. & Skov, M. B., 2003, Proceedings of the 9th IFIP TC13 International Conference on Human-Computer Interaction (Interact2003). IOS Press, s. 663-670

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

Fil

Data Management for Moving Objects

Jensen, C. S., 2003, Procedings of the 2003 International Telematics and LBS Workshop. s. 163-180

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

18 Citationer (Scopus)

Data Modeling for Mobile Services in the Real World

Jensen, C. S., Pedersen, T. B., Speicys, L. & Timko, I., 2003, Proceedings of the Eighth International Symposium on Spatial and Temporal Databases, Santorini, Greece, July 24–27: Lecture Notes in Computer Science. 2750 udg. s. 1-9

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

3 Citationer (Scopus)
176 Downloads (Pure)

Designing the Handheld Maritime Communicator

Kjeldskov, J. & Stage, J., 2003, Proceedings of the 1st Conference on Designing User Experiences, DUX 2003. ACM. Association for Computing Machinery

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

Fil
63 Downloads (Pure)

Designing the User Interface of a Handheld Device for Communication in a High-Risk Environment

Kjeldskov, J. & Stage, J., 2003, Carbonell, N. : Stephanidis, C. (eds.): Lecture Notes in Computer Science. 2615 udg. IEEE Computer Society Press

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

Fil
20 Citationer (Scopus)
168 Downloads (Pure)

Designing TramMate: a context aware mobile system supporting use of public transportation

Kjeldskov, J., Howard, S., Murphy, J., Carroll, J., Vetere, F. & Graham, C., 2003, Proceedings of the 1st Conference on Designing User Experiences, DUX 2003 ACM. Association for Computing Machinery

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

Fil
59 Downloads (Pure)

Determining Requirements for Supporting Mobility

Kjeldskov, J., Vetere, F. & Tobin, T., 2003, Proceedings of the 24th PACIS 2003 conference. Association for Informations Systems, AIS

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

Fil

Effective dimensions of partially observed polytrees

Kocka, T., 2003, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Proceedings.

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

Efficient and Orderly Co-simulation of Heterogeneous Computational Models

Lázaro Cuadrado, D., Koch, P. & Ravn, A. P., 2003, The Fifth Biennial Ptolemy Miniconference, May 2003, EECS Department, University of California, Berkeley, USA.

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

40 Citationer (Scopus)

Efficient OLAP query processing in distributed data warehouses

Akinde, M. O., Bøhlen, M. H., Johnson, T., Lakshmanan, L. V. S. & Srivastava, D., 2003, Ikke angivet. IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 2287).

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

Elucidative Programming in Open Integrated Development Environments for Java

Vestdam, T., 2003, Proceedings of the 2nd International Conference on the Principles and Practice of Programming in Java, Kilkenny City, Ireland, June 16-18, 2003.

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

Enhancing Usability Testing Skills of Novice Testers: A Longitudinal Study

Skov, M. B. & Stage, J., 2003, Proceedings of the 2nd Conference on Universal Access in Computer-Human Interaction. Lawrence Erlbaum Associates, s. 1035-1039

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

17 Citationer (Scopus)

Evaluating The Markov Assumption For Web Usage Mining

Jespersen, S., Pedersen, T. B. & Thorhauge, J., 2003, Proceedings of the Fifth International Workshop on Web Information and Data Management. Association for Computing Machinery

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