1. Artemis

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 61-70 of 78 (Search time: 0.011 seconds).
Item hits:
Issue DateTitleAuthor(s)Supervisor
16-Jul-2018ΕΠΑΛΗΘΕΥΣΗ ΙΔΙΟΤΗΤΩΝ ΑΛΓΟΡΙΘΜΩΝ ΣΕ LIQUID HASKELLΠέτρου, ΓεώργιοςΠαπασπύρου Νικόλαος
10-Feb-2020Ανάλυση Πρωτοκόλλων Ηλεκτρονικής Ψηφοφορίας με την ProVerifΧίου, ΧρυσόστομοςΠαπασπύρου Νικόλαος
28-Jun-2021Πρακτική Στατική Ανάλυση για Προγράμματα PythonΣαλής, ΒιτάλιοςΠαπασπύρου Νικόλαος
27-Dec-2018Επαλήθευση κατά την εκτέλεση σε κατανεμημένα συστήματαΚαλιμάντζαλης-Λιανας, ΕυάγγελοςΠαπασπύρου Νικόλαος
8-Jul-2020Σχεδίαση και Υλοποίηση μιας Εικονικής Μηχανής για WebAssemblyΙωαννου, ΑλεξανδροςΠαπασπύρου Νικόλαος
3-Jul-2020Μελέτη και βελτίωση της επίδοσης του συντακτικού αναλυτή PackratΜαυρογεώργης, ΝικόλαοςΠαπασπύρου Νικόλαος
6-Oct-2020Μεταγλώττιση σε WebAssembly ως ΥπηρεσίαΓαδ, ΝικόλαοςΠαπασπύρου Νικόλαος
8-Feb-2021Αυτόματη παραγωγή σεναρίων ελέγχου για προγραμματιστικές διεπαφές τύπου REST (RESTful APIs)Σταθόπουλος, ΠαύλοςΠαπασπύρου Νικόλαος
14-Jul-2021Αυτόματος Έλεγχος Λεκτικών ΑναλυτώνΙωακειμίδη, ΑθηνάΠαπασπύρου Νικόλαος
26-Mar-2021Επαλήθευση Ιδιοτήτων Πολυπλοκότητας Δυαδικών Δέντρων Αναζήτησης σε Liquid HaskellΟικονόμου, ΧρυσούλαΠαπασπύρου Νικόλαος

Discover