Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2001

    Troubleshooting with Simultaneous Models

    Vomlel, J. & Skaanning, C., 2001, Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 6th European Conference, ECSQARU 2001 Toulouse, France, September 19 - 21, 2001 : Proceedings: Lecture Notes in Artificial Intelligence , subseries of Lecture Notes in Computer Science. Benferhat, S. : Besnard, P. (eds.) (red.). 2143 udg. IEEE Computer Society Press, s. 96-107

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • UPPAAL: Present and Future

    Behrmann, G., David, A., Larsen, K. G., Möller, O., Pettersson, P. & Yi, W., 2001, Proceedings of the 40th IEEE Conference on Decision and Control. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Uppaal: Now, Next, and Future

    Amnell, T., Behrmann, G., Bengtsson, J., D'Argenio, P. R., David, A., Fehnker, A., Hune, T., Jeannet, B., Larsen, K. G., Möller, M. O., Pettersson, P., Weise, C. & Yi, W., 2001, Modeling and Verification of Parallel Processes : 4th Summer School, MOVEP 2000 Nantes, France, June 19 - 23, 2000 : Revised Tutorial Lectures: Lecture Notes in Computer Science. Cassez, F. : Jard, C. : Rozoy, B. : Ryan, M. (red.). 2067 udg. IEEE Computer Society Press, s. 100-125

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Using Intranet Technology to Foster Organizational Knowledge Creation

    Damsgaard, J. & Scheepers, R., 2001, Proceedings of the 9th European Conference on Information Systems : Global Co-Operation in the New Millennium, Bled, Slovenia, June 2001.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Using Nested Surfaces to Detect Structures in Databases

    Mazeika, A., Böhlen, M. H. & Mylov, P., 2001, Proc. of the Int. Workshop on Visual Data Mining, Freiburg, Germany, September 2001.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • What's Wrong with the Diffusion of Innovation Theory: The Case of a Complex and Networked Technology

    Lyytinen, K. & Damsgaard, J., 2001, Proceedings of the IFIP Working Group 8.6 Conference, Banff, Canada, April 2001.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    161 Citationer (Scopus)

  • Work Practices for Usability Testing of Computerized Systems and Mobile Devices

    Kjeldskov, J., Skov, M. & Stage, J., 2001, Proceedings of the First Danish Human-Computer Interaction Research Symposium : 27. November 2001, Aarhus Denmark. Bertelsen, O. W. (ed.) (red.). Department of Computer Science, Aarhus University, s. 45-46

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Writing Internal Documentation

    Vestdam, T., 2001, Eckstein, Jutta (Hrsg.) : Rüping, Andreas (Hrsg.) : Schwanninger, Christa (Hrsg.). Stollfuß Medien

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 2000

    Advanced Implementation Techniques for Scientific Data Warehouses

    Pedersen, T. B. & Jensen, C. S., 2000, Proceedings of the First European Lab Workshop on Management and Integration of Biochemical Data, Heidelberg, Germany, September 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • A Framework for Constraint-Based Spatial Data Mining

    Tryfona, N., 2000, Proceedings of the International Workshop on Emerging Technologies for Geo-Based Applications. s. 309-328

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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 proceeding › Konferenceartikel i proceeding › Forskning

  • Analyzing clickstreams using subsessions

    Andersen, J., Giversen, A., Jensen, A. H., Larsen, R. S., Pedersen, T. B. & Skyt, J., 1 nov. 2000, Proceedings of the 3rd ACM International Workshop on Data Warehousing and OLAP, DOLAP 2000. Missaoui, R. & Song, I-Y. (red.). Association for Computing Machinery, s. 25-32 8 s. (DOLAP: Proceedings of the ACM International Workshop on Data Warehousing and OLAP, Bind Part F129125).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 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 proceeding › Konferenceartikel i proceeding › Forskning

    20 Citationer (Scopus)

  • An Elucidative Programming Environment for Scheme

    Nørmark, K., 2000, Proceedings of the 2000 Nordic Workshop on Programming Environment Research, May 2000. s. 109-126

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • A Research Framework for Studying the Implementation of Enterprise Resource Planning (ERP) systems

    Jensen, P. K. & Møller, C., 2000, Proceedings of the 23rd IRIS Conference - Doing IT together. al., L. S. U. S. E. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • A Suite of WWW-Based Tools for Advanced Course Management

    Nørmark, K., 2000, ITiCSE 2000 : Proceedings of the 5th Annual SIGCSE/SIGCUE Conference on Innovation and Technology in Computer Science Education : July 11-13, 2000, Helsinki, Finland: SIGCSE Bulletin. Joyce, D. (ed,) (red.). Vol.32, 3 udg. Association for Computing Machinery, s. 65-68

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)

  • A Tale of Two Airports: a Comparison of Electronic Infrastructures in the Air Cargo Industry in the Netherlands and Hong Kong SAR

    Christiansen, E. & Damsgaard, J., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. s. 512-523

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • 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 proceeding › Konferenceartikel i proceeding › Forskning

  • 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 proceeding › Konferenceartikel i proceeding › Forskning

  • Collaborative Practice Research

    Mathiassen, L., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 127-148

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Continuous Improvement of the Configuration Management Process

    Bendix, L. G., 2000, Proceedings of the Conference Views on Software Development in the New Millennium, August 2000. s. 50-55

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Dimensions of Coordination

    Andersen, P. B. & Carstensen, P., 2000, Proceedings of the Fifth International Workshop on the Language-Action Perspective on Communication Modelling. Fachgruppe Informatik der RWTH, s. 41-61

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Discourses on the Interaction of Information Systems, Organizations, and Society: Reformation and Transformation

    Baskerville, R. L. & Stage, J., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 1-12

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Distributed Timed Model Checking: How the Search Order Matters

    Behrmann, G., Hune, T. & Vaandrager, F., 2000, Computer Aided Verification : 12th International Conference, CAV 2000, Chicago, Il., USA, July 15-19, 2000 : Proceedings: Lecture Notes in Computer Science. Emerson, E. : Sistla, A. (eds.) (red.). 1855 udg. IEEE Computer Society Press, s. 216-231

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Documenting Design Refinement

    Olderog, E-R. & Ravn, A. P., 2000, Proceedings of FMSP'00 :the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA. Heimdahl, M. P. E. (ed.) (red.). Association for Computing Machinery

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    2 Citationer (Scopus)

  • Elucidative Programming in Java

    Nørmark, K., Andersen, M. R., Christensen, C. N., Kumar, V., Pedersen, S. S. & Sørensen, K. L., 2000, 18th Annual Conference on Computer Documentation : IPCC SIGDOC 2000, ACM, September 2000. IEEE Signal Processing Society, s. 483-495

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    3 Citationer (Scopus)

  • ERP Implementation - ERP as An Actor

    Jensen, P. K., 2000, Proceedings of the ITBM2000 Conference - Information Technology for Business Management. Gan, R. (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Evolution of the Web News Genre: the Slow Move Beyond the Print Metaphor

    Eriksen, L. B. & Ihlström, C., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    26 Citationer (Scopus)

  • Extending OLAP Querying to External Object Databases

    Pedersen, T. B., Shoshani, A., Gu, J. & Jensen, C. S., 2000, Proceedings of the Ninth International Conference on Information and Knowledge Management, 2000. s. 405-413

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    24 Citationer (Scopus)

  • Free Algebras for Generalized Automata and Language Theory

    Esik, Z., 2000, Proceedings of Algebraic Systems : Formal Languages and Computation, RIMS Kokyuroku 1166, Kyoto University, 2000. s. 52-58

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Guided Synthesis of Control Programs Using UPPAAL

    Hune, T., Larsen, K. G. & Pettersson, P., 2000, Proceedings for International Workshop on Distributed Systems Verification and Validation. Lai, T. H. (red.). s. 15-22

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Implementing Software Process Improvement: Two Cases of Technology Transfer

    Kautz, K. & Nielsen, P. A., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    17 Citationer (Scopus)

  • Implementing software process improvement: Two cases of technology transfer

    Kautz, K. & Nielsen, P. A., 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences, HICSS 2000. IEEE Computer Society Press, (Proceedings of the Annual Hawaii International Conference on System Sciences, Bind 2000-January).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Improving the Customer-Supplier Relation in IT Development

    Bjerknes, G. & Mathiassen, L., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    5 Citationer (Scopus)

  • Indexing the Positions of Continuously Moving Objects

    Saltenis, S., Jensen, C. S., Leutenegger, S. & Lopez, M., 2000, Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, Dallas, TX, USA, May 2000. s. 331-342

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    776 Citationer (Scopus)

  • Iteration Theories of Boolean Functions

    Esik, Z., 2000, Mathematical Foundations of Computer Science 2000 : 25th International Symposium, MFCS 2000 Bratislava, Slovakia, August 28 - September 1, 2000 : Proceedings: Lecture Notes in Computer Science. Nielsen, M. : Rovan, B. (eds.) (red.). 1893 udg. IEEE Computer Society Press, s. 343-352

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Lessons from Implementing a Software Metrics Program

    Iversen, J. H. & Mathiassen, L., 2000, Proceedings of the 33rd Hawaii International Conference on System Sciences (HICSS), Maui, Hawaii, January 2000.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    19 Citationer (Scopus)

  • Light Weight Indexing of Bitemporal Data

    Bliujute, R., Jensen, C. S., Saltenis, S. & Slivinskas, G., 2000, Proceedings of the Twelfth International Conference on Scientific and Statistical Database Management, Berlin, Germany, July 2000. IEEE Computer Society Press, s. 125-138

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Limitations and Opportunities of SDM in WIS Development

    Eriksen, L. B., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers, s. 473-486

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Local pi-Calculus at work: Mobile Objects as Mobile Processes

    Kleist, J., Merro, M. & Nestmann, U., 2000, Theoretical Computer Science : Exploring New Frontiers of Theoretical Informatics : International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Leeuwen, J. van : Watanabe, O. : Hagiya, M. : Mosses, P. D. : Ito, T. (eds.) (red.). 1872 udg. IEEE Computer Society Press, s. 390-408

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Machine Agency as Perceived Autonomy

    Rose, J. & Truex, D., 2000, Organizational and Social Perspectives on Information Technology : IFIP TC8 WG8.2 International Working Conference on the Social and Organizational Perspective on Research and Practice in Information Technology, June 9-11, 2000, Aalborg, Denmark: International Federation for Information Processing. Baskerville, R. : Stage, J. : DeGross, J. I. (eds.) (red.). 41 udg. Kluwer Academic Publishers

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Make or Buy: a Taxonomy of Intranet Implementation Strategies

    Karlsbjerg, J., Olsen, C. & Damsgaard, J., 2000, Proceedings of the 23rd Information Systems Research Seminar in Scandinavia, Uddevalla, Sweden. s. 1573-1588

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Making Sensitivity Analysis Computationally Efficient

    Kjærulff, U. B. & Gaag, L. C. V. D., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence : UAI'00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Academic Press, s. 317-325

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Managing Again Data in Temporal Databases and Data Warehouses - Vacuuming and Persistent Views

    Skyt, J., 2000, Proceedings of the EDBT 2000 Ph.D. Workshop, March 2000, Konstanz, Germany. s. 39-42

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • Managing Aging Data Using Persistent Views (extended abstract)

    Skyt, J. & Jensen, C. S., 2000, Cooperative Information Systems : 7th International Conference, CoopIS 2000 Eilat, Israel, September 6-9, 2000 : Proceedings: Lecture Notes in Computer Science. Etzion, O. : Scheuermann, P. (eds.) (red.). 1901 udg. IEEE Computer Society Press, s. 132-137

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    3 Citationer (Scopus)

  • Modeling Part-Whole Relationships for Spatial Data

    Price, R., Tryfona, N. & Jensen, C. S., 2000, ACM-GIS '00 : Proceedings of the 8th International Symposium on Advances in Geographic Information Systems, Washington, D. C., USA, November 2000. s. 1-8

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    7 Citationer (Scopus)

  • Modelling a Real-Time Language

    Hune, T., 2000, Proceedings of the 4th Workshop on Formal Methods for Industrial Systems, FMICS '99.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

  • OLAP++: Powerful and Easy-to-Use Federations of OLAP and Object Databases

    Gu, J., Pedersen, T. B. & Shoshani, A., 2000, Proceedings of the Twenty-Sixth International Conference on Very Large Data Bases, Cairo, Egypt, September 2000. s. 599-602

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    9 Citationer (Scopus)

  • On Memory-Block Traversal Problems in Model-Checking Timed Systems

    Larsson, F., Pettersson, P. & Yi, W., 2000, Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000: Lecture Notes in Computer Science. Graf, S. : Schwartzbahn, M. (eds.) (red.). 1785 udg. IEEE Computer Society Press, s. 127-141

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

    1 Citationer (Scopus)

  • On the Two-Variable Fragtment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers

    Aceto, L., Ésik, Z. & Ingolfsdottir, A., 2000, STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : Proceedings: Lecture Notes in Computer Science. Reichel, H. : Tison, S. (eds.) (red.). 1770 udg. IEEE Computer Society Press, s. 267-278

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning