Tu sei qui

Curriculum Vitae

George Rahonis

Professor, School of Mathematics

Personal Information

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

Education

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

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

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

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

Course Work

Courses of Winter semester of 2018–19 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 2018–19 academic year

	TMĪMA MATHĪMATIKŌN
0401	Theoretical Informatics I
0432	Theoritical Informatics II

	METAPTYCΗIAKO TMĪMATOS MATHĪMATIKŌN
0865	Automata in Semi-rings

Theses Supervised

Student Theses within AUTh

In progress

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

2017–2018

Torpari Faidra. "Context-free series with values in bimonoids" ("Αλγεβρικές σειρές με τιμές σε διμονοειδή").

2016–2017

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

2015–2016

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

2014–2015

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

2013–2014

Dermentzī Marianna. "Molecular languages: From WK-recognizability to MSO-definability.(Μοριακές γλώσσες: Aπό την WK-αναγνωρισιμότητα στην MSO-ορισιμότητα)".
Mandrali Eleni. Weighted computability with discounting
Pittou Maria. «Weighted variable automata over infinite alphabets (Αυτόματα μεταβλητών με βάρη σε άπειρα αλφάβητα)»
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

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

Publications

2014

Without Type

Mandrali Eleni, Rahonis George (2014). On weighted first-order logics with discounting. Acta Informatica. vol.51 p.61-106.

Without Type

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.

2013

Without Type

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.

2012

Without Type

Bozapalidis S, Fülöp Z, Rahonis G (2012). Equational weighted tree transformations. Acta Informatica. vol.49 p.29-52.

2011

Without Type

Bozapalidis S, Fülöp Z, Rahonis G (2011). Equational tree transformations. Theoretical Computer Science. vol.412 no.29 p.3676-3692.

Without Type

Kuich W. (editor), Rahonis G. (editor) (2011). Algebraic Foundations in Computer Science:Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement. Lecture Notes in Computer Science. Springer. vol.7020.

Without Type

Fülöp Z, Rahonis G (2011). Equational weighted tree transformations with discounting. LNCS, Algebraic Foundations in Computer Science. vol.7020 p.112-145.
Mens I.-E, Rahonis George (2011). Variable tree automata over infinite ranked alphabets. LNCS, 4th International Conference on Algebraic Informatics. vol.7020 p.112-145.

2010

Without Type

Droste M, Rahonis G (2010). Weighted automata and weighted logics over infinite words. Russian Mathematics. vol.54 p.26-45.

2009

Without Type

Droste M, Rahonis G (2009). Weighted automata and weighted logics with discounting. Theoretical Computer Science. vol.410 p.3481-3494.
Mandrali E, Rahonis G (2009). Recognizable tree series with discounting. Acta Cybernetica. vol.19 p.411-439.

Without Type

Rahonis G (2009). Fuzzy languages. επιμ. Droste M, Kuich W, Vogler H. Handbook of Weighted Automata. EATCS Monographs in Theoretical Computer Science, Springer. p.481-518.

Without Type

Bozapalidis S. (editor), Rahonis G. (editor) (2009). Algebraic Informatics : Third International Conference, CAI 2009 Thessaloniki, Greece, May 2009 Proceedings. Lecture Notes in Computer Science. Springer. vol.5725.

2008

Without Type

Droste M, Kuich W, Rahonis G (2008). Multi-valued MSO logics over words and trees. Fundamenta Informaticae. vol.84 p.305-327.

2007

Without Type

Rahonis G (2007). Weighted Muller tree automata and weighted logics. Journal of Automata, Languages and Combinatorics. vol.12 no.4 p.455-483.

Without Type

Bozapalidis S. (editor), Rahonis G. (editor) (2007). Algebraic Informatics : Second International Conference CAI 2007 Thessaloniki, Greece, May 2007 Revised Selected and Invited Papers. Lecture Notes in Computer Science. Springer. vol.4728.

Without Type

Droste M, Rahonis George (2007). Weighted automata and weighted logics with discounting. LNCS, Proceedings of CIAA. vol.4783 p.73-84.

2006

Without Type

Kuich W, Rahonis G (2006). Fuzzy regular languages over finite and infinite words. Fuzzy Sets and Systems. vol.157 p.1532-1549.

Without Type

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

Without Type

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.

Without Type

Bozapalidis S. (editor), Kalampakas A. (editor), Rahonis G. (editor) (2005). Proceedings of the Conference on Algebraic Informatics (CAI 2005). Thessaloniki.

2003

Without Type

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.

Without Type

Rahonis G (2003). Alphabetic pushdown tree transducers. LNCS, 7th International Conference Developments in Language Theory. vol.2710 p.423-436.

2001

Without Type

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

1999

Without Type

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

1998

Without Type

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.

1997

Without Type

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.

1994

Without Type

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

Aggiornato: 2018-09-25

Μονάδα Διασφάλισης Ποιότητας Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης

Tu sei qui

Curriculum Vitae

George Rahonis

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

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

Courses of Winter semester of 2018–19 academic year

Courses of Spring semester of 2018–19 academic year

Student Theses within AUTh

In progress

2017–2018

2016–2017

2015–2016

2014–2015

2013–2014

2012–2013

2011–2012

2010–2011

2009–2010

2008–2009

2005–2006

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Without Type

Μονάδα Διασφάλισης Ποιότητας
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης