Cryptocurrencies without need for consensus |
Μάριος Γεωργίου |
Corelab, ECE NTUA |
|
Circuits, Lower Bounds, and Circuit Analysis Algorithms |
Dimitris Myrisiotis |
Corelab, ECE NTUA |
|
Adventures in monitorability |
Antonis Achilleos |
Corelab, ECE NTUA |
|
The price of stability of (weighted) congestion games with polynomial latencies |
Giorgos Christodoulou |
Corelab, ECE NTUA |
|
Completeness and approximability of counting functions with easy decision version & Markov chains and phase transitions for TotP-complete problems. |
Ελένη Μπακάλη |
Corelab, ECE NTUA |
|
Markov chains and phase transitions for TotP-complete problems. |
Ελένη Μπακάλη |
Corelab, ECE NTUA |
|
Recent Work in the Science of Software and Systems |
Stavros Tripakis |
Corelab, ECE NTUA |
|
The Science of Cyber-Physical System Design |
Stavros Tripakis |
DIT UoA |
|
Ιδιότητες συναρτήσεων μέτρησης πλήθους λύσεων σε προβλήματα με εύκολη απόφαση ύπαρξης λύσης: πληρότητα, προσεγγισιμότητα, μαρκοβιανές αλυσίδες, αλλαγές φάσης |
Ελένη Μπακάλη |
Corelab, ECE NTUA |
|
How to Induce Optimal Flows Under Strategic Link Operators |
Θανάσης Λιανέας |
Corelab, ECE NTUA |
|
Recognizing Algebraic Surfaces from Their 2D Projections |
Josef Schicho |
ΕρΓΑ, DIT UoA |
|
Παραμετρική πολυπλοκότητα και έλεγχος μοντέλων σε φραγμένες οικογένειες γραφημάτων |
Έλλη Αναστασιάδη |
Corelab, ECE NTUA |
|