Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Andreas Pavlogiannis - MaRDI portal

Andreas Pavlogiannis

From MaRDI portal
Person:650875

Available identifiers

zbMath Open pavlogiannis.andreasDBLP47/8037WikidataQ41048347 ScholiaQ41048347MaRDI QIDQ650875

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61870592024-02-05Paper
Dynamic Data-Race Detection Through the Fine-Grained Lens2023-08-21Paper
Faster Algorithms for Quantitative Analysis of MCs and MDPs with Small Treewidth2022-12-22Paper
Stateless model checking under a reads-value-from equivalence2022-03-25Paper
Faster algorithms for quantitative verification in bounded treewidth graphs2021-12-08Paper
Tight bounds for reachability problems on one-counter and pushdown systems2021-06-16Paper
The Complexity of Dynamic Data Race Prediction2021-01-21Paper
Limits on amplifiers of natural selection under death-Birth updating2019-06-06Paper
Optimal Reachability and a Space-Time Tradeoff for Distance Queries in Constant-Treewidth Graphs2018-03-02Paper
Faster algorithms for quantitative verification in constant treewidth graphs2018-03-01Paper
Automated competitive analysis of real-time scheduling with graph games2018-02-16Paper
Faster Algorithms for Weighted Recursive State Machines2017-05-19Paper
Algorithms for algebraic path properties in concurrent systems of constant treewidth components2016-10-24Paper
Faster Algorithms for Algebraic Path Properties in Recursive State Machines with Constant Treewidth2016-09-29Paper
Quantitative Interprocedural Analysis2016-09-29Paper
Passively mobile communicating machines that use restricted space2011-12-07Paper
All Symmetric Predicates in NSPACE(n 2) Are Stably Computable by the Mediated Population Protocol Model2010-09-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Andreas Pavlogiannis