Aller au contenu principal
Structure Qualité
Université Aristote de Thessaloniki
Identifiant
Vous êtes ici
Accueil
»
e-Curriculum Vitae
Curriculum Vitae
Expand
|
Collapse
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
.
2012
Bozapalidis S
,
Fülöp Z
,
Rahonis G
(2012)
.
Equational weighted tree transformations
.
Acta Informatica
.
vol.49 p.29-52
.
2011
Bozapalidis S
,
Fülöp Z
,
Rahonis G
(2011)
.
Equational tree transformations
.
Theoretical Computer Science
.
vol.412 no.29 p.3676-3692
.
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
.
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
Droste M
,
Rahonis G
(2010)
.
Weighted automata and weighted logics over infinite words
.
Russian Mathematics
.
vol.54 p.26-45
.
2009
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
.
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
.
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
Droste M
,
Kuich W
,
Rahonis G
(2008)
.
Multi-valued MSO logics over words and trees
.
Fundamenta Informaticae
.
vol.84 p.305-327
.
2007
Rahonis G
(2007)
.
Weighted Muller tree automata and weighted logics
.
Journal of Automata, Languages and Combinatorics
.
vol.12 no.4 p.455-483
.
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
.
Droste M
,
Rahonis George
(2007)
.
Weighted automata and weighted logics with discounting
.
LNCS, Proceedings of CIAA
.
vol.4783 p.73-84
.
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