• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Publikationer 1987 2020

Bidrag til bog/antologi
2 Citationer (Scopus)

Mapping social networks in software process improvement: An action research study

Tjørnehøj, G. & Nielsen, P. A., 2005, Business Agility and Information Technology Diffusion. Baskerville, R. L., Mathiassen, L., PriesHeje, J. & DeGross, J. I. (red.). Springer, Bind 180. s. 73-90 18 s. (International Federation for Information Processing).

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

Mapping SPI Ideas and Practices

Aaen, I., Arent, J., Mathiassen, L. & Ngwenyama, O., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (red.). Boston: Addison-Wesley, (The agile software development series).

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

1 Citation (Scopus)

MCC’2017: The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L. M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Le Botlan, D., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., van de Pol, J. & Wolf, K., 1 jan. 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (red.). Springer, s. 181-209 29 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11090 LNCS).

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

edition
Spain
evaluation
software

Means of Coordination

Andersen, P. B., Carstensen, P. & Nielsen, M., 2002, Coordination and Communication Using Signs. Liu, K. (ed.) : Clarke, R. J. (ed.) : Andersen, P. B. (ed.) : Stamper, R. K. (ed.) (red.). Kluwer: Kluwer Academic Publishers, (Studies in organisational semiotics; Nr. 2).

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

Measure

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

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

Medical Information Retrieval Enhanced with User’s Query Expanded with Tag-Neighbors

Durao, F., Bayyapu, K. R., Xu, G., Dolog, P. & Lage, R. G., 2013, Handbook of Medical and Healthcare Technologies. Furht, B. & Agarwal, A. (red.). Springer Publishing Company, s. 17-40

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

1 Citation (Scopus)

Mini Project Programming Exams

Nørmark, K., Thomsen, L. L. & Torp, K., 2008, Reflections on the Teaching of Programming. Bennedsen, J., Caspersen, M. & Kölling, M. (red.). Berlin Heidelberg: Springer, s. 228-242 (Lecture Notes in Computer Science : Programming and Software Engineering; Nr. 4821).

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

programming
syllabus
fraud
realism
computer science

MIRABEL DW: Managing Complex Energy Data in a Smart Grid

Siksnys, L., Thomsen, C. & Pedersen, T. B., 17 jul. 2015, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXI: Selected Papers from DaWaK 2012. Hameurlain, A., Küng, J., Wagner, R., Cuzzocrea, A. & Dayal, U. (red.). Springer, s. 48-72 (Lecture Notes in Computer Science, Bind 9260).

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

Data warehouses
Information management
Data structures
Time series
Railroad cars
86 Downloads (Pure)

Mobile Computing

Kjeldskov, J., 2013, The Encyclopedia of Human-Computer Interaction. Soegaard, M. & Dam, R. F. (red.). The Interaction Design Foundation

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

Åben adgang
Fil
5 Citationer (Scopus)

Mobile Technologies for Parent/Child Relationships

Yarosh, S., Davis, H., Modlitba, P., Skov, M. B. & Vetere, F., 2009, Mobile Technology for Children: Designing for Interaction and Learning. Druin, A. (red.). Morgan Kaufmann, s. 289-310 21 s.

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

parent-child relationship
toy
non-profit-organization
electronics
leader
169 Citationer (Scopus)
356 Downloads (Pure)

Modal I/O Automata for Interface and Product Line Theories

Larsen, K. G., Nyman, U. & Wasowski, A., 2007, Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007Braga, Portugal, March/April 2007, Proceedings. De Nicola, R. (red.). IEEE Computer Society Press, s. 64-79 16 s. (Lecture Notes in Computer Science; Nr. 4421).

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

Åben adgang
Fil

Modallogik

Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

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

Model-based Framework for Schedulability Analysis Using Uppaal 4.1

David, A., Rasmussen, J. I., Larsen, K. G. & Skou, A., 2009, Model-Based Design for Embedded Systems. Nicolescu, G. & J. Mosterman, P. (red.). 1 udg. CRC Press, s. 93-119 32 s. (Computational Analysis, Synthesis, and Design of Dynamic Systems).

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

Model Checking Feature Interactions

Le Guilly, T., Olsen, P., Pedersen, T., Ravn, A. P. & Skou, A. J., 2016, Software Technologies: 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers. Lorenz, P., Cardoso, J., Maciaszek, L. A. & van Sinderen, M. (red.). Springer, s. 307-325 (Communications in Computer and Information Science, Bind 586).

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

Model checking
Embedded systems
Information systems
Automation
Semantics
6 Citationer (Scopus)

Model Checking Real-Time Systems

Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N., Ouaknine, J. & Worrell, J., 2018, Handbook of Model Checking. Springer Publishing Company, s. 1001-1046

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

Timed Automata
Model Checking
Weighted Automata
Real-time
Finite State Automata

Modeling and Analysis of Component Faults and Reliability

Le Guilly, T., Olsen, P., Ravn, A. P. & Skou, A. J., maj 2016, From Action Systems to Distributed Systems: The Refinement Approach. Petre, L. & Sekerinski, E. (red.). CRC Press, s. 45-60 (Computational Science Series).

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

Fault tree analysis

Modeling Moving Machines

Andersen, P. B. & Nowack, P., 2004, Virtual Applications : Applications with Virtual Inhabited 3d Worlds. Lars Qvortrup & Peter Bøgh Andersen (Eds.) (red.). London: IEEE Computer Society Press

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

8 Citationer (Scopus)

Modelling with Relational Calculus of Object and Component Systems - rCOS

Chen, Z., Hannousse, A. H., Hung, D. V., Knoll, I., LI, X., Liu, Z., Liu, Y., Nan, Q., Okika, J. C., Ravn, A. P., Stolz, V., Yang, L. & Zhan, N., 2008, The Common Component Modeling Example: Comparing Software Component Models. Rausch, A., Reussner, R., Mirandola, R. & Plasil, F. (red.). Berlin/Heidelberg: Springer, s. 116-145 (Lecture Notes in Computer Science; Nr. 5153).

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

Models for Embedded Real-Time Systems

Lime, D., Roux, O. H. & Srba, J., 2009, Communicating Embedded Systems - Software and Design. Roux, O. H. & Jard, C. (red.). Wiley, s. 1-38 38 s.

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

Models for Real-Time Embedded Systems

Lime, D., Roux, O. H. & Srba, J., 13 feb. 2013, Communicating Embedded Systems: Software and Design: Formal Methods. Jard, C. & H. Roux, O. (red.). Wiley, s. 1-37 37 s.

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

7 Citationer (Scopus)

Model-Theoretic Expressivity Analysis

Jaeger, M., 2008, Probabilistic Inductive Logic Programming: Theory and Applications. De Raedt, L., Frasconi, P., Kersting, K. & Muggleton, S. (red.). Berlin/Heidelberg: Springer, s. 325-339 (Lecture Notes In Artificial Intelligence; Nr. 4911).

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

Modification

Leung, T. Y. C., Jensen, C. S. & Snodgrass, R. T., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Montague-semantik

Hüttel, H. & Skovsmose, O., 2000, Syntaks og semantik. Hüttel, H. (red.). Aalborg: Aalborg Universitet

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

2 Citationer (Scopus)

Monte Carlo methods for preference learning

Viappiani, P., 1 jan. 2012, Learning and Intelligent Optimization: 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers. Hamadi, Y. & Schoenauer, M. (red.). Springer Publishing Company, s. 503-508 6 s. (Lecture Notes in Computer Science, Bind 7219).

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

Monte Carlo methods
Recommender systems
Decision support systems
3 Citationer (Scopus)
259 Downloads (Pure)

Multi-currency Influence Diagrams

Nielsen, S. H., Nielsen, T. D. & Jensen, F. V., 2007, Advances in Probabilistic Graphical Models. Lucas, P., Gamez, J. & Salmeron, A. (red.). Springer, Bind 213. s. 275-294 (Studies in Fuzziness and Soft Computing, Bind 213).

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

Fil

Multidimensional Databases

Pedersen, T. B. & Jensen, C. S., 2005, Industrial Information Technology Handbook. Zurawski, R. (red.). CRC Press

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

Multidimensional Modeling

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

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

Multimedia Systems Development Methodologies: Experiences and Requirement

Eriksen, L. B., Skov, M. & Stage, J., 2000, Narrative and Interactive Learning Environments. Leeds University, s. 75-82

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

Multiple Image Segmentation

Smets, J. & Jaeger, M., 2015, Pattern Recognition Applications and Methods: Third International Conference, ICPRAM 2014, Angers, France, March 6-8, 2014, Revised Selected Papers. Fred, A., De Marsico, M. & Tabbone, A. (red.). Springer, s. 3-18 16 s. (Lecture Notes in Computer Science, Bind 9443).

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

MUNIN: an expert EMG assistant

Andreassen, S., Jensen, F. V., Andersen, S. K., Falck, B., Kjærulff, U., Woldbye, M., Sørensen, A. R., Rosenfalck, A. & Jensen, F., 1989, Computer-Aided Electromyography and Expert Systems. Desmedt, J. E. (red.). Pergamon Press, s. 255-277

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

25 Citationer (Scopus)

NEER: An Unsupervised Method for Named Entity Evolution Recognition

Tahmasebi, N., Gossen, G., Kanhabua, N., Holzmann, H. & Risse, T., 2012, Proceedings the 24th International Conference on Computational Linguistics. ACL, s. 2553-2568 16 s.

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

4 Citationer (Scopus)
331 Downloads (Pure)

New Results on Timed Specifications

Bourke, T., David, A., Larsen, K. G., Legay, A., Lime, D., Nyman, U. & Wasowski, A., 23 feb. 2012, Recent Trends in Algebraic Development Techniques: 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers. Mossakowski, T. & Kreowski, H-J. (red.). Springer, s. 175-192 18 s. (Lecture Notes in Computer Science, Bind 7137).

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

Åben adgang
Fil

News from Product to Service

Eriksen, L. B., Ihlström, C. & Palmer, J., 2000, Planet Internet. Braa, K. : Sørensen, C. : Dahlbom, B. (eds.) (red.).

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

Now

Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowitz, T. & Jensen, C. S., 1995, The TSQL2 Temporal Query Language. Snodgrass, R. T. (ed.) (red.).

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

Now in TSQL2

Clifford, J., Dyreson, C. E., Snodgrass, R. T., Isakowits, T. & Jensen, C. S., 1994, The TSQL2 Language Specification. s. 12

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

2 Citationer (Scopus)

On the Relationship between LTL Normal Forms and Büchi Automata

Li, J., Pu, G., Zhang, L., Wang, Z., He, J. & Larsen, K. G., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Bind 8051. s. 256-270 (Lecture Notes in Computer Science, Bind 8051).

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

9 Citationer (Scopus)

On the Total Variation Distance of Semi-Markov Chains

Bacci, G., Bacci, G., Larsen, K. G. & Mardare, R. I., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (red.). Springer, Bind 9034. s. 185-199 15 s. (Lecture Notes in Computer Science).

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

Markov processes
Computability and decidability
Model checking
Computational complexity
Specifications
20 Citationer (Scopus)

Optimal Bounds for Multiweighted and Parametrised Energy Games

Juhl, L., Larsen, K. G. & Raskin, J-F., 2013, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Publishing Company, Bind 8051. s. 244-255 (Lecture Notes in Computer Science, Bind 8051).

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

Organizational Intranets: Cultivating Information Technology for the People by the People

Scheepers, R. & Rose, J., 2001, Managing Internet and Intranet Technologies in Organizations : Challenges and Opportunities. Dasgupta, S. (red.). Hershey: Idea Group Publishing

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

73 Citationer (Scopus)

Personalized route recommendation using big trajectory data

Dai, J., Yang, B., Guo, C. & Ding, Z., 2015, 31st IEEE International Conference on Data Engineering, ICDE 2015, Seoul, South Korea, April 13-17, 2015. IEEE, s. 543-554 12 s.

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

Prescriptive Analytics

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

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

5 Citationer (Scopus)

Probabilistic Grid-Based Approaches for Privacy-Preserving Data Mining on Moving Object Trajectories

Gidofalvi, G., Xuegang, H. & Pedersen, T. B., 2010, Privacy-Aware Knowledge Discovery: Novel Applications and New Techniques. Bonchi, F. & Ferrari, E. (red.). CRC Press, 29 s.

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

Probabilistic Networks

Jensen, F. V. & Lauritzen, S. L., 2001, Handbook of Defeasible and Uncertainty Management Systems: Algorithms for Uncertainty and Defeasible Reasoning. Kohlas, J. & Moral, S. (red.). Kluwer Academic Publishers, Bind 5. s. 289-320

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

Specifications

Probabilistic Networks

Jensen, F. V. & Lauritzen, S. L., 2000, Handbook of Defeasable and Uncertainty Management.

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

Probabilistic Networks

Jensen, F. V. & Lauritzen, S. L., 2000, Algoriths for Uncertainty and Defeasible Reasoning. Kohlas, J. : Moral, S. (red.). Dordrecht: Kluwer Academic Publishers, s. 289-320 (Handbook of Defeasible Reasoning and Uncertainty Management Systems; Nr. 5).

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

Probabilities of Future Decisions

Nilsson, D. & Jensen, F. V., 2000, Information, Uncertainty and Fusion. Bouchon-Meunier, B. : Yager, R. R. : Zadeh, L. A. (eds.) (red.). Boston, Mass.: Kluwer Academic Publishers, s. 161-171 (Kluwer international series in engineering and computer science; Nr. SECS 516).

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

Problem Diagnosis in SPI

Iversen, J. H., Nielsen, P. A. & Nørbjerg, J., 2002, Improving Software Organizations : From Principles to Practice. Mathiassen, L. (ed.) : Pries-Heje, J. (ed.) :Ngwenyama, O. (ed.) (red.). Boston: Addison-Wesley, (The agile software development series).

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

Prototyping and Specifying: Principles and Practices of a Mixed Approach

Mathiassen, L., Seewaldt, T. & Stage, J., 1994, Quality Software: Concepts and Tools. Stage, Jan : Nørmark, Kurt : Larsen, Kim G. (eds.) (red.).

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

5 Citationer (Scopus)
409 Downloads (Pure)

Publishing Danish Agricultural Government Data as Semantic Web Data

Andersen, A. B., Gür, N., Hose, K., Jakobsen, K. A. & Pedersen, T. B., 2015, Semantic Technology: 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers. Supnithi, T., Yamaguchi, T., Pan, J. Z., Wuwongse, V. & Buranarach, M. (red.). Springer, s. 178-186 9 s. (Lecture Notes in Computer Science; Nr. 8943).

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

Åben adgang
Fil
3 Citationer (Scopus)

QUEST: Query Expansion Using Synonyms over Time

Kanhabua, N. & Nørvåg, K., 2010, Proceedings of European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2010. s. 595-598 4 s.

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