Institut for Datalogi

2401 - 2500 ud af 2776Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 1998
  2. Udgivet

    Contours of Electronic Data Interchange in Finland : Overcoming Technological Barriers and Collaborating to Make it Happen. / Damsgaard, Jan; Lyytinen, K.

    I: Journal of Strategic Information Systems, Vol. 7, 1998, s. 275-297.

    Publikation: Forskning - peer review › Tidsskriftartikel

  3. Udgivet

    Design and Implementation of an Efficient, Layered Video Codec for Heterogeneous Networks. / Jensen, Morten Vadskær; Nielsen, Brian.

    Aalborg : Aalborg Universitetsforlag, 1998. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5008).

    Publikation: Forskning › Bog

  4. Udgivet

    Do CASE Tools Support Method Learning?. / Eriksen, Lars Bo; Stage, Jan.

    Training and Education of Methodology Practioners and Researchers : Proceedings. red. / Jayaratna, N....et al. (eds.). Springer, 1998. s. 159-169.

    Publikation: Forskning › Konferenceartikel i proceeding

  5. Udgivet

    Efficient Differential Timeslice Computation. / Torp, K.; Mark, L.; Jensen, C. S.

    I: IEEE Transactions on Knowledge and Data Engineering, Vol. 10, Nr. 4, 1998, s. 599-611.

    Publikation: Forskning - peer review › Tidsskriftartikel

  6. Udgivet

    Electronic Markets in Hong Kong's Air Cargo Community. / Damsgaard, Jan.

    I: Electronic Markets, Vol. 8, Nr. 3, 1998, s. 46-49.

    Publikation: Forskning - peer review › Tidsskriftartikel

  7. Udgivet

    Engineering of Real-Time Systems with an Experiment in Hybrid Control. / Ravn, Anders Peter; Eriksen, T. J.; Holdgaard, M.; Rischel, H.

    Lectures on Embedded Systems : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996: Lecture Notes in Computer Science. red. / Rozenberg, G : Vaandrager, F. (eds.). 1494. udg. IEEE Computer Society Press, 1998. s. 316-352.

    Publikation: Forskning › Konferenceartikel i proceeding

  8. Udgivet

    Evaluation of Database Modeling Methods for Geographic Information Systems. / Hadzilacos, T.; Tryfona, N.

    I: Australian Journal of Information Systems, Vol. 6, Nr. 1, 1998, s. 15-26.

    Publikation: Forskning - peer review › Tidsskriftartikel

  9. Udgivet

    Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998. / Ravn, Anders Peter; Rischel, H. (Ed.).

    Berlin : IEEE Computer Society Press, 1998. (Lecture Notes in Computer Science; Nr. 1486).

    Publikation: Forskning › Bog

  10. Udgivet

    From Safety Analysis to Formal Specification. / Hansen, Kirsten Mark; Ravn, Anders Peter; Stavridou, Victoria.

    I: IEEE Transactions on Software Engineering, Vol. 24, Nr. 7, 1998, s. 573-584.

    Publikation: Forskning - peer review › Tidsskriftartikel

  11. Udgivet

    General Object-Based Environments : An Engine for Software Development Environments. / Bendix, Lars.

    Proceedings of the 8th Nordic Workshop on Programming Environment Research, Bergen, Norway, June 1998: Teknisk rapport / Department of Information Science, University of Bergen. 1998.

    Publikation: Forskning › Konferenceartikel i proceeding

  12. Udgivet

    Global Logistics System Asia Co., Ltd.. / Damsgaard, Jan.

    Proceedings of the 19th International Conference on Information System. Crossing Boundaries : Managing Virtual Enterprises. red. / Hirschheim, M.N. : DeGross, J.I. (eds.), 1998. 1998. s. 402-404.

    Publikation: Forskning › Konferenceartikel i proceeding

  13. Udgivet

    Government Intervention in the Diffusion of EDI : Goals and Conflicts. / Damsgaard, Jan; Lyytinen, K.

    EDI and Data Networking in the Public Sector. red. / Andersen, Kim Viborg (ed.). 1998.

    Publikation: Forskning › Bidrag til bog/antologi

  14. Udgivet

    Graph Abstractions as the basis of an Extensible Graph Editing Tool. / Larsen, Niels C.; Molz, Martin K.; Nørmark, Kurt.

    1998.

    Publikation: Forskning › Bog

  15. Udgivet

    HLCL '98 : High-Level Concurrent Languages, Nice, France, September 12, 1998. / Nestmann, U. (Ed.); Pierce, B. C. (Ed.).

    Pergamon Press, 1998. (Electronic Notes in Theoretical Computer Science; Nr. Vol. 16.3).

    Publikation: Forskning › Bog

  16. Udgivet

    How to introduce Maturity in Software Change Management. / Bendix, Lars.

    Aalborg : Aalborg Universitetsforlag, 1998. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5012).

    Publikation: Forskning › Bog

  17. Udgivet

    Imperative Objects as Mobile Processes. / Kleist, Josva; Sangiorgi, Davide.

    Programming Concepts and Methods, PROCOMET '98. Chapman & Hall, 1998. s. 285-303.

    Publikation: Forskning › Konferenceartikel i proceeding

  18. Udgivet

    Implementation of a New IT-Frame System : Understanding the Complexity of Process Innovations. / Jensen, Pernille Kræmmergaard.

    Aalborg : Centre for International Business, Department of Business Studies, Aalborg University, 1998. (International Business Economics Working Paper Series; Nr. 28).

    Publikation: Forskning › Bog

  19. Udgivet

    Implementering og styring af intranet. / Damsgaard, Jan; Scheepers, R.

    Internethåndbogen. red. / Andersen, Kim Viborg : Damsgaard, Jan : Kraft, Bjørn (red.). 1998.

    Publikation: Forskning › Bidrag til bog/antologi

  20. Udgivet

    Incremental Join of Time-Oriented Data. / Pfoser, Dieter; Jensen, Christian Søndergaard.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-34).

    Publikation: Forskning › Bog

  21. Udgivet

    Inference in Bayesian Networks using Nested Junction Trees. / Kjærulff, Uffe.

    Learning in Graphical Models. red. / Jordan, M. I. (ed.). Kluwer Academic Publishers, 1998. s. 51-74 (NATO Science Series, Series D: Behavioural and Social Sciences; Nr. 89).

    Publikation: Forskning › Bidrag til bog/antologi

  22. Udgivet

    International Trade at the Speed of Light : Building an Electronic Trading Infrastructure in Denmark, Finland and Hong Kong. / Damsgaard, Jan; Lyytinen, K.

    Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, December 1998. red. / Larsen, T.J. : Levine, L. : DeGross, J.I. (eds.). 1998. s. 417-438.

    Publikation: Forskning › Konferenceartikel i proceeding

  23. Udgivet

    Internethåndbogen. / Andersen, Kim Viborg; Kraft, Bjørn; Damsgaard, Jan.

    Kbh. : Børsen, 1998.

    Publikation: Forskning › Bog

  24. Udgivet

    Intranet Implementation in Large Organizations. / Damsgaard, Jan; Scheepers, Rens.

    IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. red. / Buch, N.J. : Damsgaard, J. : Eriksen, L.B. : Iversen, J.H. : Nielsen, P.A. (eds.). Aalborg Universitetsforlag, 1998.

    Publikation: Forskning › Konferenceartikel i proceeding

  25. Udgivet

    IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. / Buch, Niels Jakob (Ed.); Damsgaard, Jan (Ed.); Eriksen, Lars Bo (Ed.); Iversen, Jakob H. (Ed.); Nielsen, Peter A. (Ed.).

    Aalborg : Aalborg Universitetsforlag, 1998.

    Publikation: Forskning › Bog

  26. Udgivet

    Is the prior probability of carpal tunnel syndrome 25%?. / Suojanen, M.; Andreassen, Steen; Olesen, Kristian Grønborg.

    Proceedings from the 6th International Conference on Computerized Quantitative EMG, 1998, Vigo, Spain. 1998. s. No. BS4.

    Publikation: Forskning › Konferenceabstrakt i proceeding

  27. Udgivet

    Lazy Propagation in Junction Trees. / Madsen, Anders Læsø; Jensen, Finn V.

    Aalborg : Aalborg Universitetsforlag, 1998. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5001).

    Publikation: Forskning › Bog

  28. Udgivet

    Lazy Propagation in Junction Trees. / Madsen, Anders Læsø; Jensen, Finn V.

    Proceedings of the 14th Conference on Uncertainty in Artificial Intelligence. red. / Cooper, Gregory F. : Moral, Serafin (eds.). Kaufmann, 1998. s. 362-369.

    Publikation: Forskning › Konferenceartikel i proceeding

  29. Udgivet

    Lessons Learned in a National SPI Effort. / Johansen, J.; Mathiassen, Lars.

    Proceedings of EuroSPI '98, Gothenburg, Sweden, November 16-18. 1998. s. 5-17.

    Publikation: Forskning › Konferenceartikel i proceeding

  30. Udgivet

    Logical Data Modeling for Spatio-Temporal Applications : Definitions and a Model. / Tryfona, N.; Hadzilacos, T.

    IDEAS '98 : International Database Engineering and Applications Symposium : Proceedings, July 8-10, 1998, Cardiff, Wales, UK. red. / Eaglestone, B. : Desai, B. C. : Shao, J. (eds.). IEEE Computer Society Press, 1998. s. 14-23.

    Publikation: Forskning › Konferenceartikel i proceeding

  31. Udgivet

    Mapping Temporal ER Diagrams to Relational Schemas. / Gregersen, Heidi; Mark, L.; Jensen, Christian Søndergaard.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-39).

    Publikation: Forskning › Bog

  32. Udgivet

    Migration = cloning; aliasing. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Merro, Massimo.

    RS-98-34 udg. Århus : BRICS - Basic Research in Computer Science, 1998.

    Publikation: Forskning › Rapport

  33. Udgivet

    Minimizing Detail Data in Data Warehouses. / Akinde, M.; Jensen, Ole Guttorm; Böhlen, M.

    Aalborg : Aalborg Universitetsforlag, 1998. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5002).

    Publikation: Forskning › Bog

  34. Udgivet

    Model Checking via Reachability Testing for Timed Automata. / Aceto, Luca; Burgueño, A.; Larsen, Kim Guldstrand.

    Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28-April 4, 1998: Lecture Notes in Computer Science. red. / Steffen, B. (ed.). 1384. udg. IEEE Computer Society Press, 1998. s. 263-280.

    Publikation: Forskning › Konferenceartikel i proceeding

  35. Udgivet

    Modeling Phenomena in Spatiotemporal Applications : Desiderata and Solutions. / Tryfona, N.

    Database and Expert Systems Applications : 9th International Conference, DEXA '98, Vienna, Austria, August 24-28, 1998 : Proceedings: Lecture Notes in Computer Science. red. / Quirchmayr, G. : Schweighofer, E. : Bench-Capon, T. J. M. (eds.). 1460. udg. IEEE Computer Society Press, 1998. s. 155-165.

    Publikation: Forskning › Konferenceartikel i proceeding

  36. Udgivet

    Multidimensional Data Modeling for Complex Data. / Pedersen, Torben Bach; Jensen, Christian Søndergaard.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-37).

    Publikation: Forskning › Bog

  37. Udgivet

    Objektorienterad analys och design. / Mathiassen, Lars; Munk-Madsen, Andreas; Nielsen, Peter A.; Stage, Jan.

    Lund : Studentlitteratur, 1998.

    Publikation: Forskning › Bog

  38. Udgivet

    On a Question of A. Salomaa : the Equational Theory of Regular Expressions over a Singleton Alphabet is not Finitely Based. / Aceto, Luca; Fokkink, W.; Ingolfsdottir, Anna.

    I: Theoretical Computer Science, Vol. 209, Nr. 1-2, 1998, s. 163-178.

    Publikation: Forskning - peer review › Tidsskriftartikel

  39. Udgivet

    On the Expressive Power of Joint Input. / Nestmann, U.

    EXPRESS '98 : Expressiveness in Concurrency, Nice, France, September 7, 1998: Electronic Notes in Theoretical Computer Science. Vol. 16.2. udg. 1998.

    Publikation: Forskning › Konferenceartikel i proceeding

  40. Udgivet

    Oplæg til Nykredit Center for Databaseforskning. / Jensen, C. S.; Mark, L.; Mathiassen, Lars.

    Aalborg : Aalborg Universitetsforlag, 1998. (IR : Institut for Elektroniske Systemer. Afdeling for Kommunikationsteknologi, Aalborg Universitet; Nr. IR98-5001).

    Publikation: Forskning › Bog

  41. Udgivet

    Out of Scandinavia: Facing Social Risks in IT Development in South Africa. / Scheepers, Helena; Mathiassen, Lars.

    1998.

    Publikation: Forskning › Bog

  42. Udgivet

    Point versus Interval-based Temporal Data Models. / Böhlen, M.; Busatto, R.; Jensen, C. S.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-21).

    Publikation: Forskning › Bog

  43. Udgivet

    Point versus Interval-based Temporal Data Models. / Busatto, R.; Böhlen, M.; Jensen, C. S.

    Proceedings of the 14th IEEE International Conference on Data Engineering, February 23-27, 1998, Orlando, Florida. 1998. s. 192-200.

    Publikation: Forskning › Konferenceartikel i proceeding

  44. Udgivet

    Printing System Diagnosis : a Bayesian Network Application. / Skaanning, Claus; Jensen, Finn V.; Kjærulff, Uffe; Pelletier, Paul; Rostrup-Jensen, Lasse.

    The 9th International Conference on Principles of Diagnosis (Dx98), Cape Cod, Massachusetts, USA, 1998. 1998. s. 259-265.

    Publikation: Forskning › Konferenceartikel i proceeding

  45. Udgivet

    Problem Diagnosis in Software Improvement. / Iversen, Jakob H.; Nielsen, Peter A.; Nørbjerg, Jacob.

    IRIS 21 "Information Systems Research in Collaboration with Industry" : Proceedings of the 21st Information Systems Research Seminar in Scandinavia, August 8-11, 1998 at Sæby Søbad, Denmark. red. / Buch, N.J. : Damsgaard, J. : Eriksen, L.B. : Iversen, J.H. : Nielsen, P.A. (eds.). Aalborg Universitetsforlag, 1998.

    Publikation: Forskning › Konferenceartikel i proceeding

  46. Udgivet

    Problem Diagnosis in Software Process Improvement. / Iversen, J. H.; Nielsen, Peter Axel; Nørbjerg, J.

    Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, Helsinki December 1998. red. / Larsen, T.J. : Levine, L. : DeGross, J.I. (eds.). 1998. s. 89-110.

    Publikation: Forskning › Konferenceartikel i proceeding

  47. Udgivet

    ProbSy - A System for the Calculation of Probabilities in the Card Game Bridge. / Madsen, Anders Læsø; Nielsen, Lars Moltsen; Jensen, Finn V.

    Proceedings of the 11th International Florida Artificial Intelligence Research Symposium Conference. red. / Cook, Diane J. (ed.). AAAI Press, 1998. s. 435-439.

    Publikation: Forskning › Konferenceartikel i proceeding

  48. Udgivet

    Proceedings of the Workshop on Semantics of Objects as Processes : SOAP'98, July 18, 1998, Aalborg, Denmark. / Hüttel, Hans (Ed.); Nestmann, Uwe (Ed.).

    Århus : Department of Computer Science, Aarhus University, 1998. (B R I C S Notes Series; Nr. NS-98-5).

    Publikation: Forskning › Bog

  49. Udgivet

    Reflective Systems Development. / Mathiassen, Lars.

    I: Scandinavian Journal of Information Systems, Vol. 10, Nr. 1-2, 1998, s. 67-133.

    Publikation: Forskning - peer review › Tidsskriftartikel

  50. Udgivet

    Reflective Systems Development. / Mathiassen, Lars.

    Aalborg : Aalborg Universitetsforlag, 1998. (R : Institut for Elektroniske Systemer, Aalborg Universitet; Nr. R98-5006).

    Publikation: Forskning › Bog

  51. Udgivet

    Requirements, Definitions, and Notations for Spatiotemporal Applications. / Pfoser, Dieter; Tryfona, N.

    ACM-GIS '98 : Proceedings of the 6th International Symposium on Advances in Geographic Information Systems, November 6-7, 1998, Washington, D. C., USA. red. / Laurini, R. : Makki, K. : Pissinou, N. (eds.). Association for Computing Machinery, 1998. s. 124-130.

    Publikation: Forskning › Konferenceartikel i proceeding

  52. Udgivet

    Research Issues in Clinical Data Warehousing. / Pedersen, Torben Bach; Jensen, Christian Søndergaard.

    Proceedings of the Tenth International Conference on Statistical and Scientific Database Management. 1998. s. 43-52.

    Publikation: Forskning › Konferenceartikel i proceeding

  53. Udgivet

    R-tree-based Indexing of Now-Relative Bitemporal Data. / Bliujute, R.; Jensen, C. S.; Saltenis, S.; Slivinskas, G.

    Proceedings of the 24th International Conference on Very Large Databases, August 24-27, 1998, New York City. 1998. s. 345-356.

    Publikation: Forskning › Konferenceartikel i proceeding

  54. Udgivet

    R-tree Based Indexing of Now-Relative Bitemporal Data. / Bliujute, R.; Jensen, C. S.; Saltenis, S.; Slivinskas, G.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-25).

    Publikation: Forskning › Bog

  55. Udgivet

    Software Process Improvement : What Management Tends to Forget. / Aaen, Ivan; Damsgaard, Jan.

    Proceedings of the IFIP 8.2 and 8.6 Joint Working Conference on Information Systems : Current Issues and Future Changes, December 1998. red. / Larsen, T.J. : Levine, L. : DeGross, J.I. (eds.). 1998. s. 89-110.

    Publikation: Forskning › Konferenceartikel i proceeding

  56. Udgivet

    Spatio-Temporal Database Support for Legacy Applications. / Böhlen, M.; Jensen, C. S.; Skjellaug, B.

    Proceedings of the 1998 ACM Symposium on Applied Computing, February 27-March 1, 1998, Atlanta, Georgia. 1998. s. 226-234.

    Publikation: Forskning › Konferenceartikel i proceeding

  57. Udgivet

    Supporting Temporal Data Management Applications via Stratum Approaches. / Torp, K.; Jensen, C. S.; Snodgrass, R. T.

    Proceedings of the 1998 International Database Engineering and Applications Symposium, July 8-10, 1998, Cardiff, Wales. 1998. s. 4-13.

    Publikation: Forskning › Konferenceartikel i proceeding

  58. Udgivet

    Surrogater i Øjeblik : mod migrerering i Obliq. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Sangiorgi, Davide.

    Proceedings of the Workshop on Semantics of Objects as Processes: Brics Notes Series. red. / Hüttel, Hans : Nestmann, Uwe (eds.). NS-98-5. udg. Department of Computer Science, Aarhus University, 1998. s. 43-50.

    Publikation: Forskning › Konferenceartikel i proceeding

  59. Udgivet

    Surrogates in Øjeblik : Towards Migration in Obliq. / Hüttel, Hans; Kleist, Josva; Nestmann, Uwe; Sangiorgi, Davide.

    Proceeding of FOOL5. 1998.

    Publikation: Forskning › Konferenceartikel i proceeding

  60. Udgivet

    Switches and Jumps in Hybrid Action Systems. / Rönkkö, M.; Ravn, P.

    I: Estonian Academy of Sciences. Proceedings. Engineering, Vol. 4, Nr. 2, 1998, s. 106-118.

    Publikation: Forskning - peer review › Tidsskriftartikel

  61. Udgivet

    Systematic Change Management in Dimensional Data Warehousing. / Bliujute, R.; Saltenis, S.; Slivinskas, G.; Jensen, C. S.

    Proceedings of the 3rd International Baltic Workshop on DB and IS, April 15-17, 1998, Riga, Latvia. 1998. s. 27-41.

    Publikation: Forskning › Konferenceartikel i proceeding

  62. Udgivet

    Systematic Change Management in Dimensional Data Warehousing. / Bliujute, R.; Saltenis, S.; Slivinskas, G.; Jensen, C. S.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-23).

    Publikation: Forskning › Bog

  63. Udgivet

    The Design and Implementation of ZCRP Zero Copying Reliable Protocol. / Christiansen, Mikkel; Hagen, J. L.; Nielsen, Brian; Skou, Arne; Skov, K. Q.

    Aalborg : Aalborg University : Department of Computer Science, Aalborg University, 1998. (R : Department of Computer Science, Aalborg University; Nr. R98-5011).

    Publikation: Forskning › Bog

  64. Udgivet

    The Intellimedia WorkBench : an environment for building multimodal systems. / Brøndsted, Tom; Larsen, Lars Bo; Manthey, Michael; McKevitt, Paul; Moeslund, Thomas B.; Olesen, Kristian Grønborg.

    Workshop on Cooperative Multimodal Cooperation, Januar 1998, Tilborg, Holland. 1998. s. 166-170.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  65. Udgivet

    The Intellimedia WorkBench : a Generic Environment for Multimodal Systems. / Brøndsted, Tom; Larsen, Lars Bo; Manthey, Michael; McKevitt, Paul; Moeslund, Thomas B.; Olesen, Kristian Grønborg.

    ICSLP'98 : Proceedings of the 5th International Conference on Spoken Language Processing. <Forlag uden navn>, 1998. s. 273-276.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  66. Udgivet

    The Power of Reachability Testing for Timed Automata. / Aceto, Luca; Bouyer, Patricia; Burgueno, A.; Larsen, Kim Guldstrand.

    Foundations of Software Technology and Theoretical Computer Science : Proceedings of the 18th Conference, Chennai, India, December 17-19, 1998: Lecture Notes in Computer Science. red. / Arvind, V. : Ramanujam, R. (eds.). 1530. udg. IEEE Computer Society Press, 1998. s. 245-256.

    Publikation: Forskning › Konferenceartikel i proceeding

  67. Udgivet

    The Software Factory : Contributions and Illusions. / Aaen, I.; Bøttcher, P.; Mathiassen, Lars.

    1998.

    Publikation: Forskning › Bog

  68. Udgivet

    The Usefulness of Reusing the Idea of the Wheel : Learning Information Systems Modelling. / Nielsen, Peter A.

    Training and Education of Methodology Practioners and Researchers : Proceedings. red. / Jayaratna, N....et al. (eds.). Springer, 1998. s. 397-408.

    Publikation: Forskning › Konferenceartikel i proceeding

  69. Udgivet

    Tools for Presentation and Animation of Dynamic Models in Object-Oriented Design. / Iversen, Lars; Madsen, Per; Nørmark, Kurt.

    Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'98, June 1998. red. / Mughal : Opdahl (eds.). 1998. s. 127-142.

    Publikation: Forskning › Konferenceartikel i proceeding

  70. Udgivet

    Tradelink Electronic Commerce Ltd. : Implementation Strategy. / Farhoomand, Ali F.; Law, K. K.; Ng, P. S. P.; Damsgaard, Jan.

    Hong Kong : Centre for Asian Business Cases, School of Business : The University og Hong Kong, 1998. (Teaching Case; Nr. 98/14C).

    Publikation: Formidling › Bog

  71. Udgivet

    Tradelink Electronic Commerce Ltd. : Implementation Strategy. / Farhoomand, A. F.; Law, K. K.; Ng, P. S. P.; Damsgaard, Jan.

    Hong Kong : Centre for Asian Business Cases, School of Business : Hong Kong University and Harvard Business School Publishing and European Case Clearing House, 1998. (Teaching Note; Nr. 98/14TN).

    Publikation: Formidling › Bog

  72. Udgivet

    Transitioning Temporal Support in TSQL2 to SQL3. / Snodgrass, R. T.; Böhlen, M.; Jensen, C. S.; Steiner, A.

    Temporal Databases : Research and Practice : Proceedings of the Dagstuhl Seminar on Temporal Databases, Schloss Dagstuhl, Germany, June 23-27, 1997. red. / Etzion, O. : Jajodia, S. : Stripada, S. (eds.). Berlin : IEEE Computer Society Press, 1998. s. 150-194 (Lecture Notes in Computer Science; Nr. 1399).

    Publikation: Forskning › Bidrag til bog/antologi

  73. Udgivet

    Traxon Asia Ltd. / Damsgaard, Jan.

    Hong Kong : Centre for Asian Business Cases, School of Business : The University og Hong Kong, 1998. (Teaching Case; Nr. 98/01C).

    Publikation: Formidling › Bog

  74. Udgivet

    Traxon Asia Ltd. / Damsgaard, Jan.

    Hong Kong : Centre for Asian Business Cases, School of Business : Hong Kong University and Harvard Business School Publishing and European Case Clearing House, 1998. (Teaching Note; Nr. 98/01TN).

    Publikation: Formidling › Bog

  75. Udgivet

    Vacuuming Temporal Databases. / Skyt, Janne; Jensen, Christian Søndergaard.

    Aalborg : Aalborg Universitetsforlag, 1998. (Technical Report; Nr. TR-32).

    Publikation: Forskning › Bog

  76. Udgivet

    Verification of large state/event systems using compositionality and dependency analysis. / Lind-Nielsen, Jørn; Andersen, Hans Jørgen; Behrmann, G.; Hulgaard, H.; Kristoffersen, K. J.; Larsen, Kim Guldstrand.

    Tools and Algorithms for the Construction and Analysis of Systems : Proc. of the 4th International Conference, TACAS'98 held as part of the Joint European Conference on Theory and Practice of Software, ETAPS'98, 28 March-4 April 1998, Lisbon, Portugal. red. / Bernhard Steffen. IEEE Computer Society Press, 1998. s. 201-216 (Lecture Notes in Computer Science, Vol. 1384).

    Publikation: Forskning › Konferenceartikel i proceeding

  77. Udgivet

    Verifying Duration Properties of Timed Transition Systems. / Liu, Z.; Ravn, Anders Peter; Li, X.

    Programming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA. red. / Gries, D. : Roever, W.-P. de (eds.). Kluwer Academic Publishers, 1998. s. 327-345.

    Publikation: Forskning › Konferenceartikel i proceeding

  78. Udgivet

    What About Failures? : Suggestions for an Alternative Computing Education Activity. / Nulden, U.; Scheepers, H.

    I: Information Technology Management, Vol. 2, 1998, s. 133-144.

    Publikation: Forskning - peer review › Tidsskriftartikel

  79. 1997
  80. Udgivet

    A Characterization of Finitary Bisimulation. / Aceto, Luca; Ingolfsdottir, Anna.

    Århus : Department of Computer Science, Aarhus University, 1997. (Brics Report Series; Nr. RS-97-26).

    Publikation: Forskning › Bog

  81. Udgivet

    A Characterization of Finitary Bisimulation. / Aceto, Luca; Ingolfsdottir, Anna.

    I: Information Processing Letters, Vol. 64, Nr. 3, 1997, s. 127-141.

    Publikation: Forskning - peer review › Tidsskriftartikel

  82. Udgivet

    A Complete Equational Axiomatization for MPA with String Iteration. / Aceto, Luca; Groote, J. F.

    Amsterdam : Centrum voor Wiskunde en Informatica, 1997. (Report; Nr. SEN-R9708).

    Publikation: Formidling › Bog

  83. Udgivet

    A Compositional Proof of a Real-Time Mutual Exclusion Protocol. / Kristoffersen, K. J.; Laroussinie, F.; Larsen, Kim Guldstrand; Pettersson, P.; Yi, W.

    TAPSOFT'97, Theory and Practice of Software Development : Proceedings of the 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997: Lecture Notes in Computer Science. red. / Bidoit, Michel : Dauchet, Max (eds.). 1214. udg. IEEE Computer Society Press, 1997.

    Publikation: Forskning › Konferenceartikel i proceeding

  84. Udgivet

    A Guide to Manage Software Engineering Technologies. / Mathiassen, Lars; Sørensen, Carsten.

    Diffusion, Transfer, and Implementation of Information Technology. red. / McMaster, T. : Wastel, D. (eds.). 1997.

    Publikation: Forskning › Bidrag til bog/antologi

  85. Udgivet

    A method for diagnosing in large medical expert systems based on causal probabilistic networks. / Suojanen, Marko; Olesen, Kristian Grønborg; Andreassen, Steen.

    Artificial Intelligence in Medicine: 6th Conference on Artificial Intelligence in Medicine Europe, AIME '97, 23-26 March 1997, Grenoble, France. Proceedings. red. / Elpida Keravnou; Catherine Garbay; Robert Baud; Jeremy Wyatt. Berlin : Springer, 1997. s. 285-295 (Lecture Notes in Artificial Intelligence : Subseries of Lecture Notes in Computer Science; Nr. 1211).

    Publikation: Forskning › Konferenceartikel i proceeding

  86. Udgivet

    A Notation for Spatiotemporal Queries. / Tsotras, V.; Jensen, C. S.; Snodgrass, R. T.

    Aalborg : Aalborg Universitetsforlag, 1997. (Technical Report; Nr. TR-10).

    Publikation: Forskning › Bog

  87. Udgivet

    Bayesian Networks and Influence Diagrams. / Jensen, Finn V.

    Proceedings of The 1st European Conference for Information Technology in Agriculture, June 15-18, 1997, The Royal Veterinary and Agricultural University, Copenhagen, Denmark. <Forlag uden navn>, 1997. s. 429-440.

    Publikation: Forskning › Konferenceartikel i proceeding

  88. Udgivet

    Bayesian Networks and Influence Diagrams for Risk Analysis. / Jensen, Finn V.

    Risk Management Strategies in Agriculture : State of the Art and Future. 1997.

    Publikation: Forskning › Bidrag til bog/antologi

  89. Udgivet

    Beslutningsstøttesystem til styring af antibiotikabehandling : et passende emne for MTV?. / Andreassen, Steen; Kristensen, B.; Schønheyder, H. C.; Kjær, A. G.; Olesen, Kristian Grønborg; Leibovici, L.

    Sundhedsstyrelsens Årsmøde 1997 om Kvalitetsudvikling og Medicinsk Teknologivurdering (MTV), April 1997, København, Danmark. 1997. s. 41.

    Publikation: Forskning › Konferenceartikel i proceeding

  90. Udgivet

    Compositional Safety Logics. / Larsen, Kim Guldstrand; Andersen, J. H.

    Århus : Daimi : Department of Computer Science, Aarhus University, 1997. (Brics Report Series; Nr. RS-97-13).

    Publikation: Forskning › Bog

  91. Udgivet

    Context Dependent Minimization of State/Event Systems. / Behrmann, G.; Kristoffersen, K. J.; Larsen, Kim Guldstrand.

    Aalborg : Aalborg Universitetsforlag, 1997.

    Publikation: Forskning › Bog

  92. Udgivet

    Continuoius Modeling of Real-Time and Hybrid Systems : From Concepts to Tools. / Larsen, Kim Guldstrand; Steffen, B.; Weise, C.

    I: International Journal on Software Tools for Technology Transfer, Vol. 1, 1997.

    Publikation: Forskning - peer review › Tidsskriftartikel

  93. Udgivet

    Efficient Verification of Real-Time Systems : Compact Data Structure and State-Space Reduction. / Larsen, Kim Guldstrand; Larsson, F.; Pettersson, P.; Yi, Wang.

    Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, 1997. s. 14-24.

    Publikation: Forskning › Konferenceartikel i proceeding

  94. Udgivet

    Evaluating Temporally Extended ER-Models. / Gregersen, H.; Jensen, C. S.; Mark, L.

    Proceedings of the CAiSE'97/IFIP 8.1 International Workshop on Evaluation of Modeling Methods in Systems Analysis and Design, June 16-17, 1997, Barcelona, Spain. 1997.

    Publikation: Forskning › Konferenceartikel i proceeding

  95. Udgivet

    Formal Modelling and Analysis of an Audio/Video Protocol : an Industrial Case Study using Uppaal. / Havelund, Klaus; Larsen, Kim Guldstrand; Skou, Arne.

    Proceedings of the 18th IEEE Real-Time Systems Symposium, RTSS'97, San Francisco, Calif., December 3-5, 1997. IEEE Computer Society Press, 1997. s. 2-13.

    Publikation: Forskning › Konferenceartikel i proceeding

  96. Udgivet

    Hong Kong's EDI Bandwagon, Derailed or on the Right Track?. / Damsgaard, Jan; Lyytinen, K.

    Facilitating Technology Transfer Through Partnership : Learning from Practice and Research. red. / McMaster, T. : Mumford, B. : Swanson, B. : Warboys, B. : Wastell, D. (eds.). 1997.

    Publikation: Forskning › Bidrag til bog/antologi

  97. Udgivet

    Layered Temporal DBMSs - Concepts and Techniques. / Torp, K.; Jensen, C. S.; Böhlen, M.

    Proceedings of the 5th International Conference on Database Systems for Advanced Applications, April 1-4, 1997, Melbourne, Australia. 1997. s. 37-380.

    Publikation: Forskning › Konferenceartikel i proceeding

  98. Udgivet

    Local computation with valuations from a commutative semigroup. / Lauritzen, Steffen L.; Jensen, Finn V.

    I: Annals of Mathematics and Artificial Intelligence, Vol. 21, 1997, s. 51-69.

    Publikation: Forskning - peer review › Tidsskriftartikel

  99. Udgivet

    Model Checking via Reachability Testing for Timed Automata. / Aceto, Luca; Burgueño, A.; Larsen, Kim Guldstrand.

    Århus : Daimi : Department of Computer Science, Aarhus University, 1997. (Brics Report Series; Nr. RS-97-29).

    Publikation: Forskning › Bog

  100. Udgivet

    Modelling and Analysis of a Collision Avoidance Protocol using SPIN and UPPAAL. / Skou, Arne; Larsen, Kim Guldstrand; Jensen, Henrik Ejersbo.

    Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. American Mathematical Society, 1997. s. 33-50.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  101. Udgivet

    Myopic Value of Information for Influence Diagrams. / Dittmer, Søren L.; Jensen, Finn V.

    13th Conference on Uncertainty in Artificial Intelligence. Kaufmann, 1997. s. 142-149.

    Publikation: Forskning › Konferenceartikel i proceeding

  102. Udgivet

    Nested Junction Trees. / Kjærulff, Uffe.

    13th Conference on Uncertainty in Artificial Intelligence. Kaufmann, 1997. s. 294-301.

    Publikation: Forskning › Konferenceartikel i proceeding

Forrige 1...21 22 23 24 25 26 27 28 Næste

© Videnbasen, Aalborg Universitet · vbn@aub.aau.dk · Om VBN