• PostadresseVis på kort

    Selma Lagerlöfs Vej 300

    9220 Aalborg Ø

    Danmark

Filter
Konferenceartikel i proceeding

Søgeresultater

  • Konferenceartikel i proceeding

    Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes

    Kochdumper, N., Schilling, C., Althoff, M. & Bak, S., 2023, NASA Formal Methods: 15th International Symposium, NFM 2023, Proceedings. Rozier, K. Y. & Chaudhuri, S. (red.). Springer Nature Switzerland AG, s. 272-291 20 s. (Lecture Notes in Computer Science, Bind 13903).

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

    Åben adgang
    3 Citationer (Scopus)
  • OpenSubspace: An Open Source Framework for Evaluation and Exploration of Subspace Clustering Algorithms in WEKA

    Müller, E., Assent, I., Günnemann, S. & Seidl, T., 2009, Proceedings of OSDM 2009. s. 1-12

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

  • Operational Semantics for BPEL Complex Features in Rewriting Logic

    Okika, J., Owe, O. & Prisacariu, C., 2009, Proceedings of the 21st Nordic Workshop on Programming Theory, NWPT '09. Technical University of Denmark (DTU), 3 s.

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

  • Operator-Potential Heuristics for Symbolic Search

    Fišer, D., Torralba, A. & Hoffmann, J., jun. 2022, Proceedings of the AAAI Conference on Artificial Intelligence, 36. AAAI Press, s. 9750-9757 (Proceedings of the AAAI Conference on Artificial Intelligence; Nr. 9, Bind 36).

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

    1 Citationer (Scopus)
  • Operator-Potentials in Symbolic Search: From Forward to Bi-Directional Search

    Fišer, D., Torralba, A. & Jörg, H., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, s. 80-89 10 s. (Proceedings International Conference on Automated Planning and Scheduling, ICAPS, Bind 32).

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

  • Optimal and robust controller synthesis: Using energy timed automata with uncertainty

    Bacci, G., Bouyer, P., Fahrenberg, U., Larsen, K. G., Markey, N. & Reynier, P. A., 1 jan. 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (red.). Springer, s. 203-221 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 10951 LNCS).

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

    8 Citationer (Scopus)
  • Optimal Conditional Reachability for Multi-Priced Timed Automata

    Larsen, K. G. & Rasmussen, J. I., 2005, Proceedings of Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Sassone, V. (red.). IEEE Computer Society Press, s. 234-249 (Lecture Notes in Computer Science; Nr. 3441).

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

    33 Citationer (Scopus)
  • Optimal Mixed Strategies for Cost-Adversarial Planning Games

    Horčík, R., Torralba, A., Rytíř, P., Chrpa, L. & Edelkamp, S., 13 jun. 2022, Proceedings of the 32nd International Conference on Automated Planning and Scheduling, ICAPS 2022. Kumar, A., Thiebaux, S., Varakantham, P. & Yeoh, W. (red.). AAAI Press, Bind 32. s. 160-168 9 s.

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

    Åben adgang
    1 Citationer (Scopus)
  • Optimal Scheduling and Priced Timed Automata

    Larsen, K. G., 2004, Proceedings of 16th Nordic Workshop on Programming Theory: Uppsala technical report. Pettersson, P. & Yi, W. (red.). 2004-041 udg. s. 93-94 2 s.

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

    35 Citationer (Scopus)
  • Optimal Sizing of Hybrid Renewable Energy Sources via Efficient Demand Response in Microgrid

    Chakraborty, N. & Kalaimannan, E., 12 jun. 2020, e-Energy 2020 - Proceedings of the 11th ACM International Conference on Future Energy Systems. Association for Computing Machinery, s. 415-416 2 s.

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

  • Optimal Strategies in Priced Timed Game Automata

    Larsen, K. G., Bouyer, P., Cassez, F. & Fleury, E., 2004, FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science: Lecture Notes in Computer Science. 3328 udg. Springer, s. 148-160 13 s.

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

    75 Citationer (Scopus)
  • Optimizing Aggregate SPARQL Queries Using Materialized RDF Views

    Ibragimov, D., Hose, K., Pedersen, T. B. & Zimányi, E., 23 sep. 2016, The Semantic Web – ISWC 2016: 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I. Groth, P., Simperl, E., Gray, A., Sabou, M., Krötzsch, M., Lecue, F., Flöck, F. & Gil, Y. (red.). Springer, s. 341-359 19 s. (Lecture Notes in Computer Science, Bind 9981).

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

    16 Citationer (Scopus)
  • Optimizing Bayesian Networks for Recognition of Driving Maneuvers to Meet the Automotive Requirements

    Weidl, G., Madsen, A. L., Dietmar, K. & Breuel, G., 2014, Intelligent Control (ISIC), 2014 IEEE International Symposium. IEEE, s. 1626 -1631 6 s.

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

    Fil
    11 Citationer (Scopus)
    1151 Downloads (Pure)
  • Optimizing Control Strategy Using Statistical Model Checking

    David, A., Du, D., Larsen, K. G., Legay, A. & Mikucionis, M., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Springer Publishing Company, Bind 7871. s. 352-367 (Lecture Notes in Computer Science, Bind 7871).

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

    27 Citationer (Scopus)
  • Optimizing Notifications of Subscription-Based Forecast Queries

    Fischer, U., Boehm, M., Lehner, W. & Pedersen, T. B., 2012, Scientific and Statistical Database Management - 24th International Conference, SSDBM 2012, Chania, Crete, Greece, June 25-27, 2012. Proceedings.. Springer, s. 449-466 (Lecture Notes in Computer Science, Bind 7338).

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

    4 Citationer (Scopus)
  • Optimizing RDF Data Cubes for Efficient Processing of Analytical Queries

    Jakobsen, K. A., Andersen, A. B., Hose, K. & Pedersen, T. B., 24 aug. 2015, Consuming Linked Data (COLD 2015): Proceedings of the 6th International Workshop on Consuming Linked Data co-located with 14th International Semantic Web Conference (ISWC 2105). Hartig, O., Sequeda, J. & Hogan, A. (red.). CEUR Workshop Proceedings, Bind 1426. 12 s. (CEUR Workshop Proceedings).

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

    Åben adgang
    2 Citationer (Scopus)
  • Optimizing Route Length in Reactive Protocols for Ad Hoc Networks

    Clausen, T. H., Jacquet, P. & Viennot, L., 2002, IFIP Med Hoc Net 2002.

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

  • Optimizing SPARQL queries using shape statistics

    Rabbani, K., Lissandrini, M. & Hose, K., 2021, Advances in Database Technology : 24th International Conference on Extending Database Technology, EDBT 2021. Velegrakis, Y., Velegrakis, Y., Zeinalipour, D., Chrysanthis, P. K., Chrysanthis, P. K. & Guerra, F. (red.). OpenProceedings.org, s. 505-510 6 s. (Advances in Database Technology).

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    178 Downloads (Pure)
  • Opting for Innovation In Mobile Applications

    Hosbond, J. H., Nielsen, P. A. & Aaen, I., 2007, Proceedings of the Ninth International Conference on Enterprise Information Systems, Volume EIS, Funchal, Madeira, Portugal, June 12-16, 2007. Cadoso, J., Cordeiro, J. & Filipe, J. (red.). Institute for Systems and Technologies of Information, Control and Communication

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

  • Opting for Innovation in Mobile Applications

    Hosbond, J. H., Nielsen, P. A. & Aaen, I., 2006, Proceedings of IRIS29. Dittrich, Y. (red.). IT University

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

  • Oral vs. written evaluation of students

    Asklund, U. & Bendix, L. G., 2003, Proceedings of the Pedagogisk inspirationskonferens, Lund, Sweden, May 27.

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

  • Organizational Influence Processes in Software Process Improvement

    Nielsen, P. A. & Ngwenyama, O., 2002, Proceedings of the 10th European Conference on Information Systems (ECIS2002). Wrycza, S. (red.). <Forlag uden navn>

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

  • Origin-destination trajectory diversity analysis: Efficient top-k diversified search

    He, D., Ruan, B., Zheng, B. & Zhou, X., 13 jul. 2018, Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 135-144 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

    3 Citationer (Scopus)
  • Outdoor-indoor Space: Unified Modeling and Shortest Path Search

    Jensen, S. K., Nielsen, J. T. V., Lu, H. & Cheema, M. A., 31 okt. 2016, Proceedings of the Eighth ACM SIGSPATIAL International Workshop on Indoor Spatial Awareness. Aamir Cheema, M., Eunus Ali, M. & Yang, S. (red.). Association for Computing Machinery, s. 35-42 8 s.

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

    5 Citationer (Scopus)
  • Outlier Detection for Multidimensional Time Series using Deep Neural Networks

    Kieu, T., Yang, B. & Jensen, C. S., 13 jul. 2018, Proceedings of the 19th IEEE International Conference on Mobile Data Management, MDM 2018. IEEE, Bind 2018-June. s. 125-134 10 s. (IEEE International Conference on Mobile Data Management (MDM)).

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

    150 Citationer (Scopus)
  • Outlier Detection for Streaming Task Assignment in Crowdsourcing.

    Zhao, Y., Chen, X., Deng, L., Kieu, T., Guo, C., Yang, B., Zheng, K. & Jensen, C. S., 2022, Proceedings of the ACM Web Conference 2022, WWW 2022. Association for Computing Machinery, s. 1933-1943 11 s.

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

    11 Citationer (Scopus)
  • Outlier Detection for Time Series with Recurrent Autoencoder Ensembles

    Kieu, T., Yang, B., Guo, C. & Jensen, C. S., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (red.). ijcai.org, s. 2725-2732 8 s.

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

    Åben adgang
    163 Citationer (Scopus)
  • OutRank: ranking outliers in high dimensional data

    Müller, E., Assent, I., Steinhausen, U. & Seidl, T., 2008, IEEE 24th International Conference on Data Engineering Workshop, 2008. ICDEW 2008. IEEE, s. 600-603

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

    56 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 proceedingKonferenceartikel i proceedingForskningpeer review

    23 Citationer (Scopus)
  • Outsourcing Search Services on Private Spatial Data

    Yiu, M. L., Ghinita, G., Jensen, C. S. & Kalnis, P., 2009, Proceedings of the 2009 IEEE International Conference on Data Engineering. IEEE Computer Society Press, s. 1140-1143

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

    39 Citationer (Scopus)
  • Overcoming the Developer Mindset Barrier towards Usability Evaluations

    Bruun, A. & Stage, J., 2012, Proceedings of Information Systems Research Seminar in Scandinavia. 13 s.

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

  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    28 Citationer (Scopus)
  • P4Fuzz: Compiler Fuzzer forDependable Programmable Dataplanes

    Agape, A. A., Danceanu, M. C., Hansen, R. R. & Schmid, S., 5 jan. 2021, ICDCN 2021 - Proceedings of the 2021 International Conference on Distributed Computing and Networking. Association for Computing Machinery, s. 16-25 10 s.

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

    4 Citationer (Scopus)
  • PAD: Privacy-Area Aware, Dummy-Based Location Privacy in Mobile Services

    Lu, H., Jensen, C. S. & Yiu, M. L., 2008, Proceedings of the 7th ACM International Workshop on Data Engineering for Wireless and Mobile Access. Kotidis, Y. & marron, P. J. (red.). Association for Computing Machinery, s. 16-23

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

    204 Citationer (Scopus)
  • Page-Turning Techniques for Reading Interfaces in Virtual Environments

    Dingler, T., Li, S., van Berkel, N. & Kostakos, V., 2020, Proceedings of the Australian Conference on Human-Computer Interaction. Association for Computing Machinery, s. 454–461

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

    1 Citationer (Scopus)
  • Paradox of Safety: Remote Monitoring of ICD Patients

    Skov, M. B., Johansen, P. G., Skov, C. S. & Lauberg, A., 2015, Proceedings of the Workshop on Crossing HCI and Health : Advancing Health and Wellness Technology Research in Home and Community Settings. Association for Computing Machinery

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

  • Parallel Filter-Based Feature Selection Based on Balanced Incomplete Block Designs

    Salmerón, A., Madsen, A. L., Jensen, F., Langseth, H., Nielsen, T. D., Ramos-López, D., Martinez, A. M. & Masegosa, A., 2016, ECAI 2016: 22nd European Conference on Artificial Intelligence. IOS Press, s. 743-750 8 s. (Frontiers in Artificial Intelligence and Applications, Bind 285).

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

    Åben adgang
    1 Citationer (Scopus)
  • Parallel importance sampling in conditional linear Gaussian networks

    Salmerón, A., Ramos-López, D., Borchani, H., Martinez, A. M., Masegosa, A. R., Fernández, A., Langseth, H., Madsen, A. L. & Nielsen, T. D., 2015, Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings. Puerta, J. M., Gámez, J. A., Dorronsoro, B., Barrenechea, E., Troncoso, A., Baruque, B. & Galar, M. (red.). Springer, s. 36-46 (Lecture Notes in Computer Science; Nr. 9422).

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

    Fil
    7 Citationer (Scopus)
    476 Downloads (Pure)
  • Parallelisation of the PC Algorithm

    Madsen, A. L., Jensen, F., Salmerón, A., Langseth, H. & Nielsen, T. D., 2015, Advances in Artificial Intelligence: 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9–12, 2015 Proceedings. Springer, s. 14-24 11 s. (Lecture Notes in Computer Science, Bind 9422).

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

    Fil
    8 Citationer (Scopus)
    318 Downloads (Pure)
  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    2 Citationer (Scopus)
  • Parallel main-memory indexing for moving-object query and update workloads

    Sidlauskas, D., Saltenis, S. & Jensen, C. S., 2012, Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012. Association for Computing Machinery, s. 37-48 10 s.

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

    57 Citationer (Scopus)
  • Parallel Semantic Trajectory Similarity Join

    Chen, L., Shang, S., Jensen, C. S., Yao, B. & Kalnis, P., 2020, 2020 IEEE 36th International Conference on Data Engineering. IEEE, s. 997-1008 12 s. 9101683. (Proceedings of the International Conference on Data Engineering).

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

    Åben adgang
    37 Citationer (Scopus)
  • Parameter estimation in mixtures of truncated exponentials

    Langseth, H., Nielsen, T. D., Rumí, R. & Salmerón, A., 2008, Proceedings of the Fourth European Workshop on Probabilistic Graphical Models. Jaeger, M. & Nielsen, T. D. (red.). s. 169-176 8 s.

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

    Åben adgang
    Fil
    3 Citationer (Scopus)
    121 Downloads (Pure)
  • Parameter estimation using B-Trees

    Schmidt, A. & Bøhlen, M. H., 2004, INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM, PROCEEDINGS. IEEE Computer Society Press, s. 325-333

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

  • 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 proceedingKonferenceartikel i proceedingForskningpeer review

    Åben adgang
    Fil
    2 Citationer (Scopus)
    178 Downloads (Pure)
  • Parameter Learning for Relational Bayesian Networks

    Jaeger, M., 2007, Proceedings of the 24th Annual International Conference on Machine Learning (ICML 2007). Association for Computing Machinery, s. 369-376 8 s.

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

    20 Citationer (Scopus)
  • Parameter Reusing in Learning Latent Class Models

    Karciauskas, G., Jensen, F. V. & Kocka, T., 2004, Proceedings of the 8th International Symposium on Artificial Intelligence and Mathematics.

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

    Åben adgang
    Fil
    255 Downloads (Pure)
  • Parametric and Quantitative Extensions of Modal Transition Systems

    Fahrenberg, U., Larsen, K. G., Legay, A. & Traonouez, L-M., 14 feb. 2014, From Programs to Systems.: The Systems perspective in Computing. Bensalem, S., Lakhneck, Y. & Legay, A. (red.). Springer, Bind 8415. s. 84-97 (Lecture Notes in Computer Science).

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

    2 Citationer (Scopus)
  • Parametric Multi-Channel Separation and Re-Panning of Harmonics Sources

    Hansen, M. W., Hjerrild, J. M., Christensen, M. G. & Kjeldskov, J., 4 sep. 2018, Proceedings of the 21st International Conference on Digital Audio Effects (DAFx-18), Aveiro, Portugal, September 4–8, 2018. Universidade de Aveiro, Comissão Editorial, 8 s. (International Conference on Digital Audio Effects).

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

    Åben adgang
    Fil
    2 Citationer (Scopus)
    152 Downloads (Pure)
  • Parametric Verification of Weighted Systems

    Christoffersen, P., Hansen, M., Mariegaard, A., Ringsmose, J. T., Larsen, K. G. & Mardare, R. I., 1 nov. 2015, 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015. Andre, E. & Frehse, G. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 77-90 14 s. (Open Access Series in Informatics, Bind 44).

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

    Åben adgang
    Fil
    11 Citationer (Scopus)
    89 Downloads (Pure)