Institut for Datalogi

1 - 100 ud af 2757Pr. side: 100
RSS feed af denne liste
Sortering: Udgivelsesår
  1. 2014
  2. Afsendt

    The Duality of Creativity and Technology Innovations: How Ideas and Emerging Technologies Evolve and Multiply In Software Organizations. / Ulrich, Frank; Mengiste, Shegaw Anagaw.

    I: Journal of the Association of Information Systems (JAIS), 2014, s. 1-40.

    Publikation: Forskning - peer review › Tidsskriftartikel

  3. 2013
  4. E-pub ahead of print

    A Context-Aware User Interface for Wireless Personal-Area Network Assistive Environments. / Poul, Bastien; Marcombes, Séverin; David, Alexandre; Struijk, Lotte N. S. Andreasen; Le Moullec, Yannick.

    I: Wireless Personal Communications, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  5. In press

    A Modal Specification Theory for Components with Data. / Bauer, Sebastian S.; Larsen, Kim Guldstrand; Legay, Axel; Nyman, Ulrik; Wasowski, Andrzej.

    Formal Aspects of Component Software: 8th International Workshop, FACS 2011. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  6. Accepteret

    A Probabilistic Data Model and Algebra for Location-Based Data Warehouses and Their Implementation.. / Timko, Igor; Dyreson, Curtis; Pedersen, Torben Bach.

    I: Geoinformatica, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  7. Accepteret

    A Unified Model for Stable and Temporal Topic Detection from Social Media Data. / Yin, Hongzhi; Cui, Bin; Lu, Hua; Huang, Yuxin; Yao, Junjie.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  8. Udgivet

    Action Investment Energy Games. / Larsen, Kim Guldstrand; Laursen, Simon; Srba, Jiri.

    Proceedings of the 8th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'12)Springer-Verlag2012 To appear.. Vol. 7721 Netherlands : Springer Berlin / Heidelberg, 2013. s. 155-167 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  9. Accepteret

    Active Learning of Markov Decision Processes for System Verification. / Chen, Yingke; Nielsen, Thomas Dyhre.

    International Conference on Machine Learning and Applications (ICMLA). 2013.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  10. E-pub ahead of print

    An efficient approach to suggesting topically related web queries using hidden topic model. / Li, L.; Xu, G.; Dolog, P.; Yang, Z.; Kitsuregawa, M.; Zhang, Y.

    I: World Wide Web (New York), 01.01.2013, s. 1-25.

    Publikation: Forskning - peer review › Tidsskriftartikel

  11. Udgivet

    An Integrated Pruning Criterion for Ensemble Learning Based on Classification Accuracy and Diversity. / Fu, Bin; Wang, Zhihai; Pan, Rong; Xu, Guandong; Dolog, Peter.

    7th International Conference on Knowledge Management in Organizations: Service and Cloud Computing. Vol. 172 Springer, 2013. s. 47-58 (Lecture Notes in Computer Science). (Advances in Intelligent Systems and Computing, Vol. 172).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  12. Afsendt

    An Open-Source ITS Platform. / Andersen, Ove; Torp, Kristian.

    2013. 82 s.

    Publikation: Forskning › Rapport

  13. Udgivet

    Bayesian Networks and Influence Diagrams: A Guide to Construction and Analysis. / Kjærulff, Uffe Bro; Madsen, Anders Læsø.

    2. udg. New York : Springer Publishing Company, 2013. (Information Science and Statistics, Vol. 22).

    Publikation: Undervisning - peer review › Bog

  14. Udgivet

    Business-case metode for kommunale IT-investeringer, version 2.0. / Nielsen, Peter Axel; Persson, John Stouby.

    Software Innovation Publisher, 2013. 24 s.

    Publikation: Forskning - peer review › Bog

  15. Accepteret

    C-Cube: Real-Time and Elastic Continuous Clustering in the Clouds. / Zhang, Zhenjie; Shu, Hu; Chong, Zhihong; Lu, Hua; Yang, Yin.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  16. In press

    Coccinelle : Tool support for automated CERT C Secure Coding Standard certification. / Olesen, Mads Chr.; Hansen, Rene Rydhof; Lawall, Julia; Palix, Nicolas Jean-Michel.

    I: Science of Computer Programming, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  17. Accepteret

    Competing Values in Software Process Improvement: A Study of Cultural Profiles. / Mûller, Sune Dueholm; Nielsen, Peter Axel.

    I: Information Technology and People, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  18. Udgivet

    Complete Abstractions of Dynamical Systems by Timed Automata. / Sloth, Christoffer; Wisniewski, Rafael.

    I: Nonlinear Analysis: Hybrid Systems, Vol. 7, Nr. 1, 02.2013, s. 80-100.

    Publikation: Forskning - peer review › Tidsskriftartikel

  19. Afsendt

    Compression of bitmaps and values. / Deliege, Francois (Opfinder); Pedersen, Torben Bach (Opfinder).

    Patentnummer: 2010/050199. jul 29, 2010.

    Publikation: Forskning › Patent

  20. In press

    Creativity and Information Systems in a Hypercompetitive Environment: A Literature Review. / Mûller, Sune Dueholm; Ulrich, Frank.

    I: Communications of the Association for Information Systems (CAIS), 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  21. Afsendt

    Designing Mobile Interactions: The continual convergence of form and context : Volume 2. / Kjeldskov, Jesper.

    2013. 307 s.

    Publikation: Forskning › Doktordisputats

  22. Afsendt

    Designing Mobile Interactions: The continual convergence of form and context : Volume 1. / Kjeldskov, Jesper.

    2013. 323 s.

    Publikation: Forskning › Doktordisputats

  23. E-pub ahead of print

    Designing on-site: Facilitating Participatory Contextual Architecture with Mobile Phone. / Skov, Mikael B.; Kjeldskov, Jesper; Paay, Jeni; Husted, Niels; Nørskov, Jacob Schmidt; Pedersen, Kenneth.

    I: Pervasive and Mobile Computing, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  24. E-pub ahead of print

    Digital Urban Ambience: Mediating Context on Mobile Devices in the City. / Kjeldskov, Jesper; Skov, Mikael B.; Nielsen, Glen; Vestergaard, Michael; Thorup, Søren.

    I: Pervasive and Mobile Computing, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  25. Udgivet

    Efficient and Scalable Continuous Skyline Monitoring in Two-Tier Streaming Settings. / Lu, Hua; Zhou, Yongluan; Haustad, Jonas.

    I: Information Systems, Vol. 38, Nr. 1, 2013, s. 68-81.

    Publikation: Forskning - peer review › Tidsskriftartikel

  26. Accepteret

    Efficient Distance-Aware Query Evaluation on Indoor Moving Objects. / Xie, Scott, Xike; Lu, Hua; Pedersen, Torben Bach.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  27. Accepteret

    Efficient Querying of Correlated Uncertain Data with Cached Results. / Chen, Jinchuan; Zhang, Min; Xie, Xike; Du, Xiaoyong.

    Database Systems for Advanced Applications. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  28. E-pub ahead of print

    Efficient Sentinel Mining Using Bitmaps on Modern Processors. / Middelfart, Morten; Pedersen, Torben Bach; Krogsgaard, Jan.

    I: I E E E Transactions on Knowledge & Data Engineering, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  29. In press

    Expanding user's query with tag-neighbors for effective medical information retrieval. / Durao, F.; Dolog, P.; Lage, Ricardo Gomes; Bayyapu, K.; Xu, G.

    I: Multimedia Tools and Applications, 28.12.2013, s. 1-25.

    Publikation: Forskning - peer review › Tidsskriftartikel

  30. Udgivet

    Formal Verification of Continuous Systems. / Sloth, Christoffer.

    2013. 225 s.

    Publikation: Forskning › PhD. afhandling

  31. In press

    From classic NorduGrid ARC to the next generation ARC middleware. / Bayer, Daniel; Černák, Jozef; Ellert, Mattias; Frågåt, Thomas; Konstantinov, Aleksandr; Kónya, Balázs; Möller, Steffen; Müller, Henning; Nagy, Zsombor; Nordén, Markus; Orellana, Frederik; Ould-Saada, Farid; Qiang, Weizhong; Read, Alex; Smirnova, Oxana; Stoll, Peter; Szalai, Ferenc; Taga, Adrian; Jensen, Henrik Thostrup; Wäänänen, Anders.

    2013. Paper presented at PARA08, Trondheim, Norge.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  32. Udgivet

    Graph based techniques for tag cloud generation.. / Leginus, Martin; Dolog, Peter; Lage, Ricardo Gomes.

    Proceedings of the 24th ACM Conference on Hypertext and Social Media. New York, NY, USA : Association for Computing Machinery, 2013. s. 148-157.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  33. Accepteret

    History-preserving bisimilarity for higher-dimensional automata via open maps. / Fahrenberg, Uli.

    I: Logical Methods in Computer Science, 2013, s. 2-20.

    Publikation: Forskning - peer review › Tidsskriftartikel

  34. In press

    HomesteadCreator : Using Card Sorting In Search Of A Guiding Ontology For Interface Objects In Namibia. / Rodil, Kasper; Rehm, Matthias; Winschiers-Theophilus, Heike.

    14th IFIP TC13 Conference on Human-Computer Interaction. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  35. Accepteret

    Improving IT Project Portfolio Management: Lessons Learned. / Pedersen, Keld.

    I: Journal of Information Technology Management, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  36. E-pub ahead of print

    Improving Tag-Based Recommendation with the Collaborative Value of Wiki Pages for Knowledge Sharing. / Durao, Frederico; Dolog, Peter.

    I: Journal of Ambient Intelligence and Humanized Computing, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  37. Udgivet

    It-folks kreativitet skal udnyttes. / Ulrich, Frank.

    I: Prosabladet. 2013 ; 43(1), 1. januar 2013. s. 28-29.

    Publikation: Formidling › Avisartikel

  38. Afsendt

    IT PPM Decision Making in Practice: Windows of Opportunities, Political Behavior and Faked Rationality. Evidence from Danish Local Governments. / Agger Nielsen, Jeppe; Pedersen, Keld.

    I: Government Information Quarterly, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  39. Accepteret

    Joint Top-K Spatial Keyword Query Processing. / Wu, Dinming; Yiu, Man Lung; Cong, Gao; Jensen, Christian Søndergaard.

    I: IEEE Transactions on Knowledge and Data Engineering, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  40. In press

    KSQ: Top-k Similarity Query on Uncertain Trajectories. / Ma, Chunyang; Lu, Hua; Shou, Lidan; Chen, Gang.

    I: I E E E Transactions on Knowledge & Data Engineering, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  41. Udgivet

    Mapping the Challenges of Creativity Management in IS and ISD Organizations. / Ulrich, Frank.

    2013. s. 1.

    Publikation: Forskning - peer review › Working paper

  42. In press

    Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach. / Nyman, Ulrik.

    WICERT 2013 proceedings. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  43. Udgivet

    Mobile Computing. / Kjeldskov, Jesper.

    The Encyclopedia of Human-Computer Interaction. red. / Mads Soegaard; Rikke Friis Dam. The Interaction Design Foundation, 2013.

    Publikation: Forskning - peer review › Encyclopædiartikel

  44. Udgivet

    Model-Checking Web Services Business Activity Protocols. / Marques, Abinoam P.; Ravn, Anders Peter; Srba, Jiri; Vighio, Saleem.

    I: International Journal on Software Tools for Technology Transfer, Vol. 15, Nr. 2, 2013, s. 125-147.

    Publikation: Forskning - peer review › Tidsskriftartikel

  45. E-pub ahead of print

    On-Demand Multidimensional Data Integration: Towards A Semantic Foundation for Cloud Intelligence. / Pedersen, Torben Bach; Pedersen, Dennis ; Riis, Karsten.

    I: Journal of Supercomputing, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  46. Accepteret

    On Discovery of Gathering Patterns from Trajectories. / Zheng, Kai; Zheng, Yu; Yuan, Jing; Shang, Shuo.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  47. In press

    On-the-Fly Exact Computation of Bisimilarity Distances. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

    LNCS TACAS proceedings. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  48. Udgivet

    Probabilistic decision graphs for optimization under uncertainty. / Jensen, Finn V.; Nielsen, Thomas Dyhre.

    I: Annals of Operations Research, Vol. 204, Nr. 1, 2013, s. 223-248.

    Publikation: Forskning - peer review › Tidsskriftartikel

  49. Udgivet

    Programmering af multi-core systemer er it verdens største udfordring : Multicore og parallelisering har afløst strategien med at fordoble transistorer hver 18 måned. / Thomsen, Bent.

    I: ITOS - Industriel Teknologi og Software, Vol. 2, 2013, s. 5-6.

    Publikation: Formidling › Tidsskriftartikel

  50. Accepteret

    Quantitative Models and Analysis for Reactive Systems. / Thrane, Claus.

    2013. 170 s.

    Publikation: Forskning › PhD. afhandling

  51. In press

    Quantities in Games and Modal Transition Systems. / Juhl, Line.

    2013. 172 s. (Publication : Department of Computer Science, The Faculty of Engineering and Science, Aalborg University).

    Publikation: Forskning › PhD. afhandling

  52. Udgivet

    Real-time Business Intelligence in the MIRABEL Smart Grid System. / Siksnys, Laurynas; Fischer, Ulrike; Kaulakiene, Dalia; Khalefa, Mohamed; Lehner, Wolfgang; Pedersen, Torben Bach; Thomsen, Christian.

    Proc. of BIRTE, 2012. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  53. Udgivet

    Searching the Web of Data. / Hose, Katja; de Melo, Gerard.

    Advances in Information Retrieval - 35th European Conference on IR Research, ECIR 2013, Moscow, Russia, March 24-27, 2013. Proceedings. 2013. s. 869-873.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  54. Udgivet

    Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS. / Luckow, Kasper Søe; Bøgholm, Thomas; Thomsen, Bent.

    I: WiP Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013, s. 41-44.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  55. Udgivet

    TagPad: Supporting Field Interviews and Analysis. / Bornø, Nis Anders; Barkhuus, Louise.

    iConference 2013 Proceedings. 2013. s. 316-325.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  56. In press

    The Agile and the Disciplined Software Approaches: Combinable or just Compatible?. / Heeager, Lise Tordrup.

    2013.

    Publikation: Forskning - peer review › Paper uden forlag/tidsskrift

  57. Afsendt

    The Chaos of Creativity in Software Idea Evaluation. / Ulrich, Frank.

    Proceedings. Vol. 2013 International Conference on Information Systems, 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  58. Accepteret

    The Cross-Cultural Knowledge Sharing Challenge: An Investigation of the Collocation Strategy in Software Development Offshoring. / Persson, John Stouby.

    IFIP Advances in Information and Communication Technology: Grand Successes and Failures in IT: Private and Public Sectors. 2013. (IFIP AICT - Advances in Information and Communication technology).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  59. Accepteret

    Top-k Neighborhood Dominating Query. / Xie, Xike; Lu, Hua; Chen, Jinchuan; Shang, Shuo.

    Database Systems for Advanced Applications. 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  60. Accepteret

    Towards Efficient Search for Activity Trajectories. / Zheng, Kai; Shang, Shuo; Yuan, Jing; Yang, Yi.

    Proceedings of the 29th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2013.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  61. Udgivet

    Towards harnessing theories through tool support for hard real-time Java programming. / Bøgholm, Thomas; Frost, Christian; Hansen, Rene Rydhof; Jensen, Casper Svenning; Luckow, Kasper Søe; Ravn, Anders Peter; Søndergaard, Hans; Thomsen, Bent.

    I: Innovations in Systems and Software Engineering, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  62. E-pub ahead of print

    Trust Dynamics in a Large System Implementation: Six Theoretical Propositions. / Schlichter, Bjarne Rerup; Rose, Jeremy.

    I: European Journal of Information Systems, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  63. E-pub ahead of print

    Using Organizational Influence Processes to Overcome IS Implementation Barriers: Lessons from a longitudinal case study of SPI implementation. / Ngwenyama, Ojelanki; Nielsen, Peter Axel.

    I: European Journal of Information Systems, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  64. E-pub ahead of print

    UV-Diagram: A Voronoi Diagram for Uncertain Spatial Databases. / Xie, Scott, Xike; Cheng, Reynold; Yiu, Man Lung; Sun, Liwei; Chen, Jinchuan.

    I: V L D B Journal, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  65. Udgivet

    Verification of Liveness Properties on Closed Timed-Arc Petri Nets. / Andersen, Mathias; Larsen, Heine G.; Srba, Jiri; Sørensen, Mathias; Taankvist, Jakob Haahr.

    Proceedings of the 8th Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'12). Vol. 7721 Netherlands : Springer Berlin / Heidelberg, 2013. s. 69-81 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  66. Udgivet

    Verification of Timed Healthcare Workflows Using Component Timed-Arc Petri Nets. / Bertolini, Cristiano; Liu, Zhiming; Srba, Jiri.

    Proceedings of the 2nd International Symposium on the Foundations of Health Information Engineering and Systems (FHIES'12). Netherlands : Springer Berlin / Heidelberg, 2013. s. 1-18 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  67. Udgivet

    WYSIWIB: Exploiting Fine-Grained Program Structure in a Scriptable API-Usage Protocol Finding Process. / Lawall, Julia; Brunel, Julien Pierre Manuel; Palix, Nicolas Jean-Michel; Hansen, Rene Rydhof; Stuart, Henrik; Muller, Gilles.

    I: Software: Practice & Experience, Vol. 43, Nr. 1, 2013.

    Publikation: Forskning - peer review › Tidsskriftartikel

  68. 2012
  69. Udgivet

    13th IEEE International Conference on Mobile Data Management. / Aberer, Karl (Redaktør); Joshi, Anupam (Redaktør); Mukherjea, Sougata (Redaktør); Chakraborty, Dipanjan (Redaktør); Lu, Hua (Redaktør); Venkatasubramanian, Nalini (Redaktør); Kanhere, Salil (Redaktør).

    IEEE Computer Society Press, 2012.

    Publikation: Forskning - peer review › Antologi

  70. Udgivet

    3XL : An Efficient DBMS-based Triple-store. / Xiufeng, Liu; Thomsen, Christian; Pedersen, Torben Bach.

    The 23rd International Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, 2012. s. 284-288.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  71. Udgivet

    A Business Case Method for IT Investments in Danish Municipalities. / Persson, John Stouby; Nielsen, Peter Axel.

    IT Management in Local Government : The DISIMIT Project. red. / Jeremy Rose; John Stouby Persson; Pernille Kræmmergaard; Peter Axel Nielsen. Aalborg : Software Innovation, Aalborg University, 2012. s. 115-129.

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  72. Udgivet

    A comparison of the use of virtual versus physical snapshots for supporting update-intensive workloads. / Sidlauskas, Darius; Jensen, Christian Søndergaard; Saltenis, Simonas.

    Proceedings of the Eighth International Workshop on Data Management on New Hardware, DaMoN 2012. Association for Computing Machinery, 2012. s. 1-8.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  73. Udgivet

    A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets. / David, Alexandre; Jacobsen, Lasse; Jacobsen, Morten; Srba, Jiri.

    I: Electronic Proceedings in Theoretical Computer Science, Vol. 102, 2012, s. 125-140.

    Publikation: Forskning - peer review › Konferenceartikel i tidsskrift

  74. Udgivet

    A Foundation for Efficient Indoor Distance-Aware Query Processing. / Lu, Hua; Cao, Xin; Jensen, Christian Søndergaard.

    The 28th IEEE International Conference on Data Engineering. IEEE Computer Society Press, 2012. s. 438-449.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  75. Udgivet

    A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems : A Case Study of the Oil Pump Industrial Example. / Zhao, Hengjun; Zhan, Naijun; Kapur, Deepak; Larsen, Kim Guldstrand.

    FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Vol. 7436 Springer, 2012. s. 471-485 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  76. Udgivet

    A latent model for collaborative filtering. / Langseth, Helge; Nielsen, Thomas Dyhre.

    I: International Journal of Approximate Reasoning, Vol. 53, Nr. 4, 06.2012, s. 447–466.

    Publikation: Forskning - peer review › Tidsskriftartikel

  77. Udgivet

    A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. / Bauer, Sebastian S.; Juhl, Line; Larsen, K.G.; Srba, J.; Legay, A.

    Proceedings - IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012. IEEE Computer Society Press, 2012. s. 77-84.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  78. Udgivet

    A longitudinal review of Mobile HCI research Methods. / Kjeldskov, Jesper; Paay, Jeni.

    Proceedings of Mobile HCI 2012. Association for Computing Machinery, 2012. s. 69-78.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  79. Udgivet

    A Metric Analogue of Stone Duality for Markov Processes. / Larsen, Kim Guldstrand; Mardare, Radu Iulian; Panangaden, Prakash.

    2012. Abstract from IEEE, Dubrovnik, Kroatien.

    Publikation: Forskning - peer review › Konferenceabstrakt til konference

  80. Udgivet

    A Secure Relay Protocol for Door Access Control. / Wognsen, Erik Ramsgaard; Karlsen, Henrik Søndberg; Calverley, Marcus; Follin, Mikkel; Thomsen, Bent; Hüttel, Hans.

    Proceedings of the XII Brazilian Symposium on Information and Computer System Security: SBSeg 2012. red. / Sociedade Brasileira de Computação. Porto Alegre, Brasilien : SBC - Sociedade Brasileira de Computação, 2012. s. 196-209 (Anais do SBSeg).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  81. Udgivet

    Abstractions for Mechanical Systems. / Sloth, Christoffer; Wisniewski, Rafael.

    Lagrangian and Hamiltonian Methods for Non Linear Control. Vol. 4 1. udg. Elsevier Science, 2012. s. 96-101 (I F A C Workshop Series).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  82. Udgivet

    Accelerating Range Queries for Brain Simulations. / Tauheed, Farhan; Biveinis, Laurynas; Heinis, Thomas; Schurmann, Felix; Markram, Henry; Ailamaki, Anastasia.

    IEEE 28th International Conference on Data Engineering (ICDE 2012). IEEE Computer Society Press, 2012. s. 941-952.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  83. Udgivet

    Adaptable Value-Set Analysis for Low-Level Code. / Brauer, Jörg; Hansen, Rene Rydhof; Kowalewski, Stefan; Larsen, Kim Guldstrand; Olesen, Mads Chr.

    6th International Workshop on Systems Software Verification (SSV 2011). Vol. 24 Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  84. Udgivet

    Aggregating and Disaggregating Flexibility Objects. / Siksnys, Laurynas; Khalefa, Mohamed; Pedersen, Torben Bach.

    Scientific and Statistical Database Management: 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings. red. / Anastasia Ailamaki; Shawn Bowers. Springer, 2012. s. 379-396 (Lecture Notes in Computer Science, Vol. 7338).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  85. Udgivet

    Agile distributed software development : enacting control through media and context. / Persson, John Stouby; Mathiassen, Lars; Aaen, Ivan.

    I: Information Systems Journal, Vol. 22, Nr. 6, 2012, s. 411-433.

    Publikation: Forskning - peer review › Tidsskriftartikel

  86. Udgivet

    Akkreditering koster dyrt i bureaukrati. / Thomsen, Lone Leth; Andersen, Ove.

    I: Ingenioeren. 2012 ; 7. september 2012.

    Publikation: Formidling › Kronik

  87. Udgivet

    All roads lead to Rome : New search methods for the optimal triangulation problem. / Ottosen, Thorsten Jørgen; Vomlel, Jiri .

    I: International Journal of Approximate Reasoning, Vol. 53, Nr. 9, 2012, s. 1350-1366.

    Publikation: Forskning - peer review › Tidsskriftartikel

  88. Udgivet

    An Architecture For Web Deployment Of Decision Support Systems Based On Probabilistic Graphical Models With Applications. / Madsen, Anders Læsø; Karlsen, Martin ; Barker, Gary C.; Garcia, Ana Belen; Hoorfar, Jeffrey ; Jensen, Frank .

    Department of Computer Science, Aarhus University, 2012. 35 s.

    Publikation: Forskning › Rapport

  89. Udgivet

    An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking. / David, Alexandre; Du, DeHui; Larsen, Kim Guldstrand; Mikučionis, Marius; Skou, Arne.

    I: Science in China. Series F: Information Sciences, Vol. 55, Nr. 12, 12.2012, s. 2694-2707.

    Publikation: Forskning - peer review › Tidsskriftartikel

  90. Udgivet

    An Improved Contextual Advertising Matching Approach based on Wikipedia Knowledge. / Wu, Zongda; Xu, Guandong; Zhang, Yanchun; Dolog, Peter; Lu, Chenglang.

    I: Computer Journal, Vol. 55, Nr. 3, 2012, s. 277-292.

    Publikation: Forskning - peer review › Tidsskriftartikel

  91. Udgivet

    Automata Learning through Counterexample Guided Abstraction Refinement. / Aarts, Fides; Heidarian, Faranak; Kuppens, Harco; Olsen, Petur; Vaandrager, Frits.

    FM 2012: Formal Methods : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Vol. 7436 Springer, 2012. s. 10-27 (Lecture Notes in Computer Science, Vol. 7436).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  92. Udgivet

    Bluetooth Indoor Positioning System using Fingerprinting. / Frost, Christian; Jensen, Casper Svenning; Luckow, Kasper Søe; Thomsen, Bent; Hansen, Rene.

    Mobile Lightweight Wireless Systems: Third International ICST Conference, MOBILIGHT 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected Papers. Vol. 81 Springer, 2012. s. 136-150 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 81).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  93. Udgivet

    Bridging worlds : information systems development through cross-cultural comparison. / Rose, Jeremy; Memon, Saifullah Hassan.

    I: Systemic Practice and Action Research, Vol. 25, Nr. 6, 12.2012, s. 511-536.

    Publikation: Forskning - peer review › Tidsskriftartikel

  94. Udgivet

    Checking and Distributing Statistical Model Checking. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim Guldstrand; Legay, Axel; Mikučionis, Marius; Poulsen, Danny Bøgsted.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. red. / Alwyn E. Goodloe; Suzette Person. Vol. 7226 Springer Berlin / Heidelberg, 2012. s. 449-463 (Lecture Notes in Computer Science, Vol. 7226).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  95. Udgivet

    Cloud Intelligence : What is REALLY New?. / Darmont, Jerome; Pedersen, Torben Bach; Middelfart, Morten.

    Proceedings of 1st International Workshop on Cloud Intelligence (colocated with VLDB 2012), Cloud-I '12, Istanbul, Turkey, August 31, 2012.. Association for Computing Machinery, 2012.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  96. Udgivet

    CloudETL: Scalable Dimensional ETL for Hadoop and Hive. / Xiufeng, Liu; Thomsen, Christian; Pedersen, Torben Bach.

    Department of Computer Science, Aalborg University, 2012. 31 s. (DB Technical Report, Vol. TR-31).

    Publikation: Forskning › Rapport

  97. Udgivet

    Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. / Falk, Heiko; Hammong, Kevin ; Larsen, Kim Guldstrand; Lisper, Björn ; Petters, Stefan M.

    EMSOFT '12 Proceedings of the tenth ACM international conference on Embedded software . Association for Computing Machinery, 2012. s. 163-164.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  98. Udgivet

    Combining Epistemic Logic and Hennessy-Milner Logic. / Knight, Sophia; Mardare, Radu Iulian; Panangaden, Prakash.

    Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. red. / Robert L. Constable; Alexandre Silva. Vol. 7230 Springer Science+Business Media B.V., 2012. s. 219-243 (Lecture Notes in Computer Science).

    Publikation: Forskning - peer review › Bidrag til bog/antologi

  99. Udgivet

    Combining ethnography and object-orientation for mobile interaction design : contextual richness and abstract models. / Kjeldskov, Jesper; Stage, Jan.

    I: International Journal of Human-Computer Studies, Vol. 70, Nr. 3, 2012, s. 197–217.

    Publikation: Forskning - peer review › Tidsskriftartikel

  100. Udgivet

    Compositional Safety Analysis using Barrier Certificates. / Sloth, Christoffer; Pappas, George J.; Wisniewski, Rafael.

    HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. New York : Association for Computing Machinery, 2012. s. 15-24.

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  101. Udgivet

    Compositional verification of real-time systems using Ecdar. / David, A.; Larsen, K.G.; Møller, M.H.; Nyman, Ulrik; Ravn, A.P.; Skou, A.; Legay, A.; Wasowski, A.

    I: International Journal on Software Tools for Technology Transfer, Vol. 14, Nr. 6, 15.06.2012, s. 703-720.

    Publikation: Forskning - peer review › Tidsskriftartikel

  102. Udgivet

    Computing Nash Equilibrium in Wireless Ad Hoc Networks : A Simulation-Based Approach. / Bulychev, Peter E.; David, Alexandre; Larsen, Kim G.; Legay, Axel; Mikučionis, Marius.

    Proceedings Second International Workshop on Interactions, Games and Protocols. red. / Johannes Reich; Bernd Finkbeiner. Tallin, Estonia, 2012. s. 1-14 (Electronic Proceedings in Theoretical Computer Science, Vol. 78).

    Publikation: Forskning - peer review › Konferenceartikel i proceeding

  103. Udgivet

    Consistency and Refinement for Interval Markov Chains. / Delahaye, Benoit; Larsen, Kim Guldstrand; Legay, Axel; Pedersen, Mikkel Larsen; Wasowski, Andrzej.

    I: Journal of Logic and Algebraic Programming, Vol. 81, Nr. 3, 2012, s. 209-226.

    Publikation: Forskning - peer review › Tidsskriftartikel

Forrige 1 2 3 4 5 6 7 8 ...28 Næste

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