Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2000

    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

  • Printer Troubleshooting using Bayesian Networks

    Skaanning, C., Jensen, F. V. & Kjærulff, U. B., 2000, Intelligent Problem Solving : Methodologies and Approaches : 13th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2000, New Orleans, Lousiana, USA, June 19-22, 2000 : Proceedings: Lecture Notes in Computer Science. Loganantharaj, R. : Palm, G. : Ali, M. (eds.) (red.). 1821 udg. IEEE Computer Society Press, s. 367-379

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

    30 Citationer (Scopus)

  • Project Assessments: Supporting Commitment, Participation, and Learning in Software Process Improvement

    Arent, J., Iversen, J., Andersen, C. V. & Bang, S., 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

  • Query Plans for Conventional and Temporal Queries Involving

    Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2000, Proceedings of the Sixteenth IEEE International Conference on Data Engineering, San Diego, CA, USA, February/March 2000.

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

    7 Citationer (Scopus)

  • Representing and Solving Asymmetric Bayesian Decision Problems

    Nielsen, T. D. & Jensen, F. V., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 416-425

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

  • Requirements for an Elucidative Programming Environment

    Nørmark, K., 2000, Proceedings of the Eighth International Workshop on Program Comprehension, June 2000. s. 119-128

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

    16 Citationer (Scopus)

  • Scaling up Uppaal: Automatic Verification of Real-Time Systems Using Compositionality and Abstraction

    Jensen, H. E., Larsen, K. G. & Skou, A., 2000, Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20 - 22, 2000 : Proceedings: Lecture Notes in Computer Science. Joseph, M. (ed.) (red.). 1926 udg. IEEE Computer Society Press, s. 19-30

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

    48 Citationer (Scopus)

  • Separation of Concerns and then What?

    Ernst, E., 2000, Proceedings of the Workshop Aspects and Dimensions of Concern at ECOOP 2000, Cannes, France, June 2000.

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

  • Standardization: Network Economics and IT

    Andersen, E. S., Damsgaard, J., Hanseth, O., King, J. L., Markus, M. L. & Monteiro, E., 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. 521-525

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

  • Supporting Conceptual Modeling of Complex Spatial Relation-Ships

    Price, R., Tryfona, N. & Jensen, C. S., 2000, Proceedings of the Eighth ACM Synposium on Advances in Geographic Information Systems, November 10-11, 2000, Washington, D. C., USA. Ki-Joune, L. (ed.) (red.). Association for Computing Machinery, s. 1-8

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

  • The Evolution of Factors Explaining EDI Diffusion in Hong Kong in the Late 1990's

    Damsgaard, J. & Lyytinen, K., 2000, Fourth Pacific Asia Conference on Information Systems, Electronic Commerce and Web-Based Information Systems, Hong Kong SAR. s. 1061-1074

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

  • The Impressive Power of Stopwatches

    Cassez, F. & Larsen, K. G., 2000, CONCUR 2000 - Concurrency Theory : 11th International Conference University Park, PA, USA, August 22-25, 2000 : Proceedings: Lecture Notes in Computer Science. Palamidessi, C. (ed.) (red.). 1877 udg. IEEE Computer Society Press, s. 138-152

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

    139 Citationer (Scopus)

  • The TreeScape System: Reuse of Pre-Computed Aggregates over Irregular OLAP Hierarchies

    Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 2000, Proceedings of the Twenty-Sixth International Conference on Very Large Databases, Cairo, Egypt, September 2000. s. 595-598

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

    11 Citationer (Scopus)

  • Top-Down Construction and Repetitive Structures Representation in Bayesian Networks

    Bangsø, O. & Wuillemin, P-H., 2000, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference : FLAIRS-2000 : Hotel Royal Plaza, Orlando, Florida, 22-24 May 2000. Etheredge, J. : Manaris, B. (eds.) (red.). AAAI Press

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

  • Troubleshooting: NP-Hardness and Solution Methods

    Sochorová, M. & Vomlel, J., 2000, Proceedings of the Fifth Workshop on Uncertainty Processing (WUPES'2000), Jindrichuv Hradec, Czech Republic, 2000. s. 198-212

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

  • Using Abstractions for Spatio-Temporal Conceptual Modeling

    Tryfona, N. & Jensen, C. S., 2000, Proceedings of the 2000 ACM Symposium on Applied Computing, Villa Olmo, Como, Italy, March 2000. s. 313-322

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

    25 Citationer (Scopus)

  • Using ROBDDs for Inference in Bayesian Networks with Troubleshooting as an Example

    Nielsen, T. D., Wuillemin, P-H., Jensen, F. V. & Kjærulff, U. B., 2000, Proceedings of the Sixteenth Conference on Uncertainty in Artificial Intelligence: UAI '00. Boutilier, C. : Goldszmidt, M. (eds.) (red.). Morgan Kaufmann, s. 426-435

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

  • Verbal and Artifact based Coordination

    Andersen, P. B., Nielsen, M. & Carstensen, P., 2000, Proceedings of the Third International Workshop in Organizational Semiotics, University of Stafford, 4-6-00.

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

  • 2001

    2-Nested Simulation is not Finitely Equationally Axiomatizable

    Aceto, L., Fokkink, W. J. & Ingolfsdottir, A., 2001, STACS 2001 : 18th Annual Symposium on Theoretical Aspects of Computer Science, Dresden, Germany, February 15 - 17, 2001 : Proceedings: Lecture Notes in Computer Science. Ferreira, A. : Reichel, H. (eds.) (red.). 2010 udg. IEEE Computer Society Press, s. 39-50

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

    10 Citationer (Scopus)

  • Accommodating Emergent Work Practices: Ethnographic Choise of Method Fragments

    Baskerville, R. & Stage, J., 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, s. 11-28

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

    19 Citationer (Scopus)

  • Adaptable Query Optimization and Evaluation in Temporal Middleware

    Slivinskas, G., Jensen, C. S. & Snodgrass, R. T., 2001, Proceedings of the 2001 ACM SIGMOD International Conference on the Management of Data, Santa Barbara, CA, USA, May 21-24, 2001: Sigmod Record. Vol.30, 2 udg. s. 127-138

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

  • Algebras for Hazard Detection

    Esik, Z., Brzozowski, J. & Iland, Y., 2001, 31st IEEE International Symposium on Multiple-Valued Logic, May 22-24, 2001, Warsaw, Poland. IEEE Computer Society Press, s. 3-12

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

    19 Citationer (Scopus)

  • As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automat

    Larsen, K. G., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P. & Romijn, J., 2001, Computer Aided Verification : 13th International Conference, CAV 2001 Paris, France, July 18 - 22, 2001 : Proceedings: Lecture Notes in Computer Science. Berry, G. : Comon, H. : Finkel, A. (eds.) (red.). 2102 udg. IEEE Computer Society Press, s. 493-505

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

    113 Citationer (Scopus)

  • A Simple Approach to Web-Site Usability Testing

    Skov, M. & Stage, J., 2001, Proceedings of the 1st Conference on Universal Access in Computer-Human Interaction. Lawrence Erlbaum Associates, s. 737-741

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

  • A Split Operator for Now-Relative Bitemporal Databases

    Agesen, M., Böhlen, M. H., Poulsen, L. O. & Torp, K., 2001, Proceedings of the 17th International Conference on Data Engineering, Heidelberg, Germany, April 2001. s. 41-50 10 s.

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

    7 Citationer (Scopus)

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

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

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

    1 Citationer (Scopus)

  • Combining Interaction Techniques and Display Types for Virtual Reality

    Kjeldskov, J., 2001, Proceedings of OzCHI 2001:  Annual Conference of the Australian Computer-Human Interaction Special Interest Group. Edith Cowan University Press, s. 77-83

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

    Fil
    680 Downloads (Pure)

  • Complexity of Decision-Theoretic Troubleshooting

    Vomlelová, M., 2001, Proceedings of the 9th Spanish Association for Artificial Intelligence Conference and 4th Technological Transfer of Intelligence Artificial Congress, Gijón, Spain, November 14-16,2001.

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

  • Converting XML Data to UML Diagrams for Conseptual Data Integration

    Jensen, M. R., Møller, T. H. & Pedersen, T. B., 2001, Proceedings of the First International Workshop on Data Integration Over the Web. s. 17-31

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