• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2001

Structural Learning in Object Oriented Domains

Bangsø, O., Langseth, H. & Nielsen, T. D., 2001, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference (FLAIRS), Key West. s. 340-344

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

Structuration Theory, Action Research, and Information Systems Development

Rose, J. & Lewis, P., 2001, Realigning Research and Practice in Information Systems Development : the Social and Organizational Perspective : IFIP TC8/WG8.2 Working Conference ..., July 27-29, 2001, Boise, Idaho, USA. Russo, N. L. : Fitzgerald, B. : DeGross, J. I. (eds.) (red.). Kluwer Academic Publishers

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

Structuration Theory and Information Systems Development: Frameworks for Practice (awarded best paper in track)

Rose, J. & Scheepers, R., 2001, European Conference on Information Systems Development. Smithson, S. : Avgerinou, S. (eds.) (red.). Bled,Slovenia

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

Tangible Objects: Modeling in Style

May, D. C., Kristensen, B. B. & Nowack, P., 2001, Proceedings of Second International Conference on Generative Systems in the Electronic Arts (Second Iteration - Emergence), Melbourne, Australia, 2001.

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

9 Citationer (Scopus)

Test Generation for Time Critical Systems: Tool and Case Study

Nielsen, B. & Skou, A., 2001, 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, June 2001. s. 155-162

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

The Guiding Metaphor in Corporate Intranet Development: Enabler or Constraint

Scheepers, R. & Rose, J., 2001, IRIS 24, Hardanger, Norway. <Forlag uden navn>

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

754 Citationer (Scopus)

The Optimized Link State Routing Protocol: Evaluation through Experiments and Simulation

Clausen, T. H., Hansen, G., Christensen, L. & Behrmann, G., 2001, IEEE Symposium on Wireless Personal Mobile Communications.

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

The SACSO System for Troubleshooting of Printing Systems

Jensen, F. V., Skaanning, C. & Kjærulff, U. B., 2001, Seventh Scandinavian Conference on Artificial Intelligence : SCAI'01: Frontiers in Artificial Intelligence and Applications. Lund, H. H. : Mayoh, B. : Perram, J. (eds.) (red.). Vol. 66 udg. IOS Press, s. 67-79

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

26 Citationer (Scopus)

Transaction Timestamping in (Temporal) Databases

Jensen, C. S. & Lomet, D., 2001, Proceedings of the 27th International Conference on Very Large Databases, Rome, Italy, September 11-14, 2001. s. 441-450

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

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

113 Citationer (Scopus)

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskningpeer 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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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

19 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

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

1 Citation (Scopus)

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 proceedingKonferenceartikel i proceedingForskning

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 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

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

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

1 Citation (Scopus)

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 proceedingKonferenceartikel i proceedingForskning

3 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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

21 Citationer (Scopus)

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

Scheduling
13 Citationer (Scopus)

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 proceedingKonferenceartikel i proceedingForskning

4 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 proceedingKonferenceartikel i proceedingForskning

710 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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

18 Citationer (Scopus)

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning

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 proceedingKonferenceartikel i proceedingForskning