• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Søgeresultater

  • Bidrag til bog/antologi

    Application system design - energy optimisation

    Albano, M., Castineira, R., Desdouits, C., Ferreira, L. L., Le Guilly, T., Isasa, I., Jokinen, J., Kondratjevs, K., Kunicina, N., Manero, L., Milo, A., Monge, J., Le Pape, C., Pedersen, P. D., Pedersen, T. B., Olsen, P., Siksnys, L., Skou, A. J., Smid, R., Socorro, R., & 2 flereStluka, P. & Zabasta, A., 6 feb. 2017, IoT Automation: Arrowhead Framework. Delsing, J. (red.). CRC Press, s. 211-247 36 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    1 Citationer (Scopus)
  • Architecture and Implementation of Spatio-Temporal DBMS

    Breuning, M., Can, T., Bøhlen, M. H., Dieker, S., Güting, R. H., Jensen, C. S., Relly, L., Rigaux, P. R., Schek, H. -J. & Scholl, M., 2003, Spatio-Temporal Databases : The Chorochronos Approach. Sellis, T.: Koubarakis, M.: Frank, A.: Grumbach, S.: Güting, G. H.: Jensen, C. J. : Lorentzos, N.: Manolopou-los, Y. : Nardelli, E.: Pernici, B.: Theodoulidis, B.: Schek, H. –J. : Scholl, M. editors, (red.). Berlin: IEEE Computer Society Press, (Lecture Notes in Computer Science; Nr. 2520).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • A Second Example

    Snodgrass, R. T., Jensen, C. S., Dyreson, C. E., Käefer, W., Kline, N. & Roddick, J. F., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 8 sep. 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (red.). 1 udg. Springer, Bind 14080. s. 297-322 26 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • A Survey of Valid-Time Selection and Projection in Temporal Query Languages

    Hsu, S., Jensen, C. S. & Snodgrass, R. T., 1994, The TSQL2 Language Specification. s. 23

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • A Theory of Inductive Query Answering

    De Raedt, L., Jaeger, M., Lee, S. D. & Mannila, H., 2010, Inductive Databases and Constraint-Based Data Mining. Dzeroski, S., Goethals, B. & Panov, P. (red.). Springer, s. 79-103

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    3 Citationer (Scopus)
  • Automata on Series-Parallel Biposets

    Esik, Z. & Néemeth, Z. L., 2001, Development in Language Theory. Kuich,W. (ed.) (red.). Wien, s. 218-229

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Automated Orchestration of Security Chains Driven by Process Learning

    Schnepf, N., Badonnel, R., Lahmadi, A. & Merz, S., okt. 2021, Communication Networks and Service Management in the era of Artificial Intelligence and Machine Learning. Zincir-Heywood, N., Diao, Y. & Mellia, M. (red.). Wiley-IEEE press, s. 289-320 (IEEE Press Series on Networks and Service Management).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Bayesian Graphical Models

    Jensen, F. V., 2001, Encyclopedia of Environmetrics. Sussex, UK: Wiley

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Bayesian modelling of colour's usage impact to web credibility

    Papachristos, E., Tselios, N. & Avouris, N., 2006, ECAI 2006: 17th European Conference on Artificial Intelligence August 29 - September 1, 2006, Riva del Garda, Italy. Brewka, G., Coradeschi, S., Perini, A. & Traverso, P. (red.). s. 41-45 5 s. (Frontiers in Artificial Intelligence and Applications, Bind 141).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    4 Citationer (Scopus)
  • Bayesian Networks

    Jensen, F. V., dec. 2009, Wiley Interdisciplinary Reviews: Computational Statistics. Wiley, Bind 1/3. s. 307-315

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    29 Citationer (Scopus)
  • Bayesian Networks and Influence Diagrams for Risk Analysis

    Jensen, F. V., 1997, Risk Management Strategies in Agriculture : State of the Art and Future.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Bayesian Networks as a Participatory Modelling Tool for Ground Water Protection

    Henriksen, H. J., Rasmussen, P., Brandt, G., von Bülow, D. & Jensen, F. V., 2007, Topics on System Analysis and Integrated Water Resource Management. Castelletti, A. & Sessa, R. S. (red.). Great Britain: Pergamon Press, 27 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Benign Interaction of Security Domains

    Nielson, F., Hansen, R. R. & Nielson, H. R., 2021, Protocols, Strands, and Logic: Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday. Dougherty, D., Meseguer, J., Mödersheim, S. A. & Rowe, P. (red.). Springer, s. 312-331 20 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13066 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Beomap: Ad Hoc Topic Maps for Enhanced Exploration of Social Media Data

    Leginus, M., Zhai, C. & Dolog, P., 1 jun. 2015, Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings. Cimiano, P., Frasincar, F., Houben, G-J. & Schwabe, D. (red.). Springer, s. 200-218 19 s. (Lecture Notes in Computer Science; Nr. 9114).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    1 Citationer (Scopus)
  • Beskrivelse af agil udvikling og perspektiver for innovativ softwareudvikling

    Aaen, I., 2008, Agil udvikling: letvægtsmetoder med fokus på inkrementel udvikling af indlejret og teknisk software. Skou, A., Aaen, I. & Biegel, J. (red.). Aalborg: TEKKVA Consult, s. 13-34 22 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiFormidling

  • Bio-Logics

    Mardare, R. I., 2007, Grigore C. Moisil and His Followers in the Field of Theoretical Computer Science. Romanian Academy of Science

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Bjørnetjeneste: Using the City as a Backdrop for Location-Based Interactive Narratives

    Paay, J., Kjeldskov, J., Andersen, J. R., Bahr, D. S., Hede, P., Hornbek, K. S. & Jensen, J., 2011, From Social Butterfly to Engaged Citizen: Urban Informatics, Social Media, Ubiquitous Computing, and Mobile Technology to Support Citizen Engagement. Foth, M., Forlano, L., Satchell, C. & Gibbs, M. (red.). Cambridge, MA: MIT Press

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    Fil
    1196 Downloads (Pure)
  • Body-Based User Interfaces

    Strohmeier, P., Mottelson, A., Pohl, H., McIntosh, J., Knibbe, J., Bergström, J., Jansen, Y. & Hornbæk, K., 30 nov. 2022, The Routledge Handbook of Bodily Awareness. Alsmith, A. J. T. & Longo, M. R. (red.). Routledge, s. 478-502 25 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    1 Citationer (Scopus)
  • Building IT Risk Management Approaches: An Action Research Method

    Iversen, J. H., Mathiassen, L. & Nielsen, P. A., 2006, Measuring Information Systems Delivery Quality. Duggan, E. W. & Reichgelt, H. (red.). Hershey, PA: Idea Group Publishing

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    1 Citationer (Scopus)
  • Causal probabilistic network modeling: an illustration of its role in the management of chronic diseases

    Hovorka, R., Andreassen, S., Benn, J. J., Olesen, K. G. & Carson, E. R., 1993, IMIA Yearbook of Medical Informatics 1993: Sharing Knowledge and Information. van Bemmel, J. H. & McCray, A. T. (red.). Stuttgart: Schattauer, s. 328-340 (IMIA Yearbook of Medical Informatics).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • CHAMELEON: a general platform for performing intellimedia

    Brøndsted, T., Dalsgaard, P., Larsen, L. B., Manthey, M., Kevitt, P. M., Moeslund, T. B. & Olesen, K. G., 2002, Language, vision and music. Mc Kevitt, Paul (ed.) (red.). John Benjamins Publishing Company, s. 79-96 (Advances in Consciousness Research; Nr. 35).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Cloud Intelligence

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. 2 udg. Springer Publishing Company, s. 481-482 2 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Cohesion and Coherence in Programs

    Andersen, P. B., 2003, A Mind at Work. M. Vilanova & F. Chorda (eds.) (red.). Heidelberg: Synchron Wissenschaftsverlag der Autoren, s. 7-20

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Combining Data Warehouse and Data Mining Techniques for Web Log Analysis

    Pedersen, T. B., Jespersen, S. & Thorhauge, J., 2007, Research and Trends in Data Mining Technologies and Applications: Advances in Data Warehousing and Mining. IGI global, s. 1-28

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Combining Data Warehouse and Data Mining Techniques for Web Log Analysis

    Pedersen, T. B., Jespersen, S. & Thorhauge, J., 2008, Data Mining and Warehousing: Concepts, Methodologies, Tools and Applications. Wang, J. (red.). Hershey, PA, USA: IGI global, Bind 6. s. 3364-3385

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Combining data warehousing and data mining techniques for web log analysis

    Pedersen, T. B., Thorhauge, J. & Jespersen, S. E., 2006, Research and Trends in Data Mining Technologies and Applications. IGI Global Publishing, s. 1-28 28 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Combining Epistemic Logic and Hennessy-Milner Logic

    Knight, S., Mardare, R. I. & Panangaden, P., 2012, Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (red.). Springer Science+Business Media, Bind 7230. s. 219-243 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    1 Citationer (Scopus)
  • Competing Values in Software Process Improvement: An assumption analysis of CMM from an organizational culture perspective

    Ngwenyama, O. & Nielsen, P. A., 2008, Global Information Systems: The Role of Culture in IS Management. Leidner, D. E. & Kayworth, T. R. (red.). Oxford: Butterworth-Heinemann

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    2 Citationer (Scopus)
  • Compositional Verification of Probabilistic Processes

    Larsen, K. G. & Skou, A., 1992, CONCUR'92. Cleaveland, W.R. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    65 Citationer (Scopus)
  • Conceptual Models for Spatiotemporal Applications

    Tryfona, N., Price, R. J. & Jensen, C. S., 2003, Multidimensional databases : Problems and Solutions. M. Rafanelli (ed.) (red.). Idea Group Publishing

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Concurrent Development of Supply Chain Management and IT Architecture: Grundfos, Danfoss, and Martin Group

    Jensen, P. K., Karlsbjerg, J. & Møller, C., 2001, Organizing for Networked Information Technologies: Cases in Process Integration and Transformation. Hörluck, J., Kræmmergaard Jensen, P., Rask, M. & Rose, J. (red.). Aalborg: Aalborg Universitetsforlag, s. 121-130 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiFormidling

  • Conservative Extension in Structural Operational Semantics

    Aceto, L., Fokkink, J. & Verhoef, C., 2001, Current Trends in Theoretical Computer Science : Entering the 21st Century. Paun, G., Rozenberg, G. & Salomaa, A. (red.). World Scientific, s. 504-524

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Continuous-Time Models for System Design and Analysis

    Alur, R., Giacobbe, M., Henzinger, T., Larsen, K. G. & Mikučionis, M., 2019, Computing and Software Services. Heidelberg: Springer, s. 452-477 (Lecture Notes in Computer Science, Bind 10000).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    10 Citationer (Scopus)
  • Converging from Branching to Linear Metrics on Markov Chains

    Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Theoretical Aspects of Computing - ICTAC 2015: 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings. Leucker, M., Rueda, C. & Valencia, F. D. (red.). Springer, s. 349-367 18 s. (Lecture Notes in Computer Science; Nr. 9399).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    16 Citationer (Scopus)
  • Convex Lattice Equation Systems

    Bacci, G., Bacci, G., Jensen, M. C. & Larsen, K. G., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Springer, Bind 13660. s. 438-455 18 s. (Lecture Notes in Computer Science (LNCS)).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    1 Citationer (Scopus)
  • Cryptography Basics

    Wattenhofer, R. & Förster, K-T., 6 mar. 2017, Distributed Ledger Technology: The Science of the Blockchain. Wattenhofer, R. (red.). Second Revised Edition udg. Inverted Forest Publishing, s. 49-70 22 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiUndervisning

  • CTL as an intermediate language

    Jones, N. D. & Hansen, R. R., 2008, Verification, Model Checking, and Abstract Interpretation. Springer, s. 4- (Lecture Notes in Computer Science; Nr. 4905).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Cube

    Pedersen, T. B., 7 dec. 2018, Encyclopedia of Database Systems. Liu, L. & Özsu, M. T. (red.). 2nd udg. New York: Springer, s. 1

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Database Aspects of Location-Based Services

    Jensen, C. S., 2004, Location-Based Services. Schiller, J. & Voisard, A. (red.). Morgan Kaufmann, s. 115-147 33 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    23 Citationer (Scopus)
  • Database Systems

    Jensen, C. S., Bækgaard, L. & Böhlen, M. H., 1996, Computer Science, Aalborg University - Research Evaluation 1991-1995. Jensen, C. S. (ed.) (red.).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Data Mining For Robust Flight Scheduling

    Assent, I., Krieger, R., Welter, P., Herbers, J. & Seidl, T., 2009, Data Mining for Business Applications. Springer, s. 267-282

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

    1 Citationer (Scopus)
  • Data Warehousing in Cloud Environments

    Thomsen, C. & Pedersen, T. B., 5 apr. 2017, Encyclopedia of Database Systems. New York: Springer, 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Design and Management of Web Service Transactions with Forward Recovery

    Dolog, P., Schäfer, M. & Nejdl, W., 2014, Advanced Web Services. Bouguettaya, A., Sheng, Q. Z. & Daniel, F. (red.). Springer VS, s. 3-27 25 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    5 Citationer (Scopus)
  • Design Verifikation Patterns

    Knudsen, J., Ravn, A. P. & Skou, A., 2007, Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of Their 70th Birthdays. Jones, C., Liu, Z. & Woodcock, J. (red.). Berlin /Heidelberg: Springer, s. 399-413 (Lecture Notes in Computer Science, Bind 4700).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Determining the Respiratory State From a Seismocardiographic Signal - A Machine Learning Approach

    Ulrich, C., Jensen, M., Oberlin, R., Tavakolian, K., Khosrow-Khavar, F., Blaber, A., Sørensen, K. & Schmidt, S., 23 jan. 2018, 2016 Computing in Cardiology Conference (CinC).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

  • Determining Time of Queries for Re-ranking Search Results

    Kanhabua, N. & Nørvåg, K., 2010, Proceedings of the 14th European conference on Research and advanced technology for digital libraries. s. 261-272 12 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    53 Citationer (Scopus)
  • Developer Stories: Improving Architecture in Agile Practice: How Facilitating Knowledge Management and Putting the Customer in the Drivers Seat Enables Sound Architectural Design

    Tjørnehøj, G., Jensen, R. N. & Platz, N., 2008, Software and Data Technologies: Software and Data TechnologiesSecond International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers. Filipe, J., Shishkov, B., Helfert, M. & Maciaszek, L. A. (red.). Berlin Heidelberg: Springer, Bind 22. s. 172-184

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskningpeer review

    1 Citationer (Scopus)
  • Developing Intelligent Multimedia Applications

    Brøndsted, T., Larsen, L. B., Manthey, M., Kevitt, P. M., Moeslund, T. B. & Olesen, K. G., 2002, Multimodality in Language and Speech Systems. Granström, Björn (ed.) (red.). Kluwer Academic Publishers, (Text, speech and language technology; Nr. 19).

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning

  • Diagnosing Metrics Practices in a Software Organization

    Frederiksen, H. D. & Mathiassen, L., 2002, New Perspectives on Information Systems Development : Theory, Methods and Practice. Harindranath, G. (ed.) (red.). New York: Kluwer Academic Publishers

    Publikation: Bidrag til bog/antologi/rapport/konference proceedingBidrag til bog/antologiForskning