Vous êtes ici

Curriculum Vitae

George Rahonis

Associate Professor, School of Mathematics

Personal Information

- 2310998330
grahonis@math.auth.gr
http://users.auth.gr/grahonis/
Επιστημονική Ειδίκευση:
Theoretical Computer Science

Education

Προπτυχιακές Σπουδές

1987	Πτυχίο Μαθηματικών / Θετικών Επιστημών Α.Π.Θ. Greece

Διδακτορικό Δίπλωμα

1993	ΔΔ Μαθηματικών / Θετικών Επιστημών Α.Π.Θ. Greece

Course Work

Courses of Winter semester of 2017–18 academic year

	TMĪMA MATHĪMATIKŌN
0430	Introduction to Computer Programming
0430	Introduction to Computer Programming

	METAPTYCΗIAKO TMĪMATOS MATHĪMATIKŌN
0838	Formal Language Theory

Courses of Spring semester of 2017–18 academic year

	TMĪMA MATHĪMATIKŌN
0401	Theoretical Informatics I
0430	Introduction to Computer Programming
0432	Theoritical Informatics II

Theses Supervised

Student Theses within AUTh

In progress

Terpsiadis Nikolaos. "Εξέλιξη της απόδειξης στα Διδακτικά Εγχειρίδια

2016–2017

Terzopoulos Dimitrios. "Application of Neuroevolution in Self-guided Intelligent Navigation: DNA an Gene Expression from Biology to Computational Science" ("Mία εφαρμογή της Νευροεξέλιξης στην Αυτοκαθοδηγούμενη Πλοήγηση: Το DNA kai h Γονιδιακή Έκφραση από τη Βιολογία στην Επιστήμη Υπολογιστών")
Kokkaleniou Alexandra. "Ελαχιστοποίηση και υπερ-ελαχιστοποίηση αυτομάτων με βάρη και χωρίς βάρη"
Paraponiari Pavlina. "Weighted configuration logic" ("Ποσοτική λογική διαμόρφωσης αλληλεπιδράσεων")

2015–2016

Dimitriou Pinelopi. "Συμβολή των L-συστημάτων στην αλγοριθμική περιγραφή και μοντελοποίηση πολύπλοκων οργανικών δομών"
Serafeim Despoina. "Συμβολικά αυτόματα και εφαρμογές"
Gidari Lamprini. "Παραγωγή αναγνωρίσιμων γλωσσών με μοντέλα ανασυνδυασμού αλυσίδων του DNA"
Gkrana Maria. "Υπολογιστική ανάλυση της γονιδιακής σύνθεσης στα πρωτόζωα"

2014–2015

Marantidis Pavlos. "ΤΟ ΘΕΩΡΗΜΑ CHROMSKY-SCHUTZENBERGER ΓΙΑ ΑΛΓΕΒΡΙΚΕΣ ΓΡΑΜΜΙΚΕΣ ΓΡΑΜΜΑΤΙΚΕΣ ΜΕ ΒΑΡΗ"
Michalakou Eleni. "Αυτόματα και μοναδιακή λογική δεύτερης τάξης με βάρη σε άπειρες λέξεις"
Mavridou Chrysanthi. "ΜΕΛΕΤΗ ΜΑΘΗΜΑΤΙΚΩΝ ΜΟΝΤΕΛΩΝ ΓΙΑ ΤΗΝ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΤΗΣ ΑΞΙΟΠΙΣΤΙΑΣ ΣΥΣΤΗΜΑΤΩΝ"
Toupa Panagiota. "Αλγεβρική επεξεργασία εικόνων"
Stefanidou Evdoxia. "Αλγόριθμοι μετασχηματισμού τύπων της LTL σε Bϋchi αυτόματα"

2013–2014

Pittou Maria. «Weighted variable automata over infinite alphabets (Αυτόματα μεταβλητών με βάρη σε άπειρα αλφάβητα)»
Mandrali Eleni. Weighted computability with discounting
Dermentzī Marianna. "Molecular languages: From WK-recognizability to MSO-definability.(Μοριακές γλώσσες: Aπό την WK-αναγνωρισιμότητα στην MSO-ορισιμότητα)".
Tsotsou Christina. "Αυτόματα και μοναδιακή λογική δεύτερης τάξης με βάρη σε πεπερασμένες λέξεις"
Gouglidis Antonios. "Γραμμική και μη-γραμμική λογική: Σύγκριση και πρακτικές εφαρμογής"
Katrana Persefoni. "Στοχαστικές γραμματικές και εφαρμογές τους στην επεξεργασία εικόνων"

2012–2013

Orlīs CΗrīstos. "Automata on infinite words and games (Αυτόματα σε άπειρες λέξεις και παίγνια"

2011–2012

CΗrīstidīs Grīgorios. ΜΟΝΑΔΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗΣ ΤΑΞΗΣ ΚΑΙ ΙΣΟΔΥΝΑΜΟΙ ΧΑΡΑΚΤΗΡΙΣΜΟΙ ΤΗΣ
Mens Eirini-Eleftheria. ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΣΕ ΑΠΕΙΡΑ ΒΑΘΜΩΤΑ ΑΛΦΑΒΗΤΑ (TREE AUTOMATA OVER INFINITE RANKED ALPHABETS).
Vretta Eleni-Maria. ΠΡΟΣΕΓΓΙΣΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΚΑΤΑΣΑΚΕΥΗ ΤΟΥ ΠΡΟΣΔΙΟΡΙΣΤΙΚΟΥ ΜΟΝΤΕΛΟΥ ΕΝΟΣ ΜΗ-ΠΡΟΣΔΙΟΡΙΣΤΟΥ ΑΥΤΟΜΑΤΟΥ ΜΕ ΒΑΡΗ (APPROXIMATION METHODS FOR THE CONSTRUCTION OF THE DETERMINISTIC MODEL OF A NON-DETERMINISTIC WEIGΗTED AUTOMATON).

2010–2011

Ntemiroudi Sotiria. Ω-ΑΝΑΓΝΩΡΙΣΙΜΟΤΗΤΑ ΛΕΞΕΩΝ
Karyda Anna. TURING ΜΗΧΑΝΕΣ ΚΑΙ ΥΠΕΡΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ

2009–2010

Tzitzili Maria. ΑΥΤΟΜΑΤΑ ΣΕ ΑΠΕΙΡΕΣ ΛΕΞΕΙΣ ΛΕΞΕΙΣ ΚΑΙ ΑΠΕΙΡΑ ΔΕΝΔΡΑ

2008–2009

Toulkeridou Evropi. ΜΕΤΑΓΩΓΕΙΣ ΔΕΝΔΡΩΝ ΜΕ ΜΑΚΡΟΕΝΤΟΛΕΣ
Intzes Stergios. ΑΥΤΟΜΑΤΑ ΜΕ ΒΑΡΗ ΚΑΙ ΨΗΦΙΑΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΕΙΚΟΝΑΣ
Melidis Theodosios. ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΜΕ ΜΕΜΒΡΑΝΕΣ (MEMBRANE COMPUTING)
Serifis Georgios. ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΜΕ ΒΑΡΗ
Mandrali Eleni. ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΜΕ ΒΑΡΗ ΚΑΙ DISCOUNTING-WEIGHTED TREE AUTOMATA WITH DISCOUNTING
Siagka Anastasia. DNA ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ

2005–2006

Papapostolou Sofia. Μεταγωγές Δέντρων

Administrative Work

Τμήματος
#	Από	Έως	Θέση Όργανο / Επιτροπή
2	2013	2012	Head,
1	2008	2013	Head, Επόπτης γυάλινου κτιρίου ΦΜΣ

Research Projects

2011–2012	Συνέδριο στις Αλγεβρικές θεμελιώσεις της πληροφορικής
2009–2009	Συνέδριο:"3ο Διεθνές Συνέδριο Αλγεβρικής Πληροφορικής"
2009–2009	Συνέδριο ποσοτικής Λογικής

Συμμετοχές σε συντακτικές επιτροπές περιοδικών

Συμμετοχή σε επιτροπή επιστημονικού συνεδρίου

2013-09-03 CAI 2013. Aix-Marseille University - ERISCS - IML. France Μέλος Επιστημονικής Επιτροπής. Ξενόγλωσσο.
2011-11-07 Workshop on AlgebrAic Foundations in Computer Science. ARISTOTLE UNIVERSITY OF THESSALONIKI, DEPARTMENT OF MATHEMATICS. Greece Πρόεδρος Οργανωτικής Επιτροπής. Ξενόγλωσσο.
2011-06-21 CAI 2013. RISC-JOHANNES KEPLER UNIVERSITY, LINZ, AUSTRIA. Austria Μέλος Επιστημονικής Επιτροπής. Ξενόγλωσσο.
2009-07-11 QUANTLOG 2009. ARISTOTLE UNIVERSITY OF THESSALONIKI, DEPARTMENT OF MATHEMATICS. Greece Πρόεδρος Οργανωτικής Επιτροπής. Ξενόγλωσσο.
2009-05-19 CAI 2009. ARISTOTLE UNIVERSITY OF THESSALONIKI, DEPARTMENT OF MATHEMATICS. Greece Πρόεδρος Οργανωτικής Επιτροπής. Ξενόγλωσσο.
2007-05-21 CAI 2007. ARISTOTLE UNIVERSITY OF THESSALONIKI, DEPARTMENT OF MATHEMATICS. Greece Μέλος Οργανωτικής Επιτροπής. Ξενόγλωσσο.
2005-10-20 CONFERENCE ON ALGEBRAIC INFORMATICS. ARISTOTLE UNIVERSITY OF THESSALONIKI, DEPARTMENT OF MATHEMATICS. Greece Μέλος Οργανωτικής Επιτροπής. Ξενόγλωσσο.

Προσκλήσεις για Διαλέξεις

Σε συνέδρια

2008-05-15 Multi-valued automata: theory and applications. WATA 2008. TECHNICAL UNIVERSITY OF DRESDEN. Germany
2006-03-31 Weighted logics over infinite words and trees. WATA 2006. UNIVERSITY OF LEIPZIG. Germany

Publications

2014

Mandrali Eleni, Rahonis George (2014). On weighted first-order logics with discounting. Acta Informatica. vol.51 p.61-106.
Pittou Maria, Rahonis George (2014). Weighted Variable Automata over Infinite Alphabets. LCNS, Implementation and Application of Automata. 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Επιμέλεια:Markus Holzer, Martin Kutrib. Giessen - Germany. Springer. vol.8587 p.304-317.

2006

Kuich W, Rahonis G (2006). Fuzzy regular languages over finite and infinite words. Fuzzy Sets and Systems. vol.157 p.1532-1549.
Droste M, Rahonis George (2006). Weighted automata and weighted logics over infinite words. LNCS, 10th International Conference Developments in Language Theory. Santa Barbara, CA, USA. vol.4036 p.49-58.

2005

Bozapalidis S, Rahonis G (2005). On the closure of recognizable tree series under tree homomorphisms. Journal of Automata, Languages and Combinatorics. vol.10 no.2-3 p.185-202.
Rahonis G (2005). Infinite fuzzy computations. Fuzzy Sets and Systems. vol.153 p.275-288.
Bozapalidis S. (editor), Kalampakas A. (editor), Rahonis G. (editor) (2005). Proceedings of the Conference on Algebraic Informatics (CAI 2005). Thessaloniki.

2001

Rahonis G (2001). Alphabetic and synchronized tree transducers. Theoretical Computer Science. vol.255 p.377-399.

1999

Rahonis G (1999). Splicing on trees: The iterated case. Journal of Universal Computer Science. vol.5 no.9 p.599-609.

1998

Bozapalidis S, Rahonis G (1998). H tree schemes with finite and recognizable sets of rules. Romanian Journal of Information Science and Technology. vol.1 no.4 p.307-318.
Rahonis G, Salomaa K (1998). On the size of stack and synchronization alphabets of tree automata. Fundamenta Informaticae. vol.36 p.57-69.

1994

Bozapalidis S, Rahonis G (1994). On two families of forests. Acta Informatica. vol.31 no.3 p.235-260.

2003

Rahonis G (2003). DNA tree structures. επιμ. Martin-Vide C, Mitrana V. Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back. London. Taylor and Francis. p.413-422.
Rahonis G (2003). Alphabetic pushdown tree transducers. LNCS, 7th International Conference Developments in Language Theory. vol.2710 p.423-436.

2013

Bozapalidis Symeon, Rahonis George (2013). Stochastic equationality. LNCS, Algebraic Informatics. 5th International Conference, CAI 2013. Porquerolles - France. vol.8080 p. 173-185.
Mandrali Eleni, Rahonis George (2013). Characterizations of weighted first-order logics over semirings. LNCS, Algebraic Informatics. 5th International Conference, CAI 2013. Porquerolles - France. vol.8080 p. 247-259.

1997

Rahonis G, Salomaa K (1997). Hierarchies of synchronized and algebraic forests. Proceedings of the 3rd International Conference Developments in Language Theory. Thessaloniki. p.447-460.

Mis à jour: 2018-01-25

Structure QualitéUniversité Aristote de Thessaloniki

Vous êtes ici

Curriculum Vitae

George Rahonis

Προπτυχιακές Σπουδές

Διδακτορικό Δίπλωμα

Courses of Winter semester of 2017–18 academic year

Courses of Spring semester of 2017–18 academic year

Student Theses within AUTh

In progress

2016–2017

2015–2016

2014–2015

2013–2014

2012–2013

2011–2012

2010–2011

2009–2010

2008–2009

2005–2006

Συμμετοχές σε συντακτικές επιτροπές περιοδικών

Συμμετοχή σε επιτροπή επιστημονικού συνεδρίου

Προσκλήσεις για Διαλέξεις

Σε συνέδρια

2014

2012

2011

2010

2009

2008

2007

2006

2005

2001

1999

1998

1994

2003

2013

1997

Structure Qualité
Université Aristote de Thessaloniki