• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Filter
Konferenceartikel i proceeding
2000

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

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

3 Citationer (Scopus)

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

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

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

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

1 Citation (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 proceedingKonferenceartikel i proceedingForskning

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

29 Citationer (Scopus)

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

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

7 Citationer (Scopus)

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

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

15 Citationer (Scopus)

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

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

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

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

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

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

111 Citationer (Scopus)

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

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

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

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

22 Citationer (Scopus)

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

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

2001
10 Citationer (Scopus)

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

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

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

16 Citationer (Scopus)

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

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

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

7 Citationer (Scopus)

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

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

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

1 Citation (Scopus)

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

121 Downloads (Pure)

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

Fil

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

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

Cutting Influence Diagrams Down to the Core

Nielsen, T. D. & Jensen, F. V., 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. 159-160

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

6 Citationer (Scopus)

Decomposition of Influence Diagrams

Nielsen, T. D., 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. 144-155

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

Density Surfaces for Immersive Explorative Data Analyses

Mazeika, A., Böhlen, M. H. & Mylov, P., 2001, Proceedings of the Workshop on Visual Data Mining, in Conjunction with Seventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, August 2001.

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

Designing Interactive Narratives

Skov, M. & Andersen, P. B., 2001, Cosign 2001. Clarke, A. : Fencott, C. : Lindley, C. : Mitchell, G. : Nack, F. (eds.) (red.). Stichting Centrum voor Wiskunde en Informatica, s. 59-66

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

Detection of Web-Site Usability Problems: Empirical Comparison of Two Testing Methods

Skov, M. & Stage, J., 2001, Proceedings of the 1st Panhellic Conference on Computer-Human Interaction Research and Practice. Avouris, N. et al.(eds.) (red.). Typorama, s. 146-150

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

92 Citationer (Scopus)

Efficient Guiding Towards Cost-Optimality in UPPAAL

Behrmann, G., Fehnker, A., Hune, T. S., Larsen, K. G., Pettersson, P. & Romijn, J., 2001, Tools and Algorithms for the Construction and Analysis of Systems. Springer, s. 174-188 15 s.

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

Elastic Systems

Andersen, P. B., 2001, Human-Computer Interaction : Interact'01. IFIP TC 13 International Conference on Human-Computer Interaction, July 9-13, Tokyo, Japan. Hirose, M. (ed.) (red.). IOS Press, s. 367-374

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