Institut for Datalogi

  • PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • 2017

    Load-Optimal Local Fast Rerouting for Resilient Networks

    Pignolet, Y. A., Schmid, S. & Tredan, G., 30 aug. 2017, Proceedings - 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017. IEEE, s. 345-356 12 s. 8023135

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • Location influence in location-based social networks

    Saleem, M. A., Kumar, R., Calders, T., Xie, X. & Pedersen, T. B., 2 feb. 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 621-630 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    30 Citationer (Scopus)

  • MAIME: A Maintenance Manager for ETL Processes

    Butkevicius, D., Freiberger, P. D., Halberg, F. M., Hansen, J. B., Jensen, S., Tarp, M., Huang, H. X. & Thomsen, C., 15 mar. 2017, Proceedings of the Workshops of the EDBT/ICDT 2017 Joint Conference (EDBT/ICDT 2017). CEUR Workshop Proceedings, 10 s. 8. (CEUR Workshop Proceedings, Bind 1810).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    3 Citationer (Scopus)
    146 Downloads (Pure)

  • Memory-Efficient Tactics for Randomized LTL Model Checking

    Larsen, K., Peled, D. & Sedwards, S., 2017, Verified Software: Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Revised Selected Papers. Wies, T. & Paskevich, A. (red.). Physica-Verlag, s. 152-169 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10712 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Modelling Behavioural Requirements and Alignment with Verification in the Embedded Industry

    Liebel, G., Anjorin, A., Knauss, E., Lorber, F. & Tichy, M., 2017, Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development. Pires, L. F., Hammoudi, S. & Selic, B. (red.). Portugal: SCITEPRESS Digital Library, Bind 1. s. 427-434

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 Citationer (Scopus)

  • Multi-Agent Pathfinding with n Agents on Graphs with n Vertices: Combinatorial Classification and Tight Algorithmic Bounds

    Förster, K-T., Groner, L., Hoefler, T., König, M., Schmid, S. & Wattenhofer, R., 17 apr. 2017, Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings. Springer, s. 247 13 s. (Lecture Notes in Computer Science, Bind 10236).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Mutation-Based Test-Case Generation with Ecdar

    Larsen, K. G., Lorber, F., Nielsen, B. & Nyman, U. M., 13 apr. 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2017. IEEE, s. 319-328 10 s. 7899077

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Fil
    18 Citationer (Scopus)
    221 Downloads (Pure)

  • Online tree caching

    Bienkowski, M., Marcinkowski, J., Pacut, M., Schmid, S. & Spyra, A., 24 jul. 2017, SPAA 2017 - Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, Bind Part F129316. s. 329-338 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • On the axiomatizability of quantitative algebras

    Mardare, R. I., Panagaden, P. & Plotkin, G., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. IEEE, 8005102

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    22 Citationer (Scopus)

  • On the Consistent Migration of Unsplittable Flows: Upper and Lower Complexity Bounds

    Förster, K-T., dec. 2017, Network Computing and Applications (NCA), 2017 IEEE 16th International Symposium on. IEEE

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    9 Citationer (Scopus)

  • Outsmarting Network Security with SDN Teleportation

    Thimmaraju, K., Schiff, L. & Schmid, S., 28 jun. 2017, Proceedings - 2017 IEEE European Symposium on Security and Privacy (EuroS&P). IEEE, s. 563-578 16 s. 7962003

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    24 Citationer (Scopus)

  • O'zapft is: Tap your network algorithm's big data!

    Blenk, A., Kalmbach, P., Kellerer, W. & Schmid, S., 7 aug. 2017, Big-DAMA 2017 - Proceedings of the 2017 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks, Part of SIGCOMM 2017. Association for Computing Machinery, s. 19-24 6 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    28 Citationer (Scopus)

  • Parallelizing Federated SPARQL Queries in Presence of Replicated Data

    Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, The Semantic Web: ESWC 2017 Satellite Events: ESWC 2017 Satellite Events, Portorož, Slovenia, May 28 – June 1, 2017, Revised Selected Papers. Springer, s. 181-196 (Lecture Notes in Computer Science, Bind 10577).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    2 Citationer (Scopus)

  • Parameter learning algorithms for continuous model improvement using operational data

    Madsen, A. L., Jeppesen, N. S., Jensen, F., Sayed, M. S., Moser, U., Neto, L., Reis, J. & Lohse, N., 2017, Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 14th European Conference, ECSQARU 2017, Proceedings. Springer, s. 115-124 10 s. (Lecture Notes In Artificial Intelligence; Nr. 10369).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    181 Downloads (Pure)

  • Pareto Optimal Reachability Analysis for Simple Priced Timed Automata

    Nielsen, B., Zhang, Z., Larsen, K. G., Nies, G., Hermanns, H. & Stenger, M., 2017, Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings. Springer, s. 481-495 (Lecture Notes in Computer Science : Programming and Software Engineering, Bind 10610).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Participatory Design with Dyslectics: Design and Evaluation of an Enhancing Reading Skills Tool

    Vangeli, P. & Stage, J., 1 dec. 2017, Interactive Mobile Communication Technologies and Learning: Proceedings of the 11th IMCL Conference. Auer, M. E. & Tsiatsos, T. (red.). Springer, s. 317-330 14 s. (Advances in Intelligent Systems and Computing, Bind 725).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    498 Downloads (Pure)

  • PeNeLoop: Parallelizing Federated SPARQL Queries in Presence of Replicated Fragments

    Minier, T., Montoya, G., Skaf-Molli, H. & Molli, P., 2017, Joint Proceedings of the 2nd RDF Stream Processing (RSP 2017) and the Querying the Web of Data (QuWeDa 2017) Workshops co-located with 14th ESWC 2017 (ESWC 2017), Portoroz, Slovenia, May 28th - to - 29th, 2017. CEUR Workshop Proceedings, Bind 1870. s. 37-50 14 s. (CEUR Workshop Proceedings, Bind 1870).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    23 Downloads (Pure)

  • Practical controller synthesis for MTL0,∞

    Li, G., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 13 jul. 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, s. 102-111 10 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)

  • Predicting completeness in knowledge bases

    Galárraga, L., Razniewski, S., Amarilli, A. & Suchanek, F. M., 2 feb. 2017, WSDM 2017 - Proceedings of the 10th ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, s. 375-383 9 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    81 Citationer (Scopus)

  • ProjecTables: Augmented CNC Tools for Sustainable Creative Practices

    Rasmussen, T. & Merritt, T., 2017, CAADRIA 2017: 22nd International Conference on Computer-Aided Architectural Design Research in Asia. The Association for Computer-Aided Architectural Design Research in Asia (CAADRIA), s. 757-767 11 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    6 Citationer (Scopus)

  • PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

    Jensen, P. G., Larsen, K. G. & Srba, J., 2017, Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17). Springer, Bind 10580. s. 248-265 18 s. (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    12 Citationer (Scopus)

  • QBOAirbase: The European Air Quality Database as an RDF Cube

    Galárraga, L., Ahlstrøm, K. & Hose, K., 2017, Proceedings of the ISWC 2017 Posters & Demonstrations and Industry Tracks: co-located with 16th International Semantic Web Conference (ISWC 2017). CEUR Workshop Proceedings, 4 s. 507. (C E U R Workshop Proceedings, Bind 1963).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    1 Citationer (Scopus)
    99 Downloads (Pure)

  • Quantitative Evaluation of Attack Defense Trees using Stochastic Timed Automata

    Hansen, R. R., Jensen, P. G., Larsen, K. G., Legay, A. & Poulsen, D. B., 2017, Graphical Models for Security: 4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017, Revised Selected Papers. Springer, s. 75-90 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    7 Citationer (Scopus)

  • Refinement of Trace Abstraction for Real-Time Programs

    Cassez, F., Jensen, P. G. & Larsen, K. G., 7 sep. 2017, Reachability Problems: 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Springer, s. 42-58 (Lecture Notes in Computer Science, Bind 10506).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    7 Citationer (Scopus)

  • Reverse keyword-based location search

    Xie, X., Lin, X., Xu, J. & Jensen, C. S., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 375-386 12 s. 7929992

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    14 Citationer (Scopus)

  • Reverse Top-k geo-social keyword queries in road networks

    Zhao, J., Gao, Y., Chen, G., Jensen, C. S., Chen, R. & Cai, D., 16 maj 2017, Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017. IEEE, s. 387-398 12 s. 7929993

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    37 Citationer (Scopus)

  • Run, Walk, Crawl: Towards Dynamic Link Capacities

    Singh, R., Ghobadi, M., Förster, K-T., Filer, M. & Gill, P., okt. 2017, Proceedings of the 16th ACM Workshop on Hot Topics in Networks (HotNets 2017). Association for Computing Machinery, s. 143-149

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    16 Citationer (Scopus)

  • Sampling Frequency Effects on Trajectory Routes and Road Network Travel Time

    Andersen, O. & Torp, K., 9 nov. 2017, Proceedings of the 25th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems. Association for Computing Machinery, 30

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • SM4MQ: A Semantic Model for Multidimensional Queries

    Varga, J., Dobrokhotova, E., Romero, O., Pedersen, T. B. & Thomsen, C., 16 maj 2017, The Semantic Web: 14th International Conference, ESWC 2017, Portorož, Slovenia, May 28 – June 1, 2017, Proceedings, Part I. Springer, s. 449-464 16 s. ( Lecture Notes in Computer Science, Bind 10249).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    116 Downloads (Pure)

  • Symbolic Dependency Graphs for PCTL Model-Checking

    Mariegaard, A. & Larsen, K. G., 2017, Formal Modeling and Analysis of Timed Systens. Springer Publishing Company, Bind 10419. s. 153-169 17 s. (Lecture Notes in Computer Science, Bind 10419).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    4 Citationer (Scopus)

  • TABOO: Detecting unstructured sensitive information using recursive neural networks

    Neerbek, J., Assent, I. & Dolog, P., 16 maj 2017, IEEE 33rd International Conference on Data Engineering (ICDE), 2017 . IEEE, s. 1399-1400 2 s. (Proceedings of the International Conference on Data Engineering).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • Teaching Spatial Geometry in a Virtual World: Using Minecraft in Mathematics in Grade 5/6

    Förster, K-T., 8 jun. 2017, 2017 IEEE Global Engineering Education Conference (EDUCON). IEEE, s. 1411-1418 8 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    11 Citationer (Scopus)

  • The Connected Car: An Empirical Study of Electric Cars as Mobile Digital Devices

    Svangren, M. K., Skov, M. & Kjeldskov, J., 2017, MobileHCI '17: Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services. Association for Computing Machinery, 12 s. 6

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    21 Citationer (Scopus)

  • The Dynamics of Agile Practices for Safety-Critical Software Development

    Nielsen, P. A. & Tordrup Heeager, L., 26 maj 2017, Proceedings of the Scientific Workshops of XP2017 Proceedings. Hansen, G. K., Myklebust, T., Johnsen, S. O. & Doss, O. (red.). Cologne: Association for Computing Machinery, 21

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • The grand CRU challenge

    Blöcher, M., Viering, M., Schmid, S. & Eugster, P., 11 aug. 2017, HotConNet 2017 - Proceedings of the 2017 Workshop on Hot Topics in Container Networking and Networked Systems, Part of SIGCOMM 2017. Association for Computing Machinery, s. 7-11 5 s.

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • The Odyssey Approach for Optimizing Federated SPARQL Queries

    Montoya, G., Skaf-Molli, H. & Hose, K., 2017, The Semantic Web - ISWC 2017: 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I. Springer, Bind 10587. s. 471-489 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    34 Citationer (Scopus)

  • 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 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 proceeding › Konferenceartikel i proceeding › Forskning › peer review

    15 Citationer (Scopus)

  • Understanding and designing for emerging digital eco-systems: The cases of private and shared cars

    Svangren, M. K., 4 sep. 2017, Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services, MobileHCI 2017. Association for Computing Machinery, 69

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Understanding and Mitigating Packet Corruption in Data Center Networks

    Zhou, D., Ghobadi, M., Mahajan, R., Förster, K-T., Krishnamurthy, A. & Anderson, T., aug. 2017, Proceedings of the Conference of the ACM Special Interest Group on Data Communication: ACM SIGCOMM 2017. Association for Computing Machinery, s. 362-375

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    58 Citationer (Scopus)

  • Unrestricted stone duality for Markov processes

    Furber, R., Kozen, D., Larsen, K. G., Mardare, R. I. & Panangaden, P., 8 aug. 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Press, 8005152

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    6 Citationer (Scopus)

  • Uppaal Stratego for Intelligent Traffic Lights

    Eriksen, A. B., Huang, C., Kildebogaard, J., Lahrmann, H. S., Larsen, K. G., Muniz, M. & Taankvist, J. H., 2017, 12th ITS European Congress: Strasbourg, France, 19-22 June 2017. ERTICO - ITS Europe, 10 s. SP0878

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

  • Using T-Drive and BerlinMod in Parallel SECONDO for Performance Evaluation of Geospatial Big Data Processing

    Ashfaq, M., Tahir, A., Orakzai, F. M., McArdle, G. & Bertolotto, M., 2017, Spatial Data Handling in Big Data Era. Zhou, C., Su, F., Harvey, F. & Xu, J. (red.). Springer, s. 3-19 16 s. (Advances in Geographic Information Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    2 Citationer (Scopus)

  • Validation, synthesis and optimization for cyber-physical systems

    Larsen, K. G., 2017, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Springer, Bind 10205 LNCS. s. 3-20 18 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10205 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    5 Citationer (Scopus)

  • Value Positions in E-government strategies: Something is (not) changing in the state of Denmark

    Persson, J. S., Reinwald, A. K., Skorve, E. & Nielsen, P. A., 5 jun. 2017, Proceedings of the 25th European Conference on Information Systems. The Association for Information Systems (AIS), s. 904-917 (Proceedings / European Conference on Information Systems (ECIS), Bind 2017).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    Fil
    19 Citationer (Scopus)
    456 Downloads (Pure)

  • VICKEY: Mining Conditional Keys on Knowledge Bases

    Symeonidou, D., Prado, L. A. G. D., Pernelle, N., Saïs, F. & Suchanek, F., 4 okt. 2017, International Semantic Web Conference ISWC 2017: The Semantic Web – ISWC 2017. Springer, Bind 10587. s. 661-677 (Lecture Notes in Computer Science).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    18 Citationer (Scopus)

  • Vom Flaggenalphabet zur Vorratsdatenspeicherung: Schülerinnen und Schüler als Multiplikatoren technischer Aspekte der digitalen Welt

    Förster, K-T., sep. 2017, INFOS 2017: Informatische Bildung zum Verstehen und Gestalten der digitalen Welt. Diethelm, I. (red.). Gesellschaft für Informatik (GI), s. 171-179 (Lecture Notes in Informatics).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang

  • Walking the line: The everyday security ties that bind

    Coles-Kemp, L. & Hansen, R. R., 2017, Human Aspects of Information Security, Privacy and Trust - 5th International Conference, HAS 2017 Held as Part of HCI International 2017, Proceedings. Springer, Bind 10292 LNCS. s. 464-480 17 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10292 LNCS).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    13 Citationer (Scopus)

  • Wireless Evacuation on m Rays with k Searchers

    Brandt, S., Förster, K-T., Richner, B. & Wattenhofer, R., dec. 2017, Proceedings of the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO). Springer, (Lecture Notes in Computer Science, Bind 10641).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    Åben adgang
    9 Citationer (Scopus)

  • WNetKAT: A Weighted SDN Programming and Verification Language

    Larsen, K. G., Schmid, S. & Xue, B., 2017, 20th International Conference on Principles of Distributed Systems (OPODIS). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, (Leibniz International Proceedings in Informatics; Nr. 70).

    Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review

    3 Citationer (Scopus)