• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Topological Self-Stabilization with Name-Passing Process Calculi

    Rickmann, C., Wagner, C., Nestmann, U. & Schmid, S., 2016, 27th International Conference on Concurrency Theory (CONCUR 2016). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 15 s. (Leibniz International Proceedings in Informatics, Bind 59).

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

    Åben adgang
    2 Citationer (Scopus)
  • Top-k Taxi Recommendation in Realtime Social-Aware Ridesharing Services

    Fu, X., Huang, J., Lu, H., Xu, J. & Li, Y., 2017, Advances in Spatial and Temporal Databases: SSTD 2017. Springer, s. 221-241 21 s. (Lecture Notes in Computer Science, Bind 10411).

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

    15 Citationer (Scopus)
  • Top-k Spatial Preference Queries

    Yiu, M. L., Dai, X., Mamoulis, N. & Vaitis, M., 2007, Proceedings of the 23nd IEEE International Conference on Data Engineering (ICDE). IEEE Computer Society Press, Bind 07EX1614C. s. 1076-1085 10 s.

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

    1 Citationer (Scopus)
  • Top-k point of interest retrieval using standard indexes

    Skovgaard, A. & Jensen, C. S., 2014, Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Huang, Y. & Schneider, M. (red.). Association for Computing Machinery, s. 173-182 10 s.

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

    7 Citationer (Scopus)
  • Top-k Neighborhood Dominating Query

    Xie, X., Lu, H., Chen, J. & Shang, S., 2013, Database Systems for Advanced Applications: 18th International Conference, DASFAA 2013, Wuhan, China, April 22-25, 2013. Proceedings, Part I. Meng et al., W. (red.). Springer Publishing Company, s. 131-145 15 s. (Lecture Notes in Computer Science, Bind 7825).

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

    12 Citationer (Scopus)
  • Top-k diversification for path queries in knowledge graphs

    Aebeloe, C., Setty, V., Montoya, G. & Hose, K., 1 jan. 2018, Proceedings of the ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks. Van Erp, M., Atre, M., Lopez, V., Srinivas, K. & Fortuna, C. (red.). CEUR Workshop Proceedings, 4 s. (CEUR Workshop Proceedings, Bind 2180).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    82 Downloads (Pure)
  • Top-Down Construction and Repetitive Structures Representation in Bayesian Networks

    Bangsø, O. & Wuillemin, P-H., 2000, Proceedings of the Thirteenth International Florida Artificial Intelligence Research Society Conference : FLAIRS-2000 : Hotel Royal Plaza, Orlando, Florida, 22-24 May 2000. Etheredge, J. : Manaris, B. (eds.) (red.). AAAI Press

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

  • Tool Supported Analysis of Web Services Protocols

    Marques, A. P., Ravn, A. P., Srba, J. & Vighio, S., 2011, Proceedings of the 5th International Workshop of Harnessing Theories for Tool Support in Software (TTSS'11). Oslo: University of Oslo, s. 50-64 15 s.

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

  • Tools for Presentation and Animation of Dynamic Models in Object-Oriented Design

    Iversen, L., Madsen, P. & Nørmark, K., 1998, Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'98, June 1998. (eds.), M. . O. (red.). s. 127-142

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

  • Tools for Exploration of Dynamic Models in Object-Oriented Design

    Nørmark, K., 1996, Proceedings of the Nordic Workshop on Programming Environment Research, NWPER'96: R96-2019. University, D. O. C. S. I. O. E. S. A. (red.). s. 185-195

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

  • Tools for Explanation in Bayesian Networks with Application to an Agricultural Problem

    Dittmer, S. L. & Jensen, F. V., 1997, 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>, s. 441-446

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

  • Toolchain for User-Centered Intelligent Floor Heating Control

    Agesen, M. K., Larsen, K. G., Mikučionis, M., Muniz, M., Olsen, P., Pedersen, T., Srba, J. & Skou, A. J., 2016, IECON 2016 - 42nd Annual Conference of the IEEE Industrial Electronics Society. IEEE, s. 5296-5301 6 s.

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

    8 Citationer (Scopus)
  • To link or not to link: Ranking hyperlinks in Wikipedia using collective attention

    Thruesen, P., Cechak, J., Seznec, B., Castalio, R. & Kanhabua, N., 2016, Proceedings - 2016 IEEE International Conference on Big Data, Big Data 2016. IEEE, s. 1709-1718 10 s. 7840785

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

    1 Citationer (Scopus)
  • To Do and Not To Do: Constrained Scenarios for Safe Smart House

    Le Guilly, T., Smedegaard, J. H., Pedersen, T. & Skou, A. J., jul. 2015, International Conference on Intelligent Environments (IE), 2015. IEEE, s. 17-24 8 s.

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

    11 Citationer (Scopus)
  • Time to Learn - Learning Timed Automata from Tests

    Tappler, M., Aichernig, B. K., Larsen, K. G. & Lorber, F., aug. 2019, Formal Modeling and Analysis of Timed Systems - 17th International Conference, FORMATS 2019, Proceedings. André, É., Stoelinga, M. & Stoelinga, M. (red.). Heidelberg: Springer, s. 216-235 20 s. (Lecture Notes in Computer Science, Bind 11750).

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

    19 Citationer (Scopus)
  • Time-Optimal Test Cases for Real-Time Systems

    Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2003, Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03). Bind 2791. s. 234-245

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

  • Time Optimal Robust Fleet Management of Micro UAV Through Timed Games Formulation

    Schioler, H., Totu, L., Dimon, J., Larsen, K. G. & Taankvist, J. H., 26 okt. 2018, 2018 IEEE Conference on Control Technology and Applications (CCTA). IEEE, s. 146-152 7 s. 8511477

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

    1 Citationer (Scopus)
  • Time-Optimal Real-Time Test Case Generation using UPPAAL

    Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P. & Skou, A., 2004, Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003: Lecture Notes in Computer Science. Petrenko, Alexandre : Ulrich, Andreas (eds.) (red.). 2931 udg. IEEE Computer Society Press, s. 118-135

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

    41 Citationer (Scopus)
  • Time Optimal Reachability Analysis Using Swarm Verification

    Zhang, Z., Nielsen, B. & Larsen, K. G., 3 apr. 2016, Proceedings of the 31st Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, Bind SAC '16. s. 1634-1640 7 s.

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

    4 Citationer (Scopus)
  • Timed Testing under Partial Observability

    David, A., Larsen, K. G., Li, S. & Nielsen, B., 2009, Proceedings of 2009 International Conference on Software Testing Verification and Validation. IEEE Computer Society Press, s. 61-70 10 s.

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

    Åben adgang
    Fil
    21 Citationer (Scopus)
    518 Downloads (Pure)
  • Timed I/O automata: a complete specification theory for real-time systems

    David, A., Larsen, K. G., Nyman, U., Legay, A. & Wasowski, A., 2010, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control : HSCC '10. Association for Computing Machinery

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

    Åben adgang
    Fil
    148 Citationer (Scopus)
    837 Downloads (Pure)
  • Timed Control with Observation Based and Stuttering Invariant Strategies

    David, A., Larsen, K. G., Cassez, F., Lime, D. & Raskin, J-F., 2007, Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007 Proceedings. Springer, s. 192-206 (Lecture Notes in Computer Science; Nr. 4762).

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

    32 Citationer (Scopus)
  • Timed Comparisons of Semi-Markov Processes

    Pedersen, M. R., Fijalkow, N., Bacci, G., Larsen, K. G. & Mardare, R. I., 2018, Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings: 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings. Martin-Vide, C., Klein, S. T. & Shapira, D. (red.). Springer Publishing Company, s. 271-283 13 s. (Lecture Notes in Computer Science; Nr. 10792).

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

    Åben adgang
    Fil
    1 Citationer (Scopus)
    174 Downloads (Pure)
  • Timed automata with observers under energy constraints

    Bouyer, P., Fahrenberg, U., Larsen, K. G. & Markey, N., 2010, Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. Association for Computing Machinery

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

    39 Citationer (Scopus)
  • Timed Automata Learning via SMT Solving

    Tappler, M., Aichernig, B. K. & Lorber, F., 2022, NASA Formal Methods: 14th International Symposium, NFM 2022, Proceedings. Deshmukh, J. V., Havelund, K. & Perez, I. (red.). Springer, s. 489-507 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 13260 LNCS).

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

    4 Citationer (Scopus)
  • Time-Critical Decision Making in Interactive Dynamic Influence Diagram

    Zeng, Y. & Xiang, Y., 2010, 2010 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, WI-IAT 2010. IEEE Press, s. 149-156

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

    3 Citationer (Scopus)
  • Time-Constrained Indoor Keyword-Aware Routing

    Chan, H. K. H., Liu, T., Li, H. & Lu, H., 23 aug. 2021, Proceedings of 17th International Symposium on Spatial and Temporal Databases, SSTD 2021. Association for Computing Machinery, s. 74-84 11 s.

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

    3 Citationer (Scopus)
  • Thresholded Range Aggregation in Sensor Networks

    Yiu, M. L., Lin, Z. & Mamoulis, N., 2010, Proceedings of the 2009 Tenth International Conference on Mobile Data Management: Systems, Services and Middleware. IEEE Computer Society Press, s. 162-171

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

  • The WPU Project

    Jensen, J. J., Skov, M. B. & Stage, J., 2008, Proceedings of the Eighth Danish Human-Computer Interaction Research Symposium, 20th November 2008. Jensen, J. J., Jensen, K. L., Kanstrup, A. M., Larsen, L. B., Nyvang, T. & Stage, J. (red.). Aalborg Universitet, s. 23-26

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

    Åben adgang
    Fil
    488 Downloads (Pure)
  • The Why, What, Who, Where, and How of CASE Management

    Mathiassen, L. & Sørensen, C., 1995, Proceedings of the Eighteenth Information Systems Research Seminar in Scandinavia, 1995.

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

  • The Web of Data is partially unavailable, so what?

    Hose, K., 2020, GRADES-NDA'20: Proceedings of the 3rd Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA). Association for Computing Machinery, 1 s. 2

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

  • The vAMP Attack: Taking control of cloud systems via the unified packet parser

    Thimmaraju, K., Shastry, B., Fiebig, T., Hetzelt, F., Seifert, J. P., Feldmann, A. & Schmid, S., 3 nov. 2017, CCSW 2017 - Proceedings of the 2017 Cloud Computing Security Workshop, co-located with CCS 2017. Association for Computing Machinery, s. 11-15 5 s.

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

    6 Citationer (Scopus)
  • The USE Project: Bridging the Gap between Usability Evaluation and Software Development

    Als, B. S., Frøkjær, E., Hornbæk, K., Høegh, R. T., Jensen, J. J., Nørgaard, M., Skov, M. B., Stage, J. & Uldall-Espersen, T., 2005, Proceedings of the 5th Human Computer Interaction Research Symposium. Clemmensen, T. & Nielsen, L. (red.). Copenhagen Business School Press, s. 110-114 5 s. (Working paper (wp) / INF; Nr. 2005-012).

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

  • The USE Project: Experience with Usability Evaluation Techniques in Software Development Organizations

    Frøkjær, E., Hornbæk, K., Høegh, R. T., Jensen, J. J., Nørgaard, M., Skov, M. B. & Stage, J., 2006, Proceedings of the Sixth Danish Human-Computer Interaction Research Symposium. s. 110-114

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

    4 Citationer (Scopus)
  • The use of video in a mixed classroom approach

    Nørmark, K., 11 sep. 2015, International Conference on E-learning: Proceedings from 2015. Berlin, Tyskland, s. 113-118 19. (International Conference on E-Learning - Proceedings).

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

    Åben adgang
  • The use of static constructs in a model process logic

    Hüttel, H. & Larsen, K. G., 1 jan. 1989, Logic at Botik 1989 - Symposium on Logical Foundations of Computer Science, Proceedings. Meyer, A. R. & Taitslin, M. A. (red.). Physica-Verlag, s. 163-180 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 363 LNCS).

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

    47 Citationer (Scopus)
  • The use of personas in software development: Advantages, obstacles and experiences in practice

    Billestrup, J., Stage, J., Nielsen, L. & Storgaard Nielsen, K., 2014, Proceedings IRIS36: August 11-14 2013 at Gran, Norway. Bratteteig, T., Aanestad, M. & Skorve, E. (red.). Department of Informatics, University of Oslo, 12 s.

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

  • The Use of Descriptions in Analysis and Design of Information Systems

    Stage, J., 1991, Collaborative Work, Social Communications, and Information Systems. Stamper, R.K. et al. (red.). North-Holland, s. 237-260

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

  • The use of categorization information in language models for question retrieval

    Cao, X., Cong, G., Cui, B., Jensen, C. S. & Zhang, C., 2009, Proceeding of the 18th ACM conference on Information and knowledge management. Cheung, D. W-L., Song, I-Y., Chu, W. W., Hu, X. & Lin, J. J. (red.). Association for Computing Machinery, s. 265-274 10 s. (Conference on Information and Knowledge Management).

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

    91 Citationer (Scopus)
  • The Usefulness of Reusing the Idea of the Wheel: Learning Information Systems Modelling

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

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

  • The Unified Extensional Versioning Model

    Asklund, U., Bendix, L. G., Christensen, H. B. & Magnusson, B., 1999, System Configuration Management : 9th International Symposium, SCM-9, Toulouse, France, September 5-7, 1999 : Proceedings: Lecture Notes in Computer Science. Estublier, J. (ed.) (red.). 1675 udg. IEEE Computer Society Press, s. 100-122

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

    14 Citationer (Scopus)
  • The TS-Tree: Efficient Time Series Search and Retrieval

    Assent, I., Krieger, R., Afschari, F. & Seidl, T., 2008, Proceedings of the 11th international conference on Extending database technology: Advances in database technology. Association for Computing Machinery, Bind 261. s. 252-263 12 s.

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

    70 Citationer (Scopus)
  • The Troubling Cups: Making Trouble at Work about Inequalities in Pay

    Als, N. K. K., Corlin Mikkelsen, J. & Raptis, D., 8 okt. 2022, Participative Computing for Sustainable Futures, NordiCHI 2022: Proceedings of the 12th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, s. 1-12 45

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

    Fil
    103 Downloads (Pure)
  • The TreeScape System: Reuse of Pre-Computed Aggregates over Irregular OLAP Hierarchies

    Pedersen, T. B., Jensen, C. S. & Dyreson, C. E., 2000, Proceedings of the Twenty-Sixth International Conference on Very Large Databases, Cairo, Egypt, September 2000. s. 595-598

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

    11 Citationer (Scopus)
  • The Trained Panel Method and Its Application in HCI Research

    Papachristos, E., Raptis, D. & Bruun, A. R., 27 nov. 2021, CHI Greece 2021: 1st International Conference of the ACM Greek SIGCHI Chapter. Athens, Greece: Association for Computing Machinery, s. 1-8 8 s. 7

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

  • The Timed Decentralised Label Model

    Pedersen, M. L., Sørensen, M. H., Lux, D., Nyman, U. M. & Hansen, R. R., 2015, Secure IT Systems: 20th Nordic Conference on Secure IT-Systems (NordSec 2015). Buchegger, S. & Dam, M. (red.). Springer, s. 27-43 (Lecture Notes in Computer Science; Nr. 9417).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    458 Downloads (Pure)
  • The Strategic Technical Debt Management Model: An Empirical Proposal

    Ciancarini, P. & Russo, D., 1 jan. 2020, Open Source Systems - 16th IFIP WG 2.13 International Conference, OSS 2020, Proceedings. Ivanov, V., Kruglov, A., Masyagin, S., Sillitti, A. & Succi, G. (red.). Springer VS, s. 131-140 10 s. (I F I P Advances in Information and Communication Technology, Bind 582 ).

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

    Åben adgang
    4 Citationer (Scopus)
  • The Software Designer: Skills and Change

    Nielsen, P. A. & Stage, J., 1994, Report of the 17th Information Systems Research Seminar in Scandinavia, IRIS 17: Research Paper Series. Kerola, P. et al. (ed.) (red.). A21 udg. University of Oulu

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

  • The Social Acceptability of Peripheral Interaction with 3D Gestures in a Simulated Setting

    Nielsen, S., Nellemann, L. J., Larsen, L. B. & Stec, K., jun. 2020, Human-Computer Interaction. Multimodal and Natural Interaction - Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings: Human-Computer Interaction: Multimodal and Natural Interaction (Part II). Kurosu, M. (red.). LNCS 12182 udg. Springer, s. 77-95 19 s. (Lecture Notes in Computer Science, Bind LNCS 12182).

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

    1 Citationer (Scopus)
  • The serendipity shuffle

    Leong, T., Vetere, F. & Howard, S., 2005, Proceedings of OZCHI 2005, Canberra, November 2005. Association for Computing Machinery

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