Download - ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Transcript
Page 1: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

ΠΑΥΛΟΣ Γ. ΣΠΥΡΑΚΗΣ

(1) Τακτικός Καθηγητής

Τμήμα Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής (ΤΜΗΥΠ)

Πολυτεχνική Σχολή, Πανεπιστήμιο Πατρών, Ρίο Πάτρας

Πρόεδρος ΤΜΗΥΠ κατά τα διαστήματα Σεπ. 1987- Σεπ. 1989,

Σεπ. 1989- Σεπ. 1991 και Σεπ. 1991- Σεπ. 1993

Αντιπρόεδρος ΤΜΗΥΠ κατά το διάστημα Σεπ. 1993- Σεπ. 1995

(2) Διευθυντής και έμπειρος ερευνητής του Ινστιτούτου Τεχνολογίας Υπολογιστών (Ι.Τ.Υ.) Τ.Θ. 1122, 26110 Πάτρα. Το Ι.Τ.Υ. βρίσκεται κάτω από την αιγίδα του Υπουργείου Παιδείας.

Ημ/νία γέννησης: 29 Αυγούστου 1955

Παιδιά: Δύο θυγατέρες

Υπηκοότητα: Ελληνική

Τηλ. Εργασίας: 061-273486, 061-997703

Τηλ. Οικίας: 01-8232202, 061-322383

Ο Παύλος Σπυράκης υπηρέτησε στον Ελληνικό Στρατό από τον Οκτώβριο του 1985 έως τον Απρίλιο του 1987.

1. ΜΟΡΦΩΣΗ

Μεταπτυχιακές σπουδές Διδακτορικό σε Εφαρμοσμένα Μαθηματικά (Επιστήμη Υπολογιστών),

Πανεπιστήμιο του Harvard, Δεκέμβριος 1981. Ημ/νία επίσημης απονομής διδακτορικού διπλώματος: Μάρτιος 1982, Τίτλος: Αλγόριθμοι Πιθανοτήτων, Αλγόριθμοι με Τυχαίες Εισόδους και Τυχαίες Πιθανοτικές Δομές. Επιβλέπων: John. H. Reif.

Μάστερ σε Εφαρμοσμένα Μαθηματικά (Επιστήμη Υπολογιστών), Πανεπιστήμιο του Harvard, Ιούνιος 1979.

Προπτυχιακές σπουδές Δίπλωμα Ηλεκτρολόγου Μηχανικού. (Εθνικό Μετσόβειο Πολυτεχνείο).

Βαθμός: Άριστα, Αθήνα 1978

1

Page 2: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

2. ΔΙΑΚΡΙΣΕΙΣ

1. Πέμπτος (μεταξύ 50 διαγωνιζομένων) στο διαγωνισμό Μεταδιδακτορικής έρευνας και έρευνας νέων μελών Δ.Ε.Π. σε Μαθηματικά, IBM Math. Sci. Dept, Μάρτιος 1982.

2. Το πρώτο Πανελλήνιο βραβείο (μεταξύ μαθητών από όλη την Ελλάδα), Ελληνική Μαθηματική Εταιρία, Μάιος 1973.

3. Ομόφωνη εκλογή στο Συμβούλιο της Ευρωπαϊκής Ένωσης Θεωρητικής Πληροφορικής, Ιούνιος 1997 (EATCS).

3. ΥΠΟΤΡΟΦΙΕΣ ΚΑΙ ΧΡΗΜΑΤΟΔΟΤΟΥΜΕΝΑ ΕΡΓΑ

1. Χρηματοδότηση από το Ίδρυμα Εθνικών Επιστημών (NSF, ΗΠΑ, 20 Αυγούστου 1985-31 Δεκεμβρίου 1988) για το έργο “Πρωτοποριακές Τεχνικές για Συγχρονισμό Προσπελάσεων σε Συστήματα Βάσεων Δεδομένων” (Υπολογιστική Έρευνα) Grant No DCR-8503497, ποσό $ 150.000. Ο Παύλος Σπυράκης ήταν ο κύριος (και ο μοναδικός) ερευνητής που πήρε αυτή τη χρηματοδότηση.

2. Χρηματοδότηση από το Ίδρυμα Εθνικών Επιστημών (NSF, ΗΠΑ, 15 Ιουλίου 1983-31 Δεκεμβρίου 1985) για το έργο “Κατανεμημένα Συστήματα, Παράλληλοι Αλγόριθμοι σε Γράφους, και Απόδοση Συγχρονισμού Προσπελάσεων” (Υπολογιστική Έρευνα) Grant No MCS-8300630, ποσό $ 50.833. Ο Παύλος Σπυράκης ήταν ο κύριος (και ο μοναδικός) ερευνητής που πήρε αυτή τη χρηματοδότηση.

3. Βραβείο από Πανεπιστήμιο της Νέας Υόρκης (31 Αυγούστου 1984-31 Αυγούστου 1985) για το έργο “Ανάπτυξη Εκπαιδευτικού Λογισμικού για ένα Διαδραστικό Σύστημα Videodisc σε Προσωπικό Υπολογιστή”, ποσό $ 12.890. Ο Παύλος Σπυράκης ήταν ο κύριος (και ο μοναδικός) ερευνητής που πήρε αυτή τη χρηματοδότηση.

4. Χρηματοδότηση από το Ίδρυμα Εθνικών Επιστημών (NSF, ΗΠΑ, πρόγραμμα CER - Coordinated Experimental Research) στο Πανεπιστήμιο της Νέας Υόρκης. Ο Παύλος Σπυράκης ήταν μέλος της ερευνητικής ομάδας του Πανεπιστήμιου της Νέας Υόρκης, η οποία στα πλαίσια του έργου δημιούργησε μεγάλο ερευνητικό εργαστήριο ρομποτικής.

5. Ο Π. Σπυράκης ήταν ο κύριος ερευνητής και επιβλέπων (μέσα στο Ι.Τ.Υ.) του έργου SED (SETL Experimentation and Demonstrator) No. 1227 (1271) του ESPRIT I (ΕΟΚ), προϋπολογισμού 2 MECU (15 Ιουλίου 1986-31 Ιουλίου 1988). Μια βάση δεδομένων για χαρτογραφία και ένα όργανο μέτρησης απόδοσης για UNIX αναπτύχθηκαν σε αυτό το έργο. Το έργο τελείωσε επιτυχώς.

6. Ο Π. Σπυράκης ήταν ο επιστημονικός διευθυντής της Ελληνικής ομάδας του έργου ALCOM (ALGORITHMS & COMPLEXITY) του ESPRIT (Basic Research Actions). Ο προϋπολογισμός του έργου ήταν 2,1 MECU (27 Μαίου 1989-27 Απριλίου 1992). Το έργο τελείωσε επιτυχώς.

7. Ο Π. Σπυράκης ήταν επιστημονικός υπο-διευθυντής του έργου TELEMED (Telecommunications in Medicine) του RAGE (Subcontract στο DETECON του FRG) (1 Μαρτίου 1989-1 Μαρτίου 1992). Η ομάδα της οποίας ηγείτο ο Π.

2

Page 3: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Σπυράκης ανέπτυξε πρωτόκολλα για μεταφορά ιατρικών εικόνων σε μη τοπικά δίκτυα. Το έργο τελείωσε επιτυχώς.

8. Ο Π. Σπυράκης ήταν ο επιστημονικός διευθυντής της συνεργασίας με το Πανεπιστήμιο του Ilmenau (Γερμανία), της οποίας στόχος ήταν η ανάπτυξη του απαραίτητου υλικού (hardware) και Έμπειρου Συστήματος για μετρήσεις Βιοεμπέδησης, για τη θεραπεία του διαβήτη. Το έργο τελείωσε επιτυχώς.

9. Ο Π. Σπυράκης ήταν ο επιστημονικός διευθυντής της συνεργασίας με το Πανεπιστήμιο του Humboldt (Βερολίνο, Γερμανία), σε Παράλληλους Αλγόριθμους (88-91 με H Jung). Η συνεργασία τελείωσε επιτυχώς.

10. Ο Π. Σπυράκης ήταν ο επιστημονικός διευθυντής του Ελληνικού Βασικού Ερευνητικού προγράμματος (ΠΕΝΕΔ) σε αποδοτικές τεχνικές για προβλήματα Τεχνητής Νοημοσύνης (Ιούνιος 1991- Ιούνιος 1993). Το έργο τελείωσε επιτυχώς.

11. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής στο ΙΤΥ για το ESPRIT II έργο REX (υπεργολαβία προς ΙΝΤΡΑΚΟΜ) Απρ 1990 - Μάιος 1992. Το έργο τελείωσε επιτυχώς.

12. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής στο RACE II πρόγραμμα SECURENET. Το πρόγραμμα αναφέρεται σε ιούς και ασφάλεια σε δίκτυα ευρείας ζώνης και έχει ολοκληρωθεί επιτυχώς.

13. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής στο ΤΜΗΥΠ του Πανεπιστημίου της Πάτρας στο STRIDE πρόγραμμα “Αυτοματοποίηση παραγωγής στην Ελληνική βιομηχανία κλωστοϋφαντουργίας”, από 1 Ιαν 92 μέχρι 1 Ιαν 94. Η συνολική χρηματοδότηση του έργου είναι 2.1 MECU.

14. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής στο ΙΤΥ στο STRIDE πρόγραμμα “Helios”, που αναφέρεται σε υπηρεσίες Χ.400 στα ελληνικά δίκτα ευρείας περιοχής. Το πρόγραμμα διαρκεί από 1 Ιαν 92 μέχρι 1 Ιαν 94 και η χρηματοδότηση του έργου είναι 0.661 MECU.

15. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής της ομάδας του ΙΤΥ στο ESPRIT BASR (Basic Research) έργο ALCOM II (Αλγόριθμοι και Πολυπλοκότητα) από 2 Απρ 1992 ως 2 Απρ 1995. Η χρηματοδότηση του έργου είναι 1.8 MECU.

16. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής της ομάδας του ΙΤΥ στο ESPRIT Basic Research έργο GEPPCOM (Παράλληλος Υπολογισμός Γενικού Σκοπού) από 1 Οκτ 1993 ως 1 Οκτ. 1996. Η χρηματοδότηση του έργου είναι 1.8 MECU.

17. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής της ομάδας του ΙΤΥ στο ESPRIT Special Actions έργο DELTA-CIM (DELTA Βιομηχανική Αυτοματοποίηση) από Ιουλ 1993 ως Ιουλ 1996. Η χρηματοδότηση του έργου είναι 1 MECU.

18. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής στο EC RACE II πρόγραμμα SECURENET II (κακοήθεις επιθέσεις σε ανοικτά δίκτυα και ο εντοπισμός τους), από Δεκ 1993 ως Δεκ 1995.

19. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής της ομάδας του ΙΤΥ στο ΙΤ Basic Research έργο ALCOM-IT που αναφέρεται σε αλγόριθμους και

3

Page 4: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

πολυπλοκότητα. Το έργο αρχίζει το Νοε 1995, για 30 μήνες, και ο προϋπολογισμός του είναι περίπου 2 MECU.

20. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής της ομάδας του ΙΤΥ στο έργο TRENDS Τηλεματικής της ΕΕ. Το πρόγραμμα αναφέρεται στη χρήση νέων δικτυακών πρωτοκόλλων στο Internet για την εξ΄αποστάσεως εκπαίδευση δασκάλων (δευτεροβάθμιας εκπαίδευσης) σε 7 Ευρωπαϊκές χώρες. Το πρόγραμμα αρχίζει την 1 Ιαν 1996 και διαρκεί 30 μήνες. Ο προϋπολογισμός του είναι περίπου 2 MECU.

21. Ο Π. Σπυράκης είναι ο διοικητής του έργου της Μηχανογράφησης του Ελληνικού Συστήματος Υγείας του Υπουργείου Υγείας. Το έργο χρηματοδοτείται από την ΕΕ και ο προϋπολογισμός του είναι περίπου 30 MECU.

22. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής στο έργο ΥΠΕΡ της ΓΓΕΤ, με τίτλο “Κατανεμημένη Προσομοίωση” με προϋπολογισμό περίπου 100 KECU.

23. Ο Π. Σπυράκης διευθύνει το κομμάτι που αφορά το Πανεπιστήμιο Πατρών του έργου GUNET (Greek University Network) και, επίσης, συμμετέχει στην τετραμελή διοικούσα επιτροπή.

Επίσης διευθύνει το έργο του Πανεπιστημίου Πατρών για τη δημιουργία Ολοκληρωμένου Δικτύου Μετάδοσης Φωνής.

24. Ο Π. Σπυράκης είναι ο Επιστημονικός Υπεύθυνος των Έργων του ΕΠΕΑΕΚ του ΥΠΕΠΘ για την αναβάθμιση των Προπτυχιακών και Μεταπτυχιακών Σπουδών του Τμήματος Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής Πανεπιστημίου Πατρών, διάρκειας 3 ετών, έναρξη 1/1/98, και συνολικού προϋπολογισμού περίπου 0.5 MECU.

25. Ο Π. Σπυράκης είναι ο επιστημονικός διευθυντής του έργου παροχής Τεχνικής Γνωμοδότησης στο Υπουργείο Εμπορικής Ναυτιλίας.

26. Ο Π. Σπυράκης διευθύνει το έργο της ασφαλούς μηχανογράφησης των λαχείων (που χρηματοδοτεί η Intralot).

27. Ο Π. Σπυράκης συν-διευθύνει το έργο ATM το οποίο χρηματοδοτείται από τον ΟΤΕ (τμήμα R&D).

4. ΕΡΕΥΝΗΤΙΚΑ ΕΝΔΙΑΦΕΡΟΝΤΑ

ΑΛΓΟΡΙΘΜΟΙ ΚΑΙ ΠΟΛΥΠΛΟΚΟΤΗΤΑ Πιθανοτικές Μέθοδοι σε Αλγόριθμους, Συνδυαστική Βελτιστοποίηση,

Ανάλυσης Μέσης Περίπτωσης Αλγορίθμων, Παράλληλοι Αλγόριθμοι, Αλγόριθμοι και Πρωτόκολλα για Κατανεμημένα Συστήματα, Αλγόριθμοι και Πολυπλοκότητα σε Προβλήματα Θεωρίας Γράφων, Παράλληλη Πολυπλοκότητα, Προσεγγίσεις σε Δύσκολα Προβλήματα.

ΣΥΣΤΗΜΑΤΑ ΥΠΟΛΟΓΙΣΤΩΝ ΚΑΙ ΔΙΚΤΥΑ Σχεδιασμός και Εφαρμογές Δικτυακών Πρωτοκόλλων, Ασφάλεια σε Δίκτυα

Υπολογιστών, Προβλήματα Τηλεματικής (Εύρεση Καταλόγων, Τηλεματική στην Εκπαίδευση, Τηλεϊατρική, κλπ)

Ανάλυση Απόδοσης Yπολογιστικών Συστημάτων, Απόδοση και Αλγόριθμοι για Έλεγχο Συγχρονισμού σε Βάσεις Δεδομένων, Σχεδιασμός Κατανεμημένων

4

Page 5: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Συστημάτων, Εφαρμογές Τηλεματικής, Θεωρία Ουρών, Συγχρονισμός Κινήσεων σε Robot.

5. ΕΠΑΓΓΕΛΜΑΤΙΚΗ ΕΜΠΕΙΡΙΑ

5.1 ΕΡΕΥΝΑ

Έμπειρος Ερευνητής του Ινστιτούτου Τεχνολογίας Υπολογιστών της Ελλάδος από τον Ιούλιο του 1985 έως σήμερα. Αναπληρωτής Καθηγητής (tenure) του Τμήματος Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής του Πανεπιστημίου Πατρών από Ιούλιο 1985 έως Οκτώβριο 1990.

Τακτικός Καθηγητής του ίδιου Πανεπιστημίου από τον Οκτώβριο 1990 έως σήμερα.

Έρευνα σε παράλληλους αλγόριθμους, πολυπλοκότητα παράλληλου υπολογισμού, πιθανοτικούς αλγορίθμους και αλγορίθμους με τυχαία είσοδο, έλεγχο συγχρονισμού σε βάσεις δεδομένων, συγχρονισμό σε κατανεμημένα συστήματα, τυχαίους γράφους, ανάλυση απόδοσης υπολογιστικών συστημάτων, εφαρμογές τηλεματικής, αποτελεσματικές προσεγγίσεις σε δύσκολα προβλήματα.

Επίκουρος καθηγητής στο Courant Institute Μαθηματικών Επιστημών, Πανεπιστήμιο Νέας Υόρκης, από το Σεπτέμβρη 1982 έως το 1987, θέση tenure track. Ο Π. Σπυράκης πέρασε επιτυχώς τη διαδικασία επαναθεώρησης του tenure στον 3ο χρόνο. Έρευνα σε πιθανοτικούς αλγορίθμους, παράλληλους αλγόριθμους, συγχρονισμό σε κατανεμημένα συστήματα, ανάλυση απόδοσης υπολογιστικών συστημάτων και θεωρία κινήσεως Robot.

Μεταδιδακτορικός Υπότροφος (Fellow) στο πανεπιστήμιο Harvard (Φεβ 1982 εως Σεπ 1982). Έρευνα σε κατανεμημένα συστήματα, πιθανοτικούς αλγορίθμους, παράλληλους αλγόριθμους και απόδοση έλεγχου συγχρονισμού σε βάσεις δεδομένων.

Βοηθός Ερευνητής στο πανεπιστήμιο Harvard (Ιουν 1981 εως Ιουν 1982). Έρευνα σε πιθανοτικούς αλγορίθμους, θεωρία γράφων, πιθανοτικές μεθόδους στη συνδυαστική, κατανεμημένα συστήματα και συγχρονισμό.

Βοηθός Ερευνητής στο πανεπιστήμιο Harvard (Ιουν 1980 εως Ιουν 1981). Έρευνα σε κατανεμημένα συστήματα, θεωρία γράφων, απόδοση έλεγχου συγχρονισμού σε βάσεις δεδομένων και δίκτυα υπολογιστών.

Βοηθός Ερευνητής στο πανεπιστήμιο Harvard (Ιουν 1979 εως Ιουν 1980). Έρευνα σε αποτελεσματικούς αλγορίθμους με τυχαία είσοδο, θεωρία ουρών.

5.2 ΔΙΔΑΣΚΑΛΙΑ

(α) Καθηγητής στο τμήμα μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής του Πανεπιστημίου Πατρών. Διδάσκει:

Τέλος 98: Λειτουργικά συστήματα 1, Πιθανότητες, Πιθανοτικές Αλγοριθμικές Τεχνικές (μεταπτυχιακό μάθημα)

Άνοιξη 98: Λειτουργικά συστήματα 2, Πιθανοτικές Αλγοριθμικές Τεχνικές (μεταπτυχιακό μάθημα)

5

Page 6: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Τέλος 97: Λειτουργικά συστήματα Ι, Προηγμένοι αλγόριθμοι, Τηλεματική Ι.

Άνοιξη 97: Λειτουργικά συστήματα ΙΙ, Παράλληλοι αλγόριθμοι (μεταπτυχιακό μάθημα).

Τέλος 96: Λειτουργικά συστήματα Ι, Προηγμένοι αλγόριθμοι, Τηλεματική Ι.

Άνοιξη 96: Λειτουργικά συστήματα ΙΙ, Παράλληλοι αλγόριθμοι (μεταπτυχιακό μάθημα).

Τέλος 95: Λειτουργικά συστήματα Ι, Προηγμένοι αλγόριθμοι, Τηλεματική Ι, Κατανεμημένος Υπολογισμός, Εισαγωγή στην επιστήμη των Υπολογιστών.

Τέλος 94: Λειτουργικά συστήματα Ι, Παράλληλοι αλγόριθμοι (μεταπτυχιακό μάθημα), Προηγμένα θέματα αλγορίθμων, Εισαγωγή στον Υπολογισμό.

Άνοιξη 94: Λειτουργικά συστήματα ΙΙ, Παράλληλοι αλγόριθμοι (μεταπτυχιακό μάθημα).

Τέλος 94: Λειτουργικά συστήματα Ι, Προηγμένα θέματα αλγορίθμων.

Τέλος 93: Λειτουργικά συστήματα Ι, Προηγμένα θέματα αλγορίθμων, Εισαγωγή στην επιστήμη των Υπολογιστών.

Άνοιξη 93: Λειτουργικά συστήματα ΙΙ, Θεμέλια της επιστήμης των υπολογιστών.

Άνοιξη 92: Λειτουργικά συστήματα ΙΙ, Θεμέλια της επιστήμης των υπολογιστών (μεταπτυχιακό μάθημα), Πιθανότητες .

Τέλος 91: Λειτουργικά συστήματα Ι, Προηγμένα θέματα αλγορίθμων, Συστήματα Υπολογιστών Ι.

Άνοιξη 91: Λειτουργικά συστήματα ΙΙ, Πιθανότητες .

Τέλος 90: Λειτουργικά συστήματα Ι,, Εισαγωγή στην επιστήμη των Υπολογιστών, Προηγμένοι Αλγόριθμοι.

Άνοιξη 90: Λειτουργικά συστήματα ΙΙ, Πιθανότητες .

Τέλος 87,88,89: Λειτουργικά συστήματα Ι.

Άνοιξη 87,88,89: Θεωρία υπολογισμού, Λειτουργικά συστήματα ΙΙ.

Τέλος 86: Διακριτά μαθηματικά, Λειτουργικά συστήματα Ι.

’Ανοιξη 86: Θεωρία υπολογισμού, Λειτουργικά συστήματα ΙΙ.

Τέλος 85: Λειτουργικά συστήματα Ι, Αρχιτεκτονική υπολογιστικών συστημάτων.

(β) Αναπληρωτής Καθηγητής, Courant Institute of Mathematical Sciences, New York University, Computer Science Dept. Δίδαξε:

Άνοιξη 85: Λειτουργικά συστήματα ΙΙ (μεταπτυχιακό μάθημα).

Τέλος 84: Ανάλυση απόδοσης των υπολογιστικών συστημάτων (μεταπτυχιακό μάθημα) και βασικοί αλγόριθμοι (προπτυχιακό μάθημα).

Άνοιξη 84: Θεωρία και σχεδιασμός VLSI (μεταπτυχιακό μάθημα) και Δομές Δεδομένων (προπτυχιακό μάθημα).

Τέλος 83: Σχεδιασμός προηγμένων βάσεων δεδομένων (μεταπτυχιακό μάθημα).

Άνοιξη 83: Λειτουργικά συστήματα ΙΙ (μεταπτυχιακό μάθημα).

6

Page 7: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Τέλος 82: Δομές Δεδομένων (προπτυχιακό μάθημα), Ανάλυση απόδοσης των υπολογιστικών συστημάτων (μεταπτυχιακό μάθημα).

(γ) Βοηθός Διδασκαλίας, Harvard University. Δίδαξε:

Τέλος 81: Αυτόματος Υπολογισμός (AS10) (προπτυχιακό μάθημα).

Άνοιξη 81: AM251b, Βελτιστοποίηση Λειτουργικών Συστημάτων (μεταπτυχιακό μάθημα).

Τέλος 80: Αρχιτεκτονική λειτουργικών συστημάτων (μεταπτυχιακό μάθημα).

Τέλος 79: Αποτελεσματικοί αλγόριθμοι (μεταπτυχιακό μάθημα).

Τέλος 78: Εισαγωγή στα formal συστήματα (προπτυχιακό μάθημα).

5.3 ΣΥΜΒΟΥΛΕΥΤΙΚΟΣ ΡΟΛΟΣ ΚΑΙ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

1. Μέλος της διοικητικής επιτροπής του προγράμματος IST ( Information Society Technologies) της Ευρωπαϊκής Ένωσης.

2. Μέλος του διοικητικού συμβουλίου της κρατικής εταιρίας «Εθνικό Δίκτυο έρευνας και Τεχνολογίας SA» υπό την αιγίδα του Υπουργείου Βιομηχανίας από τον Σεπτ. 98.

3. Αξιολογητής των Προγραμμάτων Έρευνας της Ελληνικής Γραμματείας Έρευνας και Τεχνολογίας (από το 1990 μέχρι σήμερα σε διάφορα προγράμματα).

4. IT CEC Auditor στο HPCN (1995-1998).

5. IT CEC αξιολογητής στο Long Term Recearch, Άνοιξη 97, Τέλος 96.

6. Αξιολογητής στην έρευνα του ΝΑΤΟ, Άνοιξη 96.

7. IT CEC αξιολογητής στο Long Term Recearch, Τέλος 95.

8. IT CEC αξιολογητής στο Long Term Recearch, Άνοιξη 95.

9. Εθνικός Εκπρόσωπος στο CEC Telematics and Applications National, από το 1995.

10. Esprit III auditor στο High Performance Computing, Τέλος 94.

11. Esprit III αξιολογητής στο High Performance Computing, Άνοιξη 93.

12. Esprit III αξιολογητής στο Basic Recearch, Άνοιξη 93.

13. Αξιολογητής στο NSF 1993.

14. Αξιολογητής στο CEC DG XVI για την Ελλάδα (1993).

15. Εμπειρογνώμων στο CEC DG XVI στο Telematique Programme (από τον Φεβρουάριο του 1992).

16. CEC Brite/Euram Tech. Auditor 1992-95.

17. Αξιολογητής στο High Performance Computing (IPSS), Οκτώβριος και Νοέμβριος 1991

18. Αξιολογητής στο Esprit III στο Esprit Basic Research (Oκτώβριος - Νοέμβριος 91)

19. Recearch Visiting Member, IBM Yorktown (Hawthorne), Αύγουστο και Σεπτέμβριο 1991,Σεπτέμβριος 1992,Σεπτέμβριος 1993.

7

Page 8: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

20. Αξιολογητής στο Esprit Basic Research, Οκτώβριος - Νοέμβριος 1991.

21. Αξιολογητής στο ελληνικό Πρόγραμμα Βασικής Έρευνας, Τέλος 1991.

22. Τεχνικός εμπειρογνώμων της Ε.Ε για το ΜΟΠ Πληροφορικής στο θέμα Βάσεις Δεδομένων, Ιούλιος 89 έως Μάρτιο 90.

23. Αξιολογητής στο ESPRIT II, Ιανουάριος 90.

24. Σύμβουλος της Expertnet A.E., Ιανουάριος 1991 - σήμερα.

25. Μέλος του διοικητικού συμβουλίου και σύμβουλος της ΕΛΣΥΠ Α.Ε. στο τμήμα Έρευνας και Ανάπτυξης και στο τμήμα Χαρτογραφίας. Τέλος 88 έως 91 .

26. Μέλος του επιστημονικού συμβουλίου της Ergodata SA. Τέλος 87-τέλος 91.

27. Συγγραφέας της μελέτης για το ελληνικό ηλεκτρονικό σύστημα ταυτοτήτων (υπουργείο Εσωτερικών, 1987).

28. Συγγραφέας της μελέτης για την ασφάλεια των προσωπικών πληροφοριών (υπουργείο Εσωτερικών, Νοέμβριος 1989 έως Ιανουάριος 1990).

29. Σχεδιασμός του MIS για το Τεχνικό σώμα του Ελληνικού Στρατού, (Άνοιξη 86 - Άνοιξη 87).

30. Μελέτη για την προσαρμογή του UNIX στα ελληνικά (Υπουργείο Βιομηχανίας, Ενέργειας και Τεχνολογίας, Τέλος 86).

31. Σύμβουλος στην Management Strategies Inc., Boston MA (Summer 79 - Fall 79)

32. Προγραμματιστής εφαρμογών στην Tri Companies, Boston MA, (Καλοκαίρια των 80, 81, 82 and τέλος 1980). Σχεδιασμός μιας σχεσιακής βάσης δεδομένων σε PDP 11/70, VAX 11/780 (RSTS/G and VMS). Σχεδιασμός ενός report generator.

5.4 ΔΙΕΥΘΥΝΤΙΚΕΣ ΘΕΣΕΙΣ ΚΑΙ ΕΡΓΑΣΙΕΣ ΓΙΑ ΛΟΓΑΡΙΑΣΜΟ ΤΗΣ ΕΛΛΗΝΙΚΗΣ ΚΥΒΕΡΝΗΣΗΣ

Εθνικός Εκπρόσωπος της Ελλάδας στο πρόγραμμα Information Society Technologies (IST) από τον Δεκ. 98

Μέλος της Επιτροπής του Πρωθυπουργού για τα αρχεία του Πρωθυπουργικού Γραφείου, Άνοιξη 1998

Αναπληρωματικό Μέλος της Επιτροπής SENGEN για την Ασφάλεια Πληροφοριών του ΥΠΕΞ από τον Σεπτέμβριο του 1997

Μέλος της Ειδικής Ομάδας του Υπουργείου Βιομηχανίας για έρευνα πληροφορικής από την άνοιξη του 1995.

Εμπειρογνώμων στην ΓΔ DG XVI της Κοινότητας από το 1992.

Eπικεφαλής της ελληνικής κρατικής επιτροπής για την Εκπαίδευση και Πληροφορική (Υπουργείο Παιδείας) από τον Ιανουάριο του 1994.

Greek task force στην τηλεματική (Επιτροπή Bangemann) από τον Φεβρουάριο του 1994.

Μέλος του Διοικητικού Συμβουλίου του Ινστιτούτου Τεχνολογίας Υπολογιστών (από τον Σεπτέμβριο του 1988 έως σήμερα).

8

Page 9: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Συντονιστής Ερευνας και Ανάπτυξης του Ινστιτούτου Τεχνολογίας Υπολογιστών, (Σεπτ. 93 – 96)

Πρόεδρος του Τμήματος Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής του Πανεπιστημίου Πατρών (Σεπτέμβριος 1987-Σεπτέμβριος 1993).

Αναπληρωτής Πρόεδρος του Τμήματος Μηχανικών Ηλεκτρονικών Υπολογιστών και Πληροφορικής του Παν. Πατρών (Σεπτέμβριος 1993-95).

Μέλος της Συγκλήτου του Πανεπιστημίου Πατρών (87-89, 91-93 και 94-96).

Μέλος του διοικητικού συμβουλίου της ELSYP S.A (1986-1990).

Αντιπρόεδρος του Συμβουλίου του Informatics Development Bureau (Υπουργείο Προεδρίας) Απρίλιος 89 έως 91.

5.5 ΔΡΑΣΤΗΡΙΟΤΗΤΕΣ ΣΕ PROFESSIONAL SOCIETIES

5.5.1 Συμμετοχή σε Program Commitees

Μέλος της Steering Committee στο συνέδριο RANDOM

Μέλος της Program Committee στο WADS 1999

Μέλος της Program Committee στο ICALP 99

Μέλος της Program Committee στο ISAAC 98

Μέλος της Program Committee στο DISC (formerly WDAG) 98

Μέλος της Program Committee στο EUROPAR 98

Μέλος της Program Commitee στο COCOON 98

Μέλος της Streering Committee στο EUROPAR 98

Μέλος της Program Committee στο FTC 97

Μέλος της Program Committee στο WADS 97

Μέλος της Program Committee στο HPCS 97

Μέλος της Program Committee στο EUROPAR 97

Μέλος της Steering Committee στο EUROPAR 97

Μέλος της Program Committee στο Irregular 97

Μέλος της Program Committee στο WRPC 97

Μέλος της Program Committee στο WDAG 97

Συν-προεδρία του 1996 SCIROCCO conference on network structure and communication.

Μέλος της Program Committee του European Symposium on Algorithms (ESA) 1996

Μέλος της Program Committee του ICALP 1996 Conference

Πρόεδρος της Program Committee του European Symposium on Algorithms (ESA 95)

9

Page 10: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Μέλος της Program Committee του 1995 WG (Graph Theoretic Concepts in Computer Science) Conference

Μέλος της Steering Committee του ESA (1994-1997)

Μέλος της Program Committee του SCIROCCO 1995 Conference.

Μέλος της Program committee του EUROPAR 1995

Μέλος της Program Committee του 94 WG (Graph Theoretic Concepts in Computer Science) Conference

Μέλος της Program Committee του DEXA 94 Conference (Databases and Expert System applications)

Μέλος της Program Committee του PARLE 94 Conference (Parallel Languages Europe)

Μέλος της Program Committee του 7th International Workshop on Distributed Algorithms (WDAG 93)

Μέλος της Program Committee 1994 Italian Conference on Algorithms (CIAC 1994)

Μέλος της Program Committee του First Annual European Symposium on Algorithms (ESA 93)

Μέλος της Program Committee του 1993 Workshop on Graph Theoretic Concepts in Computer Science (WG 93)

Μέλος της Program Committee του 6th International Workshop on Distributed Algorithms (WDAG 92)

Συν-προεδρία της Program Committee του 5th International Workshop on Distributed Algorithms (WDAG 91) Oct 1991.

Μέλος της Program Committee του Mathematics and AI Conference, Fall 91

Μέλος της Program Committee του 4th International Workshop on Distributed Algorithms (WDAG 90) Oct 1990.

Μέλος της Steering Committee του International Workshop on Distributed Algorithms (WDAG) since Oct 1990.

Μέλος της Program Committee του 3rd Informatics Conference of the Greek Informatics Society, June 1991.

Μέλος της Program Committee του 2nd ACM Symposium on Parallel Algorithms and Architectures (SPAA), July 1990.

Μέλος της Steering Committee του ACM Symposium on Parallel Algorithms and Architectures since Fall 1988.

Μέλος της Program Committee του 14th and 16th ICALP (International Colloquium on Automata, Languages and Programming) of the European Association for Theoretical Computer Science, (July 89 and July 87).

Μέλος της Program Committee του 5th STACS (Symposium on Theoretical Aspects of Computer Science), sponsored by GI, AFCET, EATCS, Feb. 1989.

10

Page 11: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Μέλος της Program Committee του 1st International Conference on Supercomputing (ICS), Athens, 1987, June.

Μέλος της Program Committee του 2nd Aegean Workshop on Computing (AWOC'88) VLSI and Parallel Algorithms, July 1988.

Συν-προεδρία του 1st Aegean Workshop on Computing (AWOC), VLSI and Parallel Algorithms, 1986.

Μέλος της Program Committee του PARCELLA 88 (Parallel Algorithms and Cellular Automata), Academy of Sciences GDR, Berlin.

Μέλος της Program Committee του International Symposium on Optimal Algorithms, Varna, Bulgaria, 1989.

Μέλος της Program Committee του 5th IEEE International Conference on Distributed Computing Systems, 1984.

5.5.2 Προεδρία σε Conference Sessions

1. Session Chair in Algorithms and Complexity Sessions of DISC 98, ESA 98,ESA 97, ESA 96 WOPA 96 ICALP 96, ESA 1995,ESA

1994 PARLE 94, ALCOM II workshop, ICALP 94, ESA 1993, DIMACS Workshop on Parallel Algorithms Fall 1993, WDAG 1993, 1992, 1991, 1990, SPAA 1990 ICALP (1987, 1989), STACS 1989, AWOC (1986, 1988) .

2. Session Chair in 1983 IASTED International Symposium on Simulation & Modeling.

5.5.3 Συμμετοχή σε Επιστημονικές Κοινότητες

1. Μέλος της New York Academy of Sciences από τον Ιαν. 1995

2. Μέλος της Algorithms & Theory Commitee of IFIP από τον Μάρτιο 1989.

3. Voting Member της Association for Computing Machinery SIGACT (Special Interest Group on Automata and Computation Theory), SIGMETRICS (Special Interest Group on Performance Analysis of Computer Systems), EATCS (European Association for Theoretical Computer Science), AMS (American Mathematical Society), MAA (Μath. Assoc. of America),του ΤΕΕ και της ΕΠΥ.

5.5.4 Refereeing & Reviewing

1. Reviewer στο βιβλίο "An Introduction to Database Systems, vol. I" of C. Date, 4th Edition, Addison-Wesley.

2. Referee στο Journal Applied Mathematics της Society on Industrial and Applied Mathematics (SIAM).

3. Referee στα Journals: ACM Transactions on Programming Languages and Systems, J. of Algorithms, Algorithmica, Parallel and Distributed Computing, Theoretical Computer Science, Information Processing Letters, Distributed Computing, Parallel Processing Letters, Random Structures and Algorithms.

11

Page 12: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

4. Referee στο STOC (96), ESA 95,96, ICALP 97 και σε πλειάδα άλλων συνεδρίων.

5. Referee στο συνέδριο Performance Evaluation (1992)

6. Referee στο συνέδριο ACM Sigmetrics (84, 85, 87, 88, 89)

7. Referee στις προτάσεις USA-NSF (83, 84, 85, 86, 87, 89, 90, 93, 94).

8. Referee στο IEEE Transactions on Computers .

9. Referee στο International Conference on Parallel Processing, 1990.

10. Referee στις EEC ESPRIT Proposals (IPSS, BRA, HPCN, HPCA) (90, 91, 92, 93, 96,).

11. Referee στις CEC IT LTR Proposals 1997, 1996, 1995, 1994

12. Referee σε NATO Research proposals 1996.

13. Auditor στο EEC BRITE programme (1992 - 95)

14. Auditor στο EU ESPRIT programme (1994-1996)

5.6 ΔΗΜΟΣΙΕΥΣΕΙΣ

5.6.1 Διατριβή

"Probabilistic Algorithms, Algorithms with Random Inputs and Random Combinatorial Structures" Ph.D. Thesis, Harvard University, December 1981 Order No 8216206, University Microfilms International, 300 N. Zeeb Road, Ann Arbor, MI 48106.

5.6.2 Βιβλία διεθνούς κυκλοφορίας

1. Editor & συν-συγγραφέας του βιβλίου "Lectures on Parallel Computation", Cambridge University Press,1993 (with A. Gibbons)

2. Συν-συγγραφέας του βιβλίου " Paradigms in Parallel Approximability" with J. Diaz, M. Serna and J. Toran, Cambridge Univ. Press, April 1997.

5.6.3 Editor σε Journals

1. Editor του Volume 30,1, 1997 of the Theory of Computing Systems Journal, Springer - Verlag.

2. Editor του Lecture Notes in Computer Science Sept. 1995, "Algorithms", for the ESA 1995 conference (LNCS Springer Verlag)

3. Editor του 1996 SIROCCO volume with N Santoro.

4. Editor του journal "Theoretical Computer Science".

5. Editor του τόμου 277, Lecture Notes in Computer Science, "VLSI Algorithms and Architectures", Springer-Verlag, with F. Makedon, K. Mehlhorn, T. Papatheodorou.

6. Editor του τόμου 579 of Lecture Notes in Computer Science (Springer Verlag) of the proceedings of the 5th international workshop on Distributed Algorithms (WDAG 91) with S. Toueg and L. Kirousis

7. Editor του Algorithms Review Journal.

12

Page 13: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

8. Editor του Computational Geometry Journal (Theory and Applications) of Elsevier Science Publishers.

9. Editor του The Parallel Processing Letters (PPL) journal.

10. Editor του Mathematical Systems Theory (MST) journal now called Theory of Computing Systems (TOCS).

11. Editor of the volum 865 of TCSA (Theoretical Computer Science Algorithms of the ESA 95 best papers (1998)

12. Co-editor του DISC 98 best papers volume στο Theotetical Computer Science journal (TCS).

5.6.4 Σε Journals

Σε αποκλειστικότητα

1. "The parallel complexity of deadlock detection" in Theoretical Computer Science, North Holland Publishing Co, Fall 1987.

2. "Optimal Parallel Randomized Algorithms for Sparse Addition and Identification" in Information and Computation, Academic Press Inc., Spring 1988.

Σε συν-συγγραφή

3. "Real Time Synchronization of Interprocess Communications", with John Reif, in ACM Transactions of Programming Languages and Systems, April, 1984.

4. "Unbounded speed variability in Distributed Systems", with John Reif, in SIAM Journal of Computing, February, 1985.

5. "Performance Analysis of Concurrency Control Methods in Database Systems", with Annie Shum, in Performance '81, F.J. Kylstra (editor), North Holland Publishing Co., 1981.

6. "Strong NP-hardness of moving many disks", with C. Yap, The NP-Completeness Column, edited by D.S. Johnson, Bell Laboratories, 9th edition, Fall 1983. Also, in Information Processing Letters, vol. 19, No. 1, 1984.

7. "Moving Many Pebbles in a Graph is polynomial time", with C. Yap, The NP-Completeness Column, edited by D.S. Johnson, Bell Laboratories, 9th edition, Fall 1983, J. of Algorithms.

8. K-connectivity in random undirected graphs", with J. Reif, in Discrete Mathematics, vol. 54, No. 2, April 1985.

9. "Queueing Delays in Buffered Multistage Interconnection Networks" with C. Bouras, J. Garofalakis and V. Triantafillou, PERFORMANCE EVALUATION REVIEW, vol. 15, No. 1, 1987, ACM Press.

10. "Efficient Distributed Algorithms by Using the Archimedean Time Assumption" with V. Tampakas, RAIRO Journal of Theoretical Informatics and Applications, AFCET, invited paper, Gauthier-Villars, 22(4), 1988 pp. 1-16.

11. "Expected Parallel Time and Sequential Space Complexity of Graph and Digraph Problems" with J. Reif, in the Special Issue of the Journal Algorithmica, on Graph Algorithms, 1992.

13

Page 14: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

12. "Lower bounds and Efficient Algorithms for Multiprocessor Scheduling of Dags with Communication Delays" with H. Jung and L. Kirousis, in the Information and Computation journal, 1992.

13. "The Complexity of the Reliable Connectivity Problem" with D. Kavadias and L. Kirousis, in Information Processing Letters (IPL), 1991

14. "Efficient Parallel Algorithms for shortest paths in planar graphs" with G Pantziou and C Zaroliagis, in the BIT journal, 1992

15. "The Complexity of the Connected Subgraph Problem" with L Kirousis and M Serna, in the SIAM J. of Computing,June 1993

16. "Optimistic Synchronizers : Tentative and Definite DistributedComputations" with J. Garofalakis, S. Rajsbaum and B. Tampakas, special isuue on Robust Computations, Theoretical Computer Science (TCS) journal, 1994

17. "Reading many variables in one atomic operation : Solutions with Linear or Sublinear Complexity " with L. Kirousis and P. Tsigas, IEEE journal on Parallel and Distributed Systems July 1994

18. "Network security performance issues" with M.Denault, D. Karagiannis and D. Gritzalis, Computers and Security Journal, 1994

19. "Tail bounds for occupancy and the Satisfiability Threshold Conjecture" with A. Kamath, R. Motwani and K. Palem, in the journal of Random Structures and Algorithms,1995.

20. " The fourth moment in Luby's distribution", with C. Zaroliagis, T. Pantziou, in the journal of Theoretical Computer Science (TCS) A (Algorithms, automata, complexity and games), vol.148, Sept.1995 (TCS 2015)

21. "Fast parallel algorithms for the 2-processor scheduling problem" to appear in the journal "Theoretical Computer Science", 1996, with M. Serna and H. Jung

22. "Simple Atomic Snapshots: A Linear Complexity Solution with Unbounded Time Stamps" with L. Kirousis and F. Tsigas, in the Information Processing Letters (IPL) Journal, Vol 58, No 1, April 1996.

23. "Hammocks on Ears decomposition " with D. Kavvadias, G. Pantziou, C. Zaroliagis, in the Theoretical Computer Science journal, 1996. Vol 168, 121 -154, 1996

24. "Architectural Aspects of an Intelligent DSS for Flow Shop Production Control" with I. Hadjiligeroudis, D. Sofotasios,N. Dendris, A. Tsakalidis, in Advanced Manufacturing Forum Vol 1, 1996, pp 75-84 Scitec Publ.

25. "Performance modeling of distributed timestamp ordering : Perfect and imperfect clocks" with C. Bouras, in the journal Performance Evaluation, 25, 1996, 105-130

26. "Average Case Analysis of Pure Greedy Hot Potato Routing in O(nlogn) time " with V. Triantafillou, Parallel Processing Letters (accepted).

27. "Parallel algorithms for the minimum cut and the minimum length tree layout problems" with J. Diaz, M. Serna, A. Gibbons, G. Pantziou and J. Toran, Theoretical Computer Science, 181, 1997, pp 267-287.

14

Page 15: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

28. “BSP vs LOGP” with G Bilardi, A Pietracaprina, G Pucci, K Herley in Algorithmica Special issue on Parallel Computation, 1998

29. “A note on the random generation and counting of matchings in dense graphs” with J Diaz, M Serna, Theoretical Computer Science A, 1998, vol 726

30. “Random Generation of Matchings” with J Diaz, M Serna in the DIMACS AMS Series (American Math Society), Stirin Volum, Editors R Graham, J Kratochvil, F Roberts, J Nesetril, 1998

31. “Frequency assignement in Mobile and Radio Networks” with D Fotakis G Pantziou, G Pentaris, to appear in DIMACS AMS Series on Networks and Distributed Computing.

32. “Analytical performance models for multistage interconnection networks with finite, infinite and zero length buffers” with C. Bouras, G. Garofalakis, V. Triantafillou, to appear in the Performance Evaluation Journal, 1998

33. “Distributed Information Retreival : the PFIRE system” with B. Mamalis and V. Tampakas, in the ISCA journal, 1999

5.6.5 Σε Refereed Συνέδρια

Σε αποκλειστικότητα

1. "Fast Parallel Algorithms and the Complexity of Parallelism" (Invited Paper) PARCELLA 88 Conference, Academie-Verlag, Oct. 1988.

2. "Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification" in the 3rd Annual Symposium on Theoretical Aspects of Computer Science (STACS 86), Orsay, France, January 16-18, 1986, Lecture Notes in Computer Science, Springer-Verlag, 210.

3. "The Volume of the Union of Many Sphere and Point Inclusion Problems", in the 2nd Annual Symposium to Theoretical Aspects of Computer Science (STACS 85), Saarbrucken, West Germany, January 3-5, 1985, Lecture Notes in Computer Science, Springer-Verlag.

4. "Queueing Delay Modelling for Multistage Interconnection Multiprocessor Networks", in the 22nd Allecton Conference on Communication, Control and Computing, Urbana, Illinois, October 1984.

5. "On the Shadow CPU approximation for modelling priority scheduling in Computer Systems", IASTED International Symposium on Simulation and Modelling, Orlando, Florida, November 1983.

6. "The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science, Springer-Verlag, No. 246, pp. 264-277.

7. "The Parallel Complexity of Deadlock Detection" 12th Symposium on Mathematical Foundations of Computer Science, August 1986, Lecture Notes in Computer Science, No. 233, pp. 582-594, Springer-Verlag.

Σε συν-συγγραφή

15

Page 16: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

8. "Distributed Algorithms for Synchronizing Interprocess Communication within Real Time", with John Reif, 13th Annual Symposium on Theory of Computing, (STOC 81), Milwaukee WI, 1981.

9. "Unbounded Speed Variability in Distributed Systems" with John Reif, 9th ACM Symposium on Principles of Programming Languages, (POPL 82) Albuquerque, NM, Jan 1982.

10. "Real Time Resource Allocation in a Distributed System", with John Reif, 1st ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, (PODC 82), Ottawa, Canada, August 1982.

11. "Random Matroids", with John Reif, 12th Annual ACM Symposium on Theory of Computing, (STOC 80), Los Angeles, CA, 1980.

12. "Performance Analysis of Concurrency Control Methods in Database Systems", with Annie Shum, 8th International Symposium on Computer Performance, Modelling, Measurement and Evaluation, Amsterdam, The Netherlands, November 1981.

13. “Concurrency Control Performance Evaluation (a methodology and an application to two phase locking)", with Oded Shmueli, 4th IASTED International Symposium, Modelling and Simulation '83, Lugano, Switzerland, June 1983.

14. "Probabilistic Bidding Gives Optimal Distributed Resource Allocation", with John Reif, in the 11th International Colloquium on Automata, Languages and Programming (ICALP 84), Antwerp, July 1984 (Lecture Notes in Computer Science 172, Springer-Verlag, J. Paredaens, editor).

15. "Coordinating Pebble Motion on Graphs, the Diameter of Permutation Groups, and Applications", with D. Kornhauser and G. Miller, in the 25th Annual Symposium on Foundations of Computer Science (FOCS 84), Singer Island, Florida, October 1984.

16. "Dynamic Grid Embedding: Optimizing the Compression of Partial Grids", with F. Makedon and S. Zachos, in the 11th Workshop on Graphtheoretic Concepts in Computer Science, Castle Schanberg, Germany, June 18-21 1985.

17. "A Semantic Approach to Correctness of Concurrent Transaction Executions", with A. Tuzhilin, in the 4th ACM Symposium on Principles of Database Systems (PODS 85), Portland, Oregon, March 25-27, 1985.

18. "A very fast, practical algorithm for finding a Negative Cycle in a Digraph" with A. Tsakalidis, 13th International Colloquium on Automata, languages and Programming, Rennes, France, July 1986, Lecture Notes in Computer Science, Springer-Verlag, pp. 397-407.

19. "Queueing Delays in Buffered Multistage Interconnection Networks" with C. Bouras, J. Garofalakis and V. Triantafillou, ACM SIGMETRICS Conference on Measurement and Modelling of Computer Systems, May 11-14 1987, Proceedings, pp. 111-122.

20. "Fast Parallel Algorithms for Processing of Joins" with D. Shasha, International Conference on Supercomputing (ICS 87), Springer-Verlag, June 1987.

16

Page 17: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

21. "Approximate Queueing Models for the Load Balancing Problem" with J. Garofalakis ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, Proceedings (Abstract), 16(1), 1988.

22. "Efficient Distributed Algorithms by Using the Archimedean Time Assumption" with B. Tampakas, 5th Annual Symposium on Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, Springer-Verlag, 294 (1988) 248-264.

23. "Pythia and Tyche: An eternal golden braid" with L. Kirousis, Proc. of the International Conference on the Notion of Probability, Delphi, 1988, Reidel, Dordrecht.

24. "Probabilistic Log-Space Reductions and problems Probabilistically hard for P", with L. Kirousis, Proc. Scandinavian Workshop on Algorithm Theory (SWAT 1988), Lecture Notes in Computer Science, Springer-Verlag, 318 (1988) 163-176.

25. "The Approximability of Problems Complete for P" with M. Serna, International Symposium on Optimal Algorithms (Invited Paper), Varna, May 1989, Springer-Verlag.

26. "Lower Bounds and Efficient Algorithms for Multiprocessor Scheduling of Dags with Communication Delays" with H. Jung and L. Kirousis, Proceedings of the 1989 ACM Symposium on Parallel Algorithms and Architectures (SPAA 89), pp. 254-265.

27. "Symmetry Breaking in asynchronous rings with 0(n) messages" with B. Tampakas and A. Tsiolis, 3rd International Workshop on Distributed Algorithms, Sept. 1981, Springer-Verlag.

28. "The Parallel Complexity of the Subgraph Connectivity Problem" with L. Kirousis and M. Serna, 1989 IEEE Foundations of Computer Science (FOCS 1989), Proceedings, October 1989.

29. "Efficient Robust Parallel Computations" with Z. Kedem and K. Palem, Theory of 1990 ACM Symposium on Computing (STOC 1990), Proceedings.

30. "The Performance of Multistage Interconnection Networks with Finite Buffers" with J. Garofalakis, 1990 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (Short Paper), Proceedings, 1990.

31. "Medical Technology Transfer Using Teleradiology Based on Broadband Networks" with C. Bouras, J. Garofalakis, and the MTT Study Group, SCAR 1990.

32. "Fast Parallel Appoximation of the Maximum weighted Cut Problem Through Derandomization, by G. Pantziou, P. Spirakis, C. Zaroliagis, 1989 Foundations of Software Technology and Theoretical Computer Science, Springer-Verlag, Vol. 405, pp. 20-29.

33. "Optimal Parallel Algorithms for Sparse Graphs" with G. Pantziou and C. Zaroliagis, 1990 Graph Theoretic Concepts in Computer Science (WG 90), Lecture Notes in Computer Science, Springer-Verlag, June 1990.

34. "Efficient Parallel Algorithms for Shortest Paths in Planar Graphs" with G. Pantziou and C. Zaroliagis, 1990 Scadinavian workshop on Algorithms and

17

Page 18: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

Theory (SWAT 1990) Lecture Notes in Computer Science, Springer-Verlag, July 1990.

35. "Simplified Performance Models of the Reordering Issue in Timestamp Ordering Concurrency Control in Distributed Databases" with C. Bouras, 5th International Symposium on Computer and Information Sciences (ISCIS V), Capadocia, Turkey, Nov. 1990, Proceedings.

36. "Tight RNC approximations to Max flow" with M. Serna, in the 8th Symposium on Theoretical Aspects of Computer Science (STACS 91), 1991, Lecture Notes in Computer Science, Vol. 480, pp. 118-127, Springer-Verlag.

37. "Simple Atomic Snapshots: Linear Complexity Solutions with Unbounded Time-Stamps" with L. Kirousis and P. Tsigas, International Conference on Computing and Information (ICCI 91), May 1991, Lecture Notes in Computer Science, Springer-Verlag.

38. "Combining Tentative and Definite Executions for Very Fast Dependable Parallel Computing" with Z. Kedem, K. Palem, A. Raghunathan in the 23rd Annual ACM Symposium on Theory of Computing (STOC 91), Proceedings, May 1991.

39. "A Fast Parallel Algorithm for Precedence Constraint Scheduling" with H. Jung & M. Serna, in the 18th International Colloquium on Automata, Languages and Programming (ICALP 91), Madrid, Spain, July 1991, Lecture Notes in Computer Science, Springer-Verlag.

40. "The Complexity of the Reliable Connectivity Problem" with D. Kavadias and L. Kirousis, in the 16th International Symposium on Mathematical Foundations of Computer Science (MFCS 91), Poland Aug 1991

41. "Fast Parallel Algorithms for Coloring Random Graphs" with Z. Kedem, K. Palem, G. Pantziou and C. Zaroliagis in the 17th International Workshop on GraphTheoretic Concepts in Computer Science (WG 91), June 1991

42. "RECPHONE : A new environment for Medical Remote Expert Consultation" with P. Basiloglou,C. Bouras, J. Garofalakis, and G. Papoutsopoulos EuroPACS'91, 9th International meeting, Berlin July 2-3 1991, Proceedings.

43. "Atomic Reading While Writing: Solutions with Linear and Sublinear Complexity" with L Kirousis and P. Tsigas, in WDAG 91 Proceedings, Lecture Notes in Computer Science, Springer Verlag, Vol 579, 1992

44. "The Effect of Clock Drifts on the Performance of Distributed Timestamp Ordering" with C. Bouras, 3rd COMAD Conference, Bombay India, Dec 1991 Advances in Data Management, Mc Graw Hill 1991

45. "The DSS System : An Overview" with B. Tampakas, D. Spartiotis, M. Papatriantafillou et al, in STACS 92 conference proceedings, Lecture Notes in Computer Science, Springer Verlag

46. "MIPL : An Image Processing Library for Medical Applications" with C. Bouras, V. Kapoulas and C. Goutis, SCAR 92 (1992 Symposium for Computer Assisted Radiology), Proceedings, Βaltimore, Maryland June 14-17, 1992

18

Page 19: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

47. "Optimistic Synchronizers: Tentative and Definite Distributed Computations" J. Garofalakis, S. Rajsbaum . B. Tampakas, in the 1992 WDAG (Workshop on Distributed Algorithms), Haifa, Israel, Proceedings, LNCS.

48. "A Formal Treatment of relevance Information in Ill - Structured Environments " with D. Androutsopoulos,17th Operations Research Symposium, SOR, 1992, Proceedings

49. "Brain Data Base " with G Anogiannakis, A Krotopoulou,D Terpou and A Tsakalidis, DEXA 93, LNCS Springer Verlag Vol 720 pp 361-365

50. "The perfect and imperfect clocks approach to performance analysis of basic timestamp ordering in distributed databases" with C. Bouras, International Conferenec on Computers and Information ICCI 1993, May 1993, Sudburry Ontario, Canada, Proceedings.

51. "Performance models for perfect and imperfect clocks on Timestamp ordering in Distributed Databases" with C. Bouras, MASCOTS 93, Jan 1993, San Diego CA, International workshop on modelling, analysis and simulation of computer and telecom systems, Proceedings, Vol 25, No 1 1993

52. "Fast polynomial expected time algorithms for near optimal dominating sets in random graphs" with S. Nikoletseas, Graph Theoretic concepts in Computer Science, WG 93, LNCS Springer Verlag, Proceedings.

53. "Short vertex disjoint paths and multiconnectivity in random graphs: Reliable Network Computing " with S. Nikoletseas, K. Palem and M. Yung,21st ICALP 1994, LNCS, Proceedings.

54. "Securenet : A network oriented Prevention and Detection Expert System" with D. Gritzalis et al, 10th IFIP International Information Security Conference, May 1994, Proceedings

55. "FINE Database : A Database for information Exchange among Clinical Engineers" with A. Tsakalidis et al, MIE-94 Conference, Lisbon, 1994, Proceedings

56. "Efficient sequential and parallel algorithms for the negative cycle problem " with. G. Pantziou, C.Zaroliagis and D. Kavvadias in ISAAC 94, Proceedings

57. "Hammocks on Ears Decomposition : A technique for an efficient parallel solution of path problems " with G. Pantziou, C. Zaroliagis and D. Kavvadias,19th MFCS 94 (Mathematical Foundations of Computer Science) Proceedings, LNCS Springer Verlag.

58. "Distributed Pursuit Evation : Some Aspects of Privacy and ecurity in Distributed Computing" with B. Tampakas,13th ACM PODC 94 (Short paper), ACM Principles of Distributed Computing, Proceedings, Aug 1994

59. "Random Regular Graphs with Edge Faults Remain Efficient Expanders" with S. Nikoletseas, STACS 1995, LNCS proceedings, also in the RAND 94 workshop.

60. "Tail Bounds for Occupancy and the Satisfiability Threshold Conjecture" with A. Kamath, R. Motwani, K. Palem, IEEE FOCS 1994, Nov 20-22 1994

61. "A conceptual database model for 3D irregular objects" with K. Krotopoulou, D. Terpou and A. Tsakalidis, DEXA 94, LNCS procedings, Sept. 1994

19

Page 20: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

62. "Network Management Security " with D. Androutsopoulos et al, Intelligent Services in Networks (IS&N ) 1994, LNCS proceedings, Sept. 1994

63. "Stochastic graphs have short memory : average case on line connectivity in polylog time" with J. Reif, S. Nikoletseas and M.Yung, ICALP 1995, proceedings

64. "Hippocrates : A Multimedia tool for distance education" with C. Bouras, D. Fotakis, V. Kapoulas, P. Lampsas, G. Papoutsopoulos, A.Tatakis, in ED-MEDIA 95, Assoc. for the Advancement of Computing in Education, Graz, Austria, June 17-21, Proceedings.

65. "Parallel Text Retrieval on a High Performance Supercomputer using the Vector Space Model" with P. Efraimidis, C. Glymidakis, B. Mamalis, B. Tampakas in ACM SIGIR 95, proceedings.

66. "Randomised Competitive Algorithms for Admission Control in General Networks" with V. Kapoulas, in the 14th ACM PODC 1995 Principles of Distributed Computing, Ottawa, Aug 20-23 1995, Proceedings (short paper)

67. "Distributed Pursuit Evation" with B. Tampakas and H. Antonopoulou in the 1995 WDAG conference (Workshop on Distributed Algorithms), Proceedings LNCS Springer - Verlag

68. "Efficient parallel algorithms for tree layouts" with T. Pantziou, J. Diaz, A. Gibbons in the 1995 COCOON Conference, LNCS Springer-Verlag Proceedings

69. "Randomised Competitive Video on Demand " with C. Bouras, V. Kapoulas and T. Pantziou, 15th ACM PODC 1996 Principles of Distributed Computing, Fed Conf Proceedings ACM, April 1996 (short paper)

70. “An experimental comparison of hot potato and wormhole routing" with S. Karaivazoglou and V. Triantafillou, in the 1996 COCOON Conference, LNCS Springer Verlag, Proceedings.

71. "BSP vs Logp " with G.Bilardi, K. Herley, A. Pietracaprina, and G. Pucci, in the 1996 ACM SPAA (Symposium on Parallel Algorithms and Architectures) Conference, July 1996

72. "Multilingual Implementations of OSI Applications" with C. Bouras, D. Fotakis, V. Kapoulas, S. Kontogiannis, P. Lampsas, A. Tatakis, ICSIS X, pp 367-374, Turkey, Ismir 1995

73. "FINE : Implementation of a Distributed Telematics Environment for Clinical Engineers " with P. Balaouras, C. Bouras, L. Chadelis, D. Fotakis V Kapoulas, N. Palikarakis, R. Sandaltzopoulos, A. Tatakis in the 1996 Concurrent Engineering Europe 10-12 April 1996, Cambridge, UK

74. "An Interactive Cooperative Teleworking Environment : Telemathea " with C. Bouras, D. Fotakis, V. Kapoulas, S. Kontogiannis, K. Kyriakou, P Lampsas, and A Tatakis, ED-MEDIA/ED-TELECOM 96, June 17-22, 1996, Boston USA (also invited in J. of Computers in Mathematics and Science Teaching)

75. "TRENDS : Training Educators through Networks and Distributed Systems" with C. Bouras, V. Kapoulas, N. Kastis, in EDEN 96 (European Distance Education Network) 8-10 July 1996, France

20

Page 21: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

76. "poly(loglogn),poly(loglogn) - restricted verifiers are unlikely to exist for languages in NP " with D. Fotakis, Mathematical Foundations of Computer Science (MFCS) 1996, LNCS Proceedings.

77. "Scheduling Algorithms for Strict Multithreaded Computations" with P. Fatourou, International Symposium on Algorithms and Computation (ISAAC) 1996, Proceedings LNCS 1178, Springer Verlag.

78. "Efficient Computations on Fault-Prone BSP Machines" with S. Kontogiannis and G. Pantziou, Ninth Annual ACM Symposium on Parallel Algorithms and Architactures (SPAA) 1997, Proceedings.

79. "On Demand Hypermedia/Multimedia Service over broadband networks" with C. Bouras, V. Kapoulas, D. Miras, V. Ouzounis and A Tatakis, fifth International Symposium on High Performance Distributed Computing (HPDC - 5), Focus Workshop on Multimedia and Collaborative environments, Aug 1996, Syracuse, NY, USA, Proceedings.

80. "An Architecture for interactive distributed multimedia information services" with C. Bouras, V. Kapoulas, D. Miras, V. Ouzounis, International Conference on Telecommunicatios, ICT 1997, Melbourne, Australia April 1997

81. "In-Service training through ODL environments : from user needs to functional specs" with C. Bouras, P. Lampsas, 8th International Conference, Society on Information Technology and teacher education, SITE 1997, Orlando USA April 1997.

82. "An HTML like language supporting time-dependent transmission of hypermedia" with C. Bouras, V. Kapoulas, A Tatakis, in the 8th International ACM Hypertext Conference, HYPERTEXT 97, Southampton UK, Apr 1997 (poster presentation)

83. "Conclusions on the analysis of user requirements concerning the use of ICT in the didactic process" with K. Antonis, C. Bouras, J. Garofalakis, N. Kastis, S. Kontogiannis, P. Lampsas and G. Tsakarisianos, ED-MEDIA/ED-TELECOM 1997, Calgary, Canada,June 1997

84. "Hermes Service : Distributed Hypermedia Educational Services on Demand" with K. Antonis, C. Bouras, V. Kapoulas, D. karageorgopoulos, D Miras, V Ouzounis, ED-MEDIA/ED-TELECOM 1997, Calgary, Canada, June 1997.

85. "Optimal algorithms for network flow control" with P Fatourou and M. Mavronicolas, in the 1997 ACM PODC conference proceedings (full paper).

86. "Reliability properties of fat trees" with S. Nikoletseas, T. Pantziou, P. Psycharis, in the 1997 EUROPAR conference proceedings.

87. "A general performance model of multistage interconnection networks" with C. Bouras, J. Garofalakis and V. Triantafillou, in the 1997 EUROPAR conference proceedings.

88. “Competitive Call Control in Mobile Networks” with T. Pantziou, G. Pentaris, in the 1997 ISAAC Conference, Proceedings.

89. “Algorithmic Aspects for Video on Demand” with C. Bouras, T. Pantziou, V. Kapoulas in the 1997 Workshop on Algorithmic Aspects of Communication, (ICALP sattelite Workshop, 1997).

21

Page 22: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

90. “HY MOST: Hypermedia Model For Synchronised Presentations” with I Antoniou, C Bouras, D Moiras, V Ouzounis, 3rd Workshop on Open Hypermedia Systems, Southampton UK, April 6-11 1997, pp18-23

91. “Superhighways for Open and Distance Learning “with C Bouras and P Lampsas, 1997 EDEN Conference, Budapest, Hungary June 23-25 1997 pp32-36

92. “Competitive Video on Demand Schedulers for Popular Movies” with C Bouras, V Kapoulas, G Pantziou, Workshop on Algorithmic Aspects of Communications, ICALP sattelite workshop, Bologna Italy July 11-12 1997

93. “Enabling Distance Education over the WWW” with I Antoniou, C Bouras, P Lampsas, Web Net 97, World Conference of the WWW, Internet and Intranet, Toronto Canada Oct 31-Nov 5 1997

94. “The design and development of advanced services over the Patras University Campus Network” with I Antoniou, B Basiliadis, C Bouras, J Garofalakis et al, Intl Conference on Computers in Education, ICCE 97, Sarawak, Malaysia, dec 2-6 1997

95. “ODYSSEAS: The Greek Educational Network for Secondary Education” with C Bouras, A Hadzilakos, M Koutlis and N Panopoulos, in the EUROAMERITEL 97 Conference, Nov 5-7 1997, San Jose, Costa Rica

96. “Assignment of Reusable and non Reusable Frequencies” with D Fotakis to appear in the Conference on Combinatorial and Global Optimization, Creta 25-29 May 1998

97. “Dynamic fault prone BSP: A paradigm for robust computations in changing environments” with S Kontogiannis, G Pantziou, M Yung, in the 1998 10 th ACM Symposium on Parallel Algorithms and Architectures (SPAA 98), Puerto Valarta Mexico June 28-July 2, Proceedings

98. “The Global Efficiency of Distributed Rate Based Flow Control Algorithms” with M Mavronicolas and P Fatourou, 17th Annual ACM Symposium on Principles of Distributed Computing (PODC 98), accepted as a brief announcement

99. “Advances in Rate Based Flow Control” with M Mavronicolas and P Fatourou, invited paper in Proc of 4th International Colloquium on Structural Information and Communication Complexity (SIROCCO 97) Ascona, Switzerland 1997

100. “The Global Efficiency of Distributed Rate Based Flow Control Algorithms” Proceedings of the 5th International Colloquium on Structural Information and Communication Complexity (SIROCCO 98) Amalfi, Italy, June 22-24 1998

101. “Optimal High Performance Parallel Text Retrieval via Fat Trees” with B Mamalis and B Tampakas, in the ISCA PDCS 1997 conference (11th International Conference on Parallel and Distributed Computing Systems) New Orleans USA pp 29-34, 1997

102. “A Competitive Symmetrical Transfer Policy for Load Sharing” with K Antonis and J Garofalakis, in the 1998 EUROPAR conference as a short paper.

103. “Training Centers: An architecture for the realization of open and distance learning environments using telematics” with C Bouras, P Lampsas, 9 th

22

Page 23: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

International Conference Soc for Information Technology and Teacher Education, SITE 98, Washington DC USA March 10-14 1998

104. “Implementing spatio-temporal relations for hypermedia presentations using an HTML-like language” with C Bouras, V Kapoulas, D Moiras, V Ouzounis, A Tatakis, Workshop on Internet Programming Languages, in the 1998 International IEEE Conference on Programming Languages, Chicago Illinois, USA May 1998

105. “Multimedia Architecture offering Open Distance Learning Services over Internet” with A Bazaios, C Bouras, P Lampsas, P Zarafidis, A Zoura, ICT 98, International Conference on Telecommunications, Chalkidiki Greece June 1998

106. “The design of pursuit evation protocols via the DSP platform” with K. Hadjis and G. Pentaris, Workshop of Algorithmic Engineering, WAE 1998, Proccedings, Saarbrucken 1998.

107. “On-line algorithms for radio networks” with D. Fotakis, in the on-line Algorithms School and Workshop, OLA 98, Italy

108. “A Hamiltonian Approach to the Assignment of non-reusable Frequences” with D. Fotakis, FCT-TCS (Foundations of Computer Science- Theoretical Computer Science, 18 th Int’ l conference, 1998), proccedings.

109. “Rate Based Flow Control with Priorities” with P. Faturu and M. Mavronikolas, OPODIS Conference, 1998, Springer-Verlag.

110. “Fundamental distributed protocols in mobile networks” with K. Hadzis, G. Pentaris, B. Tampakas, R. Tan, brief announcement in the 1999 Principles of Distributed Computing (PODC 99) Conference.

111. “Optimal Distributed Decision Making: The case of no communication” with M. Mavronikolas, brief announcement in the 1999 Principles of Distributed Computing (PODC 1999) conference.

112. “Approximation algorithms for Generalized Graph Coloring with applications to Frequency Assignement in Hybrid Mobile Networks” with D. Fotakis, in the Conference on Approximation and Complexity in numerical optimization: Continuous and discrete problems, proceedings, Feb 28 – March 2 1999, U of Florida.

113. “Fundamental Control Algorithms in Mobile Networks” with K. Hadzis, G. Pentaris, B. Tampakas, R. Tan, in the 11th Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA 1999), Proccedings.

5.6.6 Τιμητικές προσκλήσεις και αναφορές

1. Dagstuhl Computer Science Seminar on Analysis of Algorithms, Ιολύλιος 1993 πρόσλκηση για ομιλία με θέμα "Regular random graphs with edge faults ".

2. Dagstuhl Computer Science Seminar on Parallel Algorithms, Σεπτ. 1993 : πρόσλκηση για ομιλία με θέμα "Five paradigms for fast parallel approximations to problems that are hard to parallelise".

3. DIMACS Workshop on Parallel Algorithms "From Solving Combinatorial Problems to Grand Challenge Problems" πρόσκλκηση για ομιλία με θέμα

23

Page 24: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

"Paradigms for fast parallel approximations for problems that are hard to parallelise" . Νοέμβριος 17-19 1993, DIMACS Center, Rutgers Univ.

4. Βασικός εισηγητής στο 10th Anniversary of the British Theoretical Computer Society, Μάρτιος 1994

5. Dagstuhl Computer Science Seminar "random graphs and expanders" Απρίλιος 10-17, 1994

6. Obervolfach seminar on Data Structures and Algorithms Αύγουστος 1994.

7. Dagstuhl Computer Sciene seminar on "on-line algorithms" 1995.

8. Κριτής για το βραβείο Inamori Prizes in Information Sciences, 1995.

9. Προσκεκλημένος ομιλητής σε θέματα προσεγγιστικής πολυπλοκότητας προσεγγίσεων στο 1994 SCHOOL OF COMPLEXITY, Barcelona, Σεπτέμβριος 1994

10. Προσκεκλημένος ομιλητής για Parallel Algorithms στο School of Parallel Computation, Padova, Italy, June 1996

11. Προσκεκλημένος ομιλητής στο SCHOOL OF APPROXIMATION, Unesco and CISM, Trieste, Italy, Sept. 1996

12. Προσκεκλημένος ομιλητής στο DIMACS Workshop on Discrete Probability, με θέμα " Almost uniform generation of matchings in RNC", work joint with J Diaz, M Serna, P Psycharis and S Nikoletseas, DIMACS Rutgers Univ, Οκτώβριος 1996.

13. Προσκεκλημένος ομιλητής στο Theory Day of Paderborn Univ., Germany, Φεβρουάριος. 1996

14. Βασικός εισηγητής in the Workshop on randomised parallel computation (WRPC) of IPPS, March 1997, συνεργατική εργασία με J. Diaz, M. Serna και P. Psycharis.

15. Προσκεκλημένος ομιλητής στο 1997 ALTEC II workshop (Saarbrucken, May 1997).

16. Προσκεκλημένος ομιλητής στο July 1997 Dagstuhl seminar on Average case analysis of algorithms.

17. Προσκεκλημένος ομιλητής στο 3rd Conference on Development in Formal Languages (Thesalloniki, July ’97).

18. Προσκεκλημένος ομιλητής στο SIROCCO 97 (July ’97 Ascona)

19. Προσκεκλημένος ομιλητής στο Dagstuhl 1997 Seminar on Algorithmic Methods in Physics, Dec 1997.

20. DIMACS Workshop on Networks in Distributed Computing, πρόσκληση για ομιλία με θέμα “On line algorithms for Mobile Networking”, συνεργατική εργασία με T. Pantziou, G. Pentaris, D. Fotakis, Oct 27-29, 1997.

21. Προσκεκλημένος ομιλητής στο 1999 Workshop on Phase Transition Systems, Univ. of Liverpool, UK 1999. Title of talk “Thresholds in random structures”

22. Προσκεκλημένος ομιλητής στο 1998 Workshop on AI, Thessaloniki , Greece, τίτλος “New results on Probabilistic Checkable Proofs”

24

Page 25: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

23. Προσκεκλημένος ομιλητής στο Dagstuhl Seminar on Parallel and Distributed Computing, Καλοκαίρι 1999.

5.6.6 Εισηγήσεις και βιβλία στην Ελληνική γλώσσα

1. Λειτουργικά Συστήματα (Θεωρία και Ασκήσεις) Τόμος Ι, Εκδόσεις Παν/μίου Πατρών, 1988

2. Σημειώσεις Θεωρίας Υπολογισμού Εκδόσεις Παν/μίου Πατρών, 1988

3. Διακριτά Μαθηματικά: τα Μαθηματικά της Επιστήμης της Πληροφορικής, Εκδόσεις Παν/μίου Πατρών, και επίσης εκδόσεις Γουτεμβέργιος, 1993, με Χ. Μπούρα και Λ. Κυρούση.

4. Διακριτά Μαθηματικά: Προβλήματα και Λύσεις, εκδόσεις Γουτεμβέργιος, 1994 με Χ. Μπούρα, Λ. Κυρούση και Α. Βουτσαδάκη.

5. Στοιχεία Πιθανοθεωρίας, εκδόσεις Γουτεμβέργιος 1997, με Σ. Νικολετσέα.

5.6.7 Διδακτορικοί Τίτλοι με τον Π. Σπυράκη ως επιβλέποντα

1. M Serna, νυν καθηγήτρια στο Univ Polytech Catalunya Spain

2. A Tuzhilin νυν καθηγητή στο business school, NYU USA

3. Γ. Πάντζιου, νυν καθηγήτρια ΤΕΙ Αθήνας

4. Χ. Μπούρας, νυν Επίκουρος Καθηγητής, Τμ. Μηχ. Η/Υ & Πληροφορικής του Παν/μιου Πατρών

5. Γ. Γαροφαλάκης, νυν Επίκουρος καθ. στο Τμήμα Η/Υ και Πληροφορικής του Παν/μίου Πατρών.

6. Χ. Ζαρολιάγκης, νυν ερευνητής στο Max Planc, Comp. Sci. Saarbrucken, Γερμανία, επίσης Επίκουρος Καθηγητής, Univ. of Kent, UK

7. Π. Τσίγκας, (συν-επίβλεψη με Λ. Κυρούση) νυν ερευνητής στο MPI, Saarbrucken Γερμανία

8. Μ. Παπατριανταφύλλου νυν ερευνήτρια στο MPI, Saarbrucken, Γερμανία

9. Β. Τριανταφύλλου, νυν ερευνητής ΙΤΥ.

10. Η Αντωνοπούλου, νυν καθηγήτρια ΤΕΙ Πάτρας

11. Β. Ταμπακάς, νυν καθηγητής ΤΕΙ Πάτρας

Τιμητικές αναφορές

Αναφορές σε μέρος των ερευνητικών αποτελεσμάτων του Π. Σπυράκη, βρίσκονται στα παρακάτω βιβλία:

Books strongly citing the work of P. Spirakis:

(1) “Fault Tolerant Parallel Computation” by A. Schwartzman, MIT Press, 1997

(2) “Limits in Parallel Computation” by Ruzzo et al, Prentice Hall

(3) “Randomised Algorithms”, Motwani and Raghavan

25

Page 26: ΠΑΥΛΟΣ Γ - cti · Web view"The Diameter of Connected Components of Random Graphs" Graph-Theoretic Concepts in Computer Science, WG 86, June 86, Lecture Notes in Computer Science,

26