Παράκαμψη προς το κυρίως περιεχόμενο
Μονάδα Διασφάλισης Ποιότητας
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Είσοδος
Αρχή
ΑΠΘ
Πολιτική Ποιότητας
ΜΟΔΙΠ
ΕΘΑΑΕ
ΟΜΕΑ
Αξιολόγηση
Πιστοποίηση
Νομοθεσία
Κανονισμοί
ΣΔΠ
Είστε εδώ
Αρχή
»
Αναφορά Βιογραφικών
Βιογραφικό Σημείωμα
Ανάπτυξη
|
Σύμπτυξη
Γεώργιος Ραχώνης
Καθηγητής, Τμήμα Μαθηματικών
Προσωπικά Στοιχεία
2310998330
grahonis@math.auth.gr
http://users.auth.gr/grahonis/
Scopus ID
8395569500
MathSciNet ID
350772
https://orcid.org/0000-0002-7481-992X
Επιστημονική Ειδίκευση
:
Theoretical Computer Science
Εκπαίδευση
Προπτυχιακές Σπουδές
1987
Πτυχίο
Μαθηματικών / Θετικών Επιστημών
Α.Π.Θ.
Ελλάδα
Διδακτορικό Δίπλωμα
1993
ΔΔ
Μαθηματικών / Θετικών Επιστημών
Α.Π.Θ.
Ελλάδα
Διδακτικό Έργο
Μαθήματα Χειμερινού εξαμήνου ακαδημαϊκού έτους 2024–25
ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
0430Α
ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ Η/Υ (F ή C)
Μαθηματικά
0865
ΑΥΤΟΜΑΤΑ ΣΕ ΗΜΙΔΑΚΤΥΛΙΟΥΣ
Μαθήματα Εαρινού εξαμήνου ακαδημαϊκού έτους 2024–25
ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
0401
ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
0432
ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ ΙΙ
Επίβλεψη Εργασιών
Εργασίες Φοιτητών εντός ΑΠΘ
Σε εξέλιξη
Διδακτορικό
"Υπολογιστική μοντελοποίηση της ανάπτυξης του καρκίνου και αυτοάνοσων νοσημάτων"
2023–2024
Διδακτορικό
"Οικογένειες αρχιτεκτονικού λογισμικού με ποσοτικά χαρακτηριστικά", "Quantitative architecture styles"
2022–2023
Μεταπτυχιακό
Σύγκριση των λογικών MSO, LTL, FO και LDL
Δυναμική αναδιαμόρφωση συστημάτων βασισμένων σε συνιστώσες που περιγράφονται με προτασιακή λογική διαμόρφωσης.
Διδακτορικό
"Ποσοτική μοντελοποίηση παραμετρικών συστημάτων βασισμένων σε συνιστώσες", "Quantitative modeling of parameterized component-based systems systems "
2021–2022
Μεταπτυχιακό
«Algebraic properties of connectors in weighted architectures» (Αλγεβρικές ιδιότητες των συνδέσμων σε αρχιτεκτονικές με βάρη).
“Weighted propositional configuration logic over De Morgan algebras” «Προτασιακή λογική διαμόρφωσης με βάρη σε De Morgan άλγεβρες»
Μεταδιδακτορικό
Describing quantitative safety with weighted LTL over valuated monoids
2020–2021
Μεταπτυχιακό
«Αυτόματα με βάρη στον max-plus ημιδακτύλιο»
«Αρχιτεκτονικές με βάρη σε de Morgan άλγεβρες»
"Quantitative configuration logics for software arcchtectures over valuation monoids"
2019–2020
Μεταπτυχιακό
«Επίλυση προβλημάτων με τη μέθοδο των πεπερασμένων στοιχείων και εφαρμογή σε προβλήματα μηχανικής με την ανάπτυξη λογισμικού»
2018–2019
Μεταπτυχιακό
"Αυτόματα με βάρη σε άπειρα αλφάβητα και άπειρες λέξεις" "Weighted automata over alpabets and infinite words"
"Weighted variable automata over infinite words with discounting" ("Αυτόματα μεταβλητών με βάρη και απομείωση σε άπειρες λέξεις")
2017–2018
Μεταπτυχιακό
"Context-free series with values in bimonoids" ("Αλγεβρικές σειρές με τιμές σε διμονοειδή").
2016–2017
Μεταπτυχιακό
"Application of Neuroevolution in Self-guided Intelligent Navigation: DNA an Gene Expression from Biology to Computational Science" ("Mία εφαρμογή της Νευροεξέλιξης στην Αυτοκαθοδηγούμενη Πλοήγηση: Το DNA kai h Γονιδιακή Έκφραση από τη Βιολογία στην Επιστήμη Υπολογιστών")
"Ελαχιστοποίηση και υπερ-ελαχιστοποίηση αυτομάτων με βάρη και χωρίς βάρη"
"Weighted configuration logic" ("Ποσοτική λογική διαμόρφωσης αλληλεπιδράσεων")
2015–2016
Μεταπτυχιακό
"Συμβολή των L-συστημάτων στην αλγοριθμική περιγραφή και μοντελοποίηση πολύπλοκων οργανικών δομών"
"Συμβολικά αυτόματα και εφαρμογές"
"Υπολογιστική ανάλυση της γονιδιακής σύνθεσης στα πρωτόζωα"
"Παραγωγή αναγνωρίσιμων γλωσσών με μοντέλα ανασυνδυασμού αλυσίδων του DNA"
2014–2015
Μεταπτυχιακό
"Αυτόματα και μοναδιακή λογική δεύτερης τάξης με βάρη σε άπειρες λέξεις"
"ΤΟ ΘΕΩΡΗΜΑ CHROMSKY-SCHUTZENBERGER ΓΙΑ ΑΛΓΕΒΡΙΚΕΣ ΓΡΑΜΜΙΚΕΣ ΓΡΑΜΜΑΤΙΚΕΣ ΜΕ ΒΑΡΗ"
"Αλγόριθμοι μετασχηματισμού τύπων της LTL σε Bϋchi αυτόματα"
"Αλγεβρική επεξεργασία εικόνων"
"ΜΕΛΕΤΗ ΜΑΘΗΜΑΤΙΚΩΝ ΜΟΝΤΕΛΩΝ ΓΙΑ ΤΗΝ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΤΗΣ ΑΞΙΟΠΙΣΤΙΑΣ ΣΥΣΤΗΜΑΤΩΝ"
2013–2014
Μεταπτυχιακό
"Molecular languages: From WK-recognizability to MSO-definability.(Μοριακές γλώσσες: Aπό την WK-αναγνωρισιμότητα στην MSO-ορισιμότητα)".
«Weighted variable automata over infinite alphabets (Αυτόματα μεταβλητών με βάρη σε άπειρα αλφάβητα)»
"Αυτόματα και μοναδιακή λογική δεύτερης τάξης με βάρη σε πεπερασμένες λέξεις"
"Γραμμική και μη-γραμμική λογική: Σύγκριση και πρακτικές εφαρμογής"
"Στοχαστικές γραμματικές και εφαρμογές τους στην επεξεργασία εικόνων"
Διδακτορικό
Weighted computability with discounting
2012–2013
Μεταπτυχιακό
"Automata on infinite words and games (Αυτόματα σε άπειρες λέξεις και παίγνια"
2011–2012
Μεταπτυχιακό
ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΣΕ ΑΠΕΙΡΑ ΒΑΘΜΩΤΑ ΑΛΦΑΒΗΤΑ (TREE AUTOMATA OVER INFINITE RANKED ALPHABETS).
ΜΟΝΑΔΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗΣ ΤΑΞΗΣ ΚΑΙ ΙΣΟΔΥΝΑΜΟΙ ΧΑΡΑΚΤΗΡΙΣΜΟΙ ΤΗΣ
ΠΡΟΣΕΓΓΙΣΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΚΑΤΑΣΑΚΕΥΗ ΤΟΥ ΠΡΟΣΔΙΟΡΙΣΤΙΚΟΥ ΜΟΝΤΕΛΟΥ ΕΝΟΣ ΜΗ-ΠΡΟΣΔΙΟΡΙΣΤΟΥ ΑΥΤΟΜΑΤΟΥ ΜΕ ΒΑΡΗ (APPROXIMATION METHODS FOR THE CONSTRUCTION OF THE DETERMINISTIC MODEL OF A NON-DETERMINISTIC WEIGΗTED AUTOMATON).
2010–2011
Μεταπτυχιακό
Ω-ΑΝΑΓΝΩΡΙΣΙΜΟΤΗΤΑ ΛΕΞΕΩΝ
TURING ΜΗΧΑΝΕΣ ΚΑΙ ΥΠΕΡΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ
2009–2010
Μεταπτυχιακό
ΑΥΤΟΜΑΤΑ ΣΕ ΑΠΕΙΡΕΣ ΛΕΞΕΙΣ ΛΕΞΕΙΣ ΚΑΙ ΑΠΕΙΡΑ ΔΕΝΔΡΑ
2008–2009
Μεταπτυχιακό
DNA ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ
ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΜΕ ΜΕΜΒΡΑΝΕΣ (MEMBRANE COMPUTING)
ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΜΕ ΒΑΡΗ ΚΑΙ DISCOUNTING-WEIGHTED TREE AUTOMATA WITH DISCOUNTING
ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΜΕ ΒΑΡΗ
ΜΕΤΑΓΩΓΕΙΣ ΔΕΝΔΡΩΝ ΜΕ ΜΑΚΡΟΕΝΤΟΛΕΣ
ΑΥΤΟΜΑΤΑ ΜΕ ΒΑΡΗ ΚΑΙ ΨΗΦΙΑΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΕΙΚΟΝΑΣ
2005–2006
Μεταπτυχιακό
Μεταγωγές Δέντρων
Άγνωστη
Μεταπτυχιακό
Linear dynamic logic over De Morgan algebras
“Αυτόματα με Βάρη και Αλγόριθμοι Μηχανικής Μάθησης”.
Διοικητικό Έργο
Τμήματος
#
Από
Έως
Θέση Όργανο / Επιτροπή
2
2013
2012
Head, Επόπτης γυάλινου κτιρίου ΦΜΣ
1
2008
2013
Head, Επιτροπή Οδηγού Σπουδών
Ερευνητικά Έργα
Συμμετοχή
2025–2027
Γραφείο Πρακτικής Άσκησης Αριστοτελείου Πανεπιστημίου Θεσσαλονίκης
2003–2008
Αναμόρφωση Προπτυχιακού Προγράμματος Σπουδών Τμήματος Μαθηματικών
2002–2016
Μεταπτυχιακές Σπουδές Τμήματος Μαθηματικών
2000–2003
Απρόσβλητοι Η/Υ
1999–2000
Κύριλλος και Μεθόδιος 2000
1999–1999
Οργάνωση μαθητικού διαγωνισμού στο Internet σε επίπεδο Μακεδονίας-Θράκης. ΚΥΡΙΛΛΟΣ ΚΑΙ ΜΕΘΟΔΙΟΣ
Συντονισμός
2021–2021
Συνέδριο: "Πρόσφατες εξελίξεις των ποσοτικών μοντέλων στην επιστήμη των υπολογιστών"
2019–2021
Οικογένειες αρχιτεκτονικού λογισμικού με ποσοτικά χαρακτηριστικά-«2η Προκήρυξη Υποτροφιών ΕΛ.ΙΔ.Ε.Κ. για Υποψήφιους Διδάκτορες» - Δικαιούχος: ΠΑΥΛΙΝΑ ΠΑΡΑΠΟΝΙΑΡΗ Αριθμός Αίτησης: 1200
2017–2020
Ποσοτική μοντελοποίηση και επαλήθευση παραμετρικών συστημάτων από πλαίσι συμπεριφοράς - αλληλεπίδρασης προτεραιότητας
2011–2012
Συνέδριο στις Αλγεβρικές θεμελιώσεις της πληροφορικής
2009–2009
Συνέδριο:"3ο Διεθνές Συνέδριο Αλγεβρικής Πληροφορικής"
2009–2009
Συνέδριο ποσοτικής Λογικής
Δημοσιεύσεις
(2019)
Άρθρο σε Περιοδικό
Droste M.
,
Kutsia T.
,
Rahonis George
,
Schreiner W.
.
(2019)
.
McCarthy-Kleene fuzzy automata and MSO logics
.
Information and Computation
Rahonis George
,
Torpari Faidra
.
(2019)
.
Weighted Context-Free Grammars Over Bimonoids
.
Scientific Annals of Computer Science
.
τόμ.29 αρ.1 σ.59-80
(2017)
Άρθρο σε Περιοδικό
Pittou Maria
,
Rahonis George
.
(2017)
.
Weighted recognizability over infinite alphabets
.
Acta Cybernetica
.
τόμ.23 αρ.1 σ.283-317
Άρθρο σε Πρακτικά Συνεδρίου
Droste M.
,
Kutsia T.
,
Rahonis George
,
Schreiner W.
.
(2017)
.
MK-fuzzy automata and MSO logics
.
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification
.
8th International Symposium on Games, Automata, Logics, and Formal Verification 2017
.
Rome - Italy
.
Electronic Proceedings in Theoretical Computer Science
.
τόμ.256 σ.106-120
Paraponiari P.
,
Rahonis George
.
(2017)
.
On weighted configuration logics
.
Formal Aspects of Component Software
.
14th International Conference on Formal Aspects of Component Software 2017
.
Braga - Portugal
.
LNCS, Springer
.
τόμ.10487 σ.98-116
(2016)
Άρθρο σε Πρακτικά Συνεδρίου
Droste M.
,
Rahonis George
.
(2016)
.
Weighted linear dynamic logic
.
Electronic Proceedings in Theoretical Computer Science
.
7th International Symposium on Games, Automata, Logics, and Formal Verification 2016
.
Catania - Italy
.
τόμ.226 σ.149-163
(2015)
Άρθρο σε Περιοδικό
Mandrali E.
,
Rahonis George
.
(2015)
.
Weighted first-order logics over semirings
.
Acta Cybernetica
.
τόμ.22 σ.435-483
(2014)
Άρθρο σε Περιοδικό
Mandrali Eleni
,
Rahonis George
.
(2014)
.
On weighted first-order logics with discounting
.
Acta Informatica
.
τόμ.51 σ.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
.
τόμ.8587 σ.304-317
Pittou Maria
,
Rahonis George
.
(2014)
.
Weighted variable automata over infinite alphabets
.
Implementation and application of Automata
.
19th International Conference, CIAA 2014
.
Giessen - Germany
.
τόμ.8587 αρ.304-317
(2013)
Άρθρο σε Πρακτικά Συνεδρίου
Bozapalidis Symeon
,
Rahonis George
.
(2013)
.
Stochastic equationality
.
LNCS, Algebraic Informatics
.
5th International Conference, CAI 2013
.
Porquerolles - France
.
τόμ.8080 σ. 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
.
τόμ.8080 σ. 247-259
(2012)
Άρθρο σε Περιοδικό
Bozapalidis Symeon
,
Fülöp Z.
,
Rahonis George
.
(2012)
.
Equational weighted tree transformations
.
Acta Informatica
.
τόμ.49 σ.29-52
(2011)
Άρθρο σε Περιοδικό
Bozapalidis Symeon
,
Fülöp Z.
,
Rahonis George
.
(2011)
.
Equational tree transformations
.
Theoretical Computer Science
.
τόμ.412 αρ.29 σ.3676-3692
Επιμέλεια Συλλογικού Τόμου
Kuich W. (επιμ.)
,
Rahonis George (επιμ.)
.
(2011)
.
Algebraic Foundations in Computer Science:Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement
.
Lecture Notes in Computer Science
.
Springer
.
τόμ.7020
Άρθρο σε Πρακτικά Συνεδρίου
Fülöp Z.
,
Rahonis George
.
(2011)
.
Equational weighted tree transformations with discounting
.
LNCS, Algebraic Foundations in Computer Science
.
τόμ.7020 σ.112-145
Mens I.-E
,
Rahonis George
.
(2011)
.
Variable tree automata over infinite ranked alphabets
.
LNCS, 4th International Conference on Algebraic Informatics
.
τόμ.7020 σ.112-145
(2010)
Άρθρο σε Περιοδικό
Droste M.
,
Rahonis George
.
(2010)
.
Weighted automata and weighted logics over infinite words
.
Russian Mathematics
.
τόμ.54 σ.26-45
(2009)
Άρθρο σε Περιοδικό
Droste M.
,
Rahonis George
.
(2009)
.
Weighted automata and weighted logics with discounting
.
Theoretical Computer Science
.
τόμ.410 σ.3481-3494
Mandrali E.
,
Rahonis George
.
(2009)
.
Recognizable tree series with discounting
.
Acta Cybernetica
.
τόμ.19 σ.411-439
Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια
Rahonis George
.
(2009)
.
Fuzzy languages
.
Handbook of Weighted Automata
.
(eds) Droste, M., Kuich, W. and Vogler, H.
.
EATCS Monographs in Theoretical Computer Science, Springer
.
σ.481-518
Επιμέλεια Συλλογικού Τόμου
Bozapalidis Symeon (επιμ.)
,
Rahonis George (επιμ.)
.
(2009)
.
Algebraic Informatics : Third International Conference, CAI 2009 Thessaloniki, Greece, May 2009 Proceedings
.
Lecture Notes in Computer Science
.
Springer
.
τόμ.5725
(2008)
Άρθρο σε Περιοδικό
Droste M.
,
Kuich W.
,
Rahonis George
.
(2008)
.
Multi-valued MSO logics over words and trees
.
Fundamenta Informaticae
.
τόμ.84 σ.305-327
(2007)
Άρθρο σε Περιοδικό
Rahonis George
.
(2007)
.
Weighted Muller tree automata and weighted logics
.
Journal of Automata, Languages and Combinatorics
.
τόμ.12 αρ.4 σ.455-483
Επιμέλεια Συλλογικού Τόμου
Bozapalidis Symeon (επιμ.)
,
Rahonis George (επιμ.)
.
(2007)
.
Algebraic Informatics : Second International Conference CAI 2007 Thessaloniki, Greece, May 2007 Revised Selected and Invited Papers
.
Lecture Notes in Computer Science
.
Springer
.
τόμ.4728
Άρθρο σε Πρακτικά Συνεδρίου
Droste M.
,
Rahonis George
.
(2007)
.
Weighted automata and weighted logics with discounting
.
LNCS, Proceedings of CIAA
.
τόμ.4783 σ.73-84
(2006)
Άρθρο σε Περιοδικό
Kuich W.
,
Rahonis George
.
(2006)
.
Fuzzy regular languages over finite and infinite words
.
Fuzzy Sets and Systems
.
τόμ.157 σ.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
.
τόμ.4036 σ.49-58
(2005)
Άρθρο σε Περιοδικό
Bozapalidis Symeon
,
Rahonis George
.
(2005)
.
On the closure of recognizable tree series under tree homomorphisms
.
Journal of Automata, Languages and Combinatorics
.
τόμ.10 αρ.2-3 σ.185-202
Rahonis George
.
(2005)
.
Infinite fuzzy computations
.
Fuzzy Sets and Systems
.
τόμ.153 σ.275-288
Επιμέλεια Συλλογικού Τόμου
Bozapalidis Symeon (επιμ.)
,
Kalampakas A. (επιμ.)
,
Rahonis George (επιμ.)
.
(2005)
.
Proceedings of the Conference on Algebraic Informatics (CAI 2005)
.
Thessaloniki
(2003)
Κεφάλαιο σε Συλλογικό Τόμο ή Λήμμα σε Λεξικό/Εγκυκλοπαίδεια
Rahonis George
.
(2003)
.
DNA tree structures
.
Grammars and Automata for String Processing: From Mathematics and Computer Science to Biology, and Back
.
(eds) Martin-Vide, C. Mitrana, V.
.
London
.
Taylor and Francis
.
σ.413-422
Άρθρο σε Πρακτικά Συνεδρίου
Rahonis George
.
(2003)
.
Alphabetic pushdown tree transducers
.
LNCS, 7th International Conference Developments in Language Theory
.
τόμ.2710 σ.423-436
(2001)
Άρθρο σε Περιοδικό
Rahonis George
.
(2001)
.
Alphabetic and synchronized tree transducers
.
Theoretical Computer Science
.
τόμ.255 σ.377-399
(1999)
Άρθρο σε Περιοδικό
Rahonis George
.
(1999)
.
Splicing on trees: The iterated case
.
Journal of Universal Computer Science
.
τόμ.5 αρ.9 σ.599-609
(1998)
Άρθρο σε Περιοδικό
Bozapalidis Symeon
,
Rahonis George
.
(1998)
.
H tree schemes with finite and recognizable sets of rules
.
Romanian Journal of Information Science and Technology
.
τόμ.1 αρ.4 σ.307-318
Rahonis George
,
Salomaa K.
.
(1998)
.
On the size of stack and synchronization alphabets of tree automata
.
Fundamenta Informaticae
.
τόμ.36 σ.57-69
(1997)
Άρθρο σε Πρακτικά Συνεδρίου
Rahonis George
,
Salomaa K.
.
(1997)
.
Hierarchies of synchronized and algebraic forests
.
Proceedings of the 3rd International Conference Developments in Language Theory
.
Thessaloniki
.
σ.447-460
(1994)
Άρθρο σε Περιοδικό
Bozapalidis Symeon
,
Rahonis George
.
(1994)
.
On two families of forests
.
Acta Informatica
.
τόμ.31 αρ.3 σ.235-260
Ενημερώθηκε: 2025-06-03