Informatik

Publikationen

Publikationen pro Jahr 1978 2002 2005 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2024

• 800 Konferenzbeitrag
• 371 Artikel
• 174 Kapitel in einem Sammelband
• 79 Sonstiger Beitrag
• 222 Mehr
  • 75 Paper
  • 37 Buch
  • 32 Forschungsbericht
  • 17 Sammelband
  • 16 Software
  • 11 Abstract
  • 8 Poster
  • 6 Konferenzartikel
  • 4 Review article
  • 4 Patentschrift
  • 3 Meeting-Abstract
  • 3 Leitartikel
  • 2 Digitale oder visuelle Produkte
  • 2 Preprint
  • 1 Anthologie
  • 1 Literature review

Publikationen pro Jahr

Publikationen pro Jahr

Suchergebnisse

• 2023

  Experimental Aspects of Computational Geometry

  Held, M., Noellenburg, M. & Sanders, P., März 2023, Elsevier.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

  Open Access

• Introduction to the special issue for SPIN 2021

  Laarman, A. & Sokolova, A., 25 Feb. 2023, Int. Journal on Software Tools for Technology Transfer (STTT).

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

  Open Access

• Preface to the special issue on Open Problems in Concurrency Theory

  Castellani, I., D'Argenio, P., Mousavi, M. R. & Sokolova, A., Jan. 2023, Journal of Logical and Algebraic Methods in Programming (JLAMP).

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

• FINEX: A Fast Index for Exact & Flexible Density -Based Clustering (Extended Version with Proofs)

  Thiel, K. E., Kocher, D., Augsten, N., Hütter, T., Mann, W. & Schmitt, D. U., 2023, 30 S. arXiv.org.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

  Open Access

• KOIOS: Top-k Semantic Overlap Set Search

  Mundra, P., Zhang, J., Nargesian, F. & Augsten, N., 2023, 13 S. arXiv.org.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

  Open Access
• 2021

  New Weighting Schemes for Meta-blocking

  Augsten, N., Kwitt, R., Lissandrini, M., Mann, W., Palpanas, T. & Papadakis, G., 1 Okt. 2021

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

  Open Access

• Model Checking Software - 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

  Laarman, A. & Sokolova, A., 2021, Springer, LNCS.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

• Proceedings 37th Conference on Mathematical Foundations of Programming Semantics

  Sokolova, A., 2021, Electronic Proceedings in Theoretical Computer Science.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

  Open Access

• Scalable Similarity Queries over Complex Data

  Kocher, D., 2021, 124 S.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

• Similarity Queries over Hierarchical Data

  Hütter, T., 2021

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

• 2020

  Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15-19, 2020, Proceedings

  Gotsman, A. & Sokolova, A., 2020

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

• Presenting convex sets of probability distributions by convex semilattices and unique bases.

  Bonchi, F., Sokolova, A. & Vignudelli, V., 2020, arXiv

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2019

  8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom.

  Roggenbach, M. & Sokolova, A., 2019, 2 S.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

• Helmut Veith memorial workshop 2019 report

  Morak, M., Prianichnikova, A. & Sokolova, A., 2019, 2 S. Association for Computing Machinery (ACM).

  Publikation: Andere Beiträge › Sonstiger Beitrag › Kommunikation

• Preface for the special issue of Proof, Structure, and Computation 2014

  Pattinson, D., Schuster, P. & Sokolova, A., 2019, Oxford University Press.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung
• 2017

  Asymptotic quadratic convergence of the two-sided serial and parallel block Jacobi SVD algorithm

  Titel in Übersetzung: Asymptotic quadratic convergence of the two-sided serial and parallel block Jacobi SVD algorithmOkša, G., Yamamoto, Y. & Vajtersic, M., 2017, Universitaet Salzburg, FB Computerwissenschaften.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Termination in Convex Sets of Distributions

  Titel in Übersetzung: Termination in Convex Sets of DistributionsSokolova, A. & Woracek, H., 2017, arXiv.org.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• The Power of Convex Algebras

  Titel in Übersetzung: The Power of Convex AlgebrasBonchi, F., Silva, A. & Sokolova, A., 2017, arXiv.org.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2016

  Asymptotic quadratic convergence of the parallel block-Jacobi EVD algorithm for Hermitian matrices

  Titel in Übersetzung: Asymptotic quadratic convergence of the parallel block-Jacobi EVD algorithm for Hermitian matricesOksa, G., Yamamoto, Y. & Vajtersic, M., 2016, Universitaet Salzburg, FB Computerwissenschaften.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Dynamic Reductions for Model Checking Concurrent Software

  Titel in Übersetzung: Dynamic Reductions for Model Checking Concurrent SoftwareGünther, H., Laarman, A., Sokolova, A. & Weissenbacher, G., 2016

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Parallel one-sided block Jacobi SVD algorithm with dynamic ordering and variable blocking: Performance analysis and optimization

  Titel in Übersetzung: Parallel one-sided block Jacobi SVD algorithm with dynamic ordering and variable blocking: Performance analysis and optimizationKudo, S., Yamamoto, Y., Becka, M. & Vajtersic, M., 2016, Universitaet Salzburg, FB Computerwissenschaften.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2015

  Asymptotic quadratic convergence of the serial block-Jacobi EVD algorithm for Hermitian matrices

  Titel in Übersetzung: Asymptotic quadratic convergence of the serial block-Jacobi EVD algorithm for Hermitian matricesYamamoto, Y., Oksa, G. & Vajtersic, M., 2015, Universitaet Salzburg, FB Computerwissenschaften.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Fast algorithm for the fourth-order elliptic problem based on orthogonal matrix decomposition

  Titel in Übersetzung: Fast algorithm for the fourth-order elliptic problem based on orthogonal matrix decompositionStolfo, P. D. & Vajtersic, M., 2015, Universitaet Salzburg, FB Computerwissenschaften.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• GeTVivid_3.1. System conception and architecture design

  Titel in Übersetzung: GeTVivid_3.1. System conception and architecture designCollini-Nocker, B., Ortner, C. & Feldbacher, B., 2015

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Parallel code for one-sided Jacobi-method

  Titel in Übersetzung: Parallel code for one-sided Jacobi-methodBecka, M., Oksa, G. & Vajtersic, M., 2015, Universitaet Salzburg, FB Computerwissenschaften.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2014

  Fast Concurrent Data-Structures Through Explicit Timestamping

  Titel in Übersetzung: Fast Concurrent Data-Structures Through Explicit TimestampingDodds, M., Haas, A. & Kirsch, C., 2014, 38 S. Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2013

  An Affine Invariant Local Ternary Patterns Method

  Titel in Übersetzung: An Affine Invariant Local Ternary Patterns MethodHegenbart, S., Uhl, A. & Vécsei, A., 2013

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• A scale-adaptive Extension to Methods based on LBP using scale-normalized Laplacian of Gaussian Extrema in Scale-space

  Titel in Übersetzung: A scale-adaptive Extension to Methods based on LBP using scale-normalized Laplacian of Gaussian Extrema in Scale-spaceHegenbart, S. & Uhl, A., 2013

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Super-Resolution Techniques Evaluated in the Context of HD Endoscopic Imaging

  Titel in Übersetzung: Super-Resolution Techniques Evaluated in the Context of HD Endoscopic ImagingHäfner, M., Liedlgruber, M. & Uhl, A., 2013

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2012

  Fast and Scalable k-FIFO Queues

  Titel in Übersetzung: Fast and Scalable k-FIFO QueuesKirsch, C., Lippautz, M. & Payer, H., 2012, 18 S. Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Nutzeranforderungen - Ergebnisse bzgl. Nutzerbefragung und Literaturrecherche WP 2.1

  Hennig, S., Osberger, A. & Zobl, F., 2012

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Quantitative relaxation of concurrent data structures

  Titel in Übersetzung: Quantitative relaxation of concurrent data structuresHenzinger, T. A., Kirsch, C., Payer, H., Sezgin, A. & Sokolova, A., 2012, 20 S.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Shape Curvature Histogram: A Shape Feature for Celiac Disease Diagnosis

  Titel in Übersetzung: Shape Curvature Histogram: A Shape Feature for Celiac Disease DiagnosisGadermayr, M., Liedlgruber, M. & Uhl, A., 2012, 14 S.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2011

  A Summary of Research Targeted at Computer-Aided Decision Support in Endoscopy of the Gastrointestinal Tract

  Titel in Übersetzung: A Summary of Research Targeted at Computer-Aided Decision Support in Endoscopy of the Gastrointestinal TractLiedlgruber, M. & Uhl, A., 2011

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Bridging the gap between classical extra-functional properties of legacy embedded software and modern requirements addressed by Model-Based Design

  Titel in Übersetzung: Bridging the gap between classical extra-functional properties of legacy embedded software and modern requirements addressed by Model-Based DesignResmerita, S., Naderlinger, A., Pree, W., Derler, P. & Butts, K., 2011

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

• Mobile Attachment - Investigating Emotional Attachment to Mobile Devices and Services from an HCI Perspective

  Titel in Übersetzung: Mobile Attachment - Investigating Emotional Attachment to Mobile Devices and Services from an HCI PerspectiveMeschtscherjakov, A., 2011

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

• 2010

  Nonnegative Matrix Factorization: Algorithms and Parallelization. Technical Report 2010-05

  Titel in Übersetzung: Nonnegative Matrix Factorization: Algorithms and Parallelization. Technical Report 2010-05Okša, G., Bečka, M. & Vajtersic, M., 2010, Salzburg

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Power-aware Temporal Isolation with Variable-Bandwidth Servers

  Titel in Übersetzung: Power-aware Temporal Isolation with Variable-Bandwidth ServersCraciunas, S., Kirsch, C. & Sokolova, A., 2010, 25 S. Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Runtime Programming through Model-Preserving, Scalable Runtime Patches

  Titel in Übersetzung: Runtime Programming through Model-Preserving, Scalable Runtime PatchesChristoph M Kirsch, L. L., Sokolova, A. & Kirsch, C., 2010, 27 S. Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Short-term Memory for Self-collecting Mutators

  Titel in Übersetzung: Short-term Memory for Self-collecting MutatorsAigner, M., Haas, A., Kirsch, C., Payer, H., Schoenegger, A. & Sokolova, A., 2010, Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Short-term Memory for Self-collecting Mutators, Revised Version

  Titel in Übersetzung: Short-term Memory for Self-collecting Mutators, Revised VersionAigner, M., Haas, A., Kirsch, C. & Sokolova, A., 2010, 34 S. Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2009

  Concurrency and scalability versus fragmentation and compaction with Compact-Fit

  Titel in Übersetzung: Concurrency and scalability versus fragmentation and compaction with Compact-FitCraciunas, S., Kirsch, C., Payer, H., Röck, H. & Sokolova, A., 2009, 28 S. Salzburg : Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Response time versus utilization in scheduler overhead accounting

  Titel in Übersetzung: Response time versus utilization in scheduler overhead accountingCraciunas, S., Kirsch, C. & Sokolova, A., 2009, 24 S. Salzburg : Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• 2008

  Generalization of the Dynamic Ordering for the One-Sided Block Jacobi SVD Algorithm: I. Analysis and Design. Technical Report 2008-01

  Titel in Übersetzung: Generalization of the Dynamic Ordering for the One-Sided Block Jacobi SVD Algorithm: I. Analysis and Design. Technical Report 2008-01Becka, M. & Vajtersic, M., 2008, 16 S. Salzburg

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Generalization of the Dynamic Ordering for the One-Sided Block Jacobi SVD Algorithm: II. Implementation Report 2008-03

  Titel in Übersetzung: Generalization of the Dynamic Ordering for the One-Sided Block Jacobi SVD Algorithm: II. Implementation Report 2008-03Becka, M. & Vajtersic, M., 2008, 14 S. Salzburg

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• On a Technical Approach for Manipulating Base Diagrams of Multiagent Systems

  Titel in Übersetzung: On a Technical Approach for Manipulating Base Diagrams of Multiagent SystemsSoboll, T., 2008, 4 S.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

• Options for Transport Layer Usage

  Titel in Übersetzung: Options for Transport Layer UsageKissling, C. & Gräupl, T., 2008

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed

• Real-Time Scheduling for Workload-oriented Programming

  Titel in Übersetzung: Real-Time Scheduling for Workload-oriented ProgrammingCraciunas, S., Kirsch, C., Röck, H. & Sokolova, A., 2008, Department of Computer Sciences, University of Salzburg.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Rezension zu: G.Oksa: Introduction to Numerical Methods of Linear Algebra

  Titel in Übersetzung: Rezension zu: G.Oksa: Introduction to Numerical Methods of Linear AlgebraVajtersic, M., 2008, 148 S. Bratislava : Slovak Technical University.

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung

• Security for IP based aeronautical networks: Analysis

  Titel in Übersetzung: Security for IP based aeronautical networks: AnalysisEhammer, M. & Gräupl, T., 2008

  Publikation: Andere Beiträge › Sonstiger Beitrag › Forschung › Peer-reviewed