Παράκαμψη προς το κυρίως περιεχόμενο
Μονάδα Διασφάλισης Ποιότητας
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης
Είσοδος
Αρχή
Το ΑΠΘ
Πολιτική Ποιότητας
Πιστοποίηση
Διασφάλιση Ποιότητας
Σύστημα Διαχείρισης Ποιότητας
Είστε εδώ
Αρχή
»
Αναφορά Βιογραφικών
Βιογραφικό Σημείωμα
Ανάπτυξη
|
Σύμπτυξη
Γεώργιος Ραχώνης
Καθηγητής, Τμήμα Μαθηματικών
Προσωπικά Στοιχεία
2310998330
grahonis@math.auth.gr
http://users.auth.gr/grahonis/
Scopus ID
8395569500
MathSciNet ID
350772
Επιστημονική Ειδίκευση
:
Theoretical Computer Science
Εκπαίδευση
Προπτυχιακές Σπουδές
1987
Πτυχίο
Μαθηματικών / Θετικών Επιστημών
Α.Π.Θ.
Ελλάδα
Διδακτορικό Δίπλωμα
1993
ΔΔ
Μαθηματικών / Θετικών Επιστημών
Α.Π.Θ.
Ελλάδα
Διδακτικό Έργο
Μαθήματα Χειμερινού εξαμήνου ακαδημαϊκού έτους 2020–21
ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
0430Α
ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ Η/Υ (F ή C)
ΜΕΤΑΠΤΥΧΙΑΚΟ ΤΜΗΜΑΤΟΣ ΜΑΘΗΜΑΤΙΚΩΝ
0838
ΘΕΩΡΙΑ ΤΥΠΙΚΩΝ ΓΛΩΣΣΩΝ
Μαθήματα Εαρινού εξαμήνου ακαδημαϊκού έτους 2020–21
ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ
0401
ΘΕΩΡΗΤΙΚΗ ΠΛΗΡΟΦΟΡΙΚΗ I
0430
ΕΙΣΑΓΩΓΗ ΣΤΟΝ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟ Η/Υ (F 'Η C) Δεν υπολογίζεται στο βαθμό του πτυχίου
Επίβλεψη Εργασιών
Εργασίες Φοιτητών εντός ΑΠΘ
Σε εξέλιξη
Διδακτορικό
Ραλλη Δημητρα. "Υπολογιστική μοντελοποίηση της ανάπτυξης του καρκίνου και αυτοάνοσων νοσημάτων"
Πιττου Μαρια. "Ποσοτική Μοντελοποίηση και επαλήθευση παραμετρικών συστημάτων στο πλαίσιο συμπεριφοράς αλληλεπίδρασης-προτεραιότητας", "Quantitative modeling and verification of parameterized systems in the pehavior-intraction priority (BIP) flamework"
Παραπονιαρη Παυλινα. "οικογένειες αρχιτεκτονικού λογισμικού με ποσοτικά χαρακτηριστικά", "Quantitative architecture styles"
Μεταπτυχιακό
Κουτσογούλας Γεώργιος. «Αυτόματα με βάρη στον max-plus ημιδακτύλιο»
Ρασκοπούλου Βασιλική. «Αρχιτεκτονικές με βάρη σε de Morgan άλγεβρες»
Φουντουκίδου Χριστίνα Χρυσοβαλάντη. «Algebraic properties of connectors in weighted architectures» (Αλγεβρικές ιδιότητες των συνδέσμων σε αρχιτεκτονικές με βάρη).
2020–2021
Μεταπτυχιακό
Καρυωτη Βαγια. "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
Μεταπτυχιακό
Γιδαρη Λαμπρινη. "Παραγωγή αναγνωρίσιμων γλωσσών με μοντέλα ανασυνδυασμού αλυσίδων του DNA"
Δημητριου Πηνελοπη. "Συμβολή των L-συστημάτων στην αλγοριθμική περιγραφή και μοντελοποίηση πολύπλοκων οργανικών δομών"
Γκρανα Μαρια. "Υπολογιστική ανάλυση της γονιδιακής σύνθεσης στα πρωτόζωα"
Σεραφειμ Δεσποινα. "Συμβολικά αυτόματα και εφαρμογές"
2014–2015
Μεταπτυχιακό
Μαυριδου Χρυσανθη. "ΜΕΛΕΤΗ ΜΑΘΗΜΑΤΙΚΩΝ ΜΟΝΤΕΛΩΝ ΓΙΑ ΤΗΝ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΤΗΣ ΑΞΙΟΠΙΣΤΙΑΣ ΣΥΣΤΗΜΑΤΩΝ"
Μαραντιδης Παυλος. "ΤΟ ΘΕΩΡΗΜΑ CHROMSKY-SCHUTZENBERGER ΓΙΑ ΑΛΓΕΒΡΙΚΕΣ ΓΡΑΜΜΙΚΕΣ ΓΡΑΜΜΑΤΙΚΕΣ ΜΕ ΒΑΡΗ"
Τουπα Παναγιωτα. "Αλγεβρική επεξεργασία εικόνων"
Στεφανιδου Ευδοξια. "Αλγόριθμοι μετασχηματισμού τύπων της LTL σε Bϋchi αυτόματα"
Μιχαλακου Ελενη. "Αυτόματα και μοναδιακή λογική δεύτερης τάξης με βάρη σε άπειρες λέξεις"
2013–2014
Διδακτορικό
Μανδραλη Ελενη. Weighted computability with discounting
Μεταπτυχιακό
Γουγλιδης Αντωνιος. "Γραμμική και μη-γραμμική λογική: Σύγκριση και πρακτικές εφαρμογής"
Δερμεντζη Μαριαννα. "Molecular languages: From WK-recognizability to MSO-definability.(Μοριακές γλώσσες: Aπό την WK-αναγνωρισιμότητα στην MSO-ορισιμότητα)".
Πιττου Μαρια. «Weighted variable automata over infinite alphabets (Αυτόματα μεταβλητών με βάρη σε άπειρα αλφάβητα)»
Κατρανα Περσεφονη. "Στοχαστικές γραμματικές και εφαρμογές τους στην επεξεργασία εικόνων"
Τσοτσου Χριστινα. "Αυτόματα και μοναδιακή λογική δεύτερης τάξης με βάρη σε πεπερασμένες λέξεις"
2012–2013
Μεταπτυχιακό
Ορλης Χρηστος. "Automata on infinite words and games (Αυτόματα σε άπειρες λέξεις και παίγνια"
2011–2012
Μεταπτυχιακό
Βρεττα Ελενη-Μαρια. ΠΡΟΣΕΓΓΙΣΤΙΚΕΣ ΜΕΘΟΔΟΙ ΓΙΑ ΤΗΝ ΚΑΤΑΣΑΚΕΥΗ ΤΟΥ ΠΡΟΣΔΙΟΡΙΣΤΙΚΟΥ ΜΟΝΤΕΛΟΥ ΕΝΟΣ ΜΗ-ΠΡΟΣΔΙΟΡΙΣΤΟΥ ΑΥΤΟΜΑΤΟΥ ΜΕ ΒΑΡΗ (APPROXIMATION METHODS FOR THE CONSTRUCTION OF THE DETERMINISTIC MODEL OF A NON-DETERMINISTIC WEIGΗTED AUTOMATON).
Μενς Ειρηνη-Ελευθερια. ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΣΕ ΑΠΕΙΡΑ ΒΑΘΜΩΤΑ ΑΛΦΑΒΗΤΑ (TREE AUTOMATA OVER INFINITE RANKED ALPHABETS).
Χρηστιδης Γρηγοριος. ΜΟΝΑΔΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗΣ ΤΑΞΗΣ ΚΑΙ ΙΣΟΔΥΝΑΜΟΙ ΧΑΡΑΚΤΗΡΙΣΜΟΙ ΤΗΣ
2010–2011
Μεταπτυχιακό
Καρυδα Αννα. TURING ΜΗΧΑΝΕΣ ΚΑΙ ΥΠΕΡΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ
Ντεμηρουδη Σωτηρια. Ω-ΑΝΑΓΝΩΡΙΣΙΜΟΤΗΤΑ ΛΕΞΕΩΝ
2009–2010
Μεταπτυχιακό
Τζιτζιλη Μαρια. ΑΥΤΟΜΑΤΑ ΣΕ ΑΠΕΙΡΕΣ ΛΕΞΕΙΣ ΛΕΞΕΙΣ ΚΑΙ ΑΠΕΙΡΑ ΔΕΝΔΡΑ
2008–2009
Μεταπτυχιακό
Τουλκεριδου Ευρωπη. ΜΕΤΑΓΩΓΕΙΣ ΔΕΝΔΡΩΝ ΜΕ ΜΑΚΡΟΕΝΤΟΛΕΣ
Σιαγκα Αναστασια. DNA ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ
Μελιδης Θεοδοσιος. ΥΠΟΛΟΓΙΣΙΜΟΤΗΤΑ ΜΕ ΜΕΜΒΡΑΝΕΣ (MEMBRANE COMPUTING)
Σεριφης Γεωργιος. ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΜΕ ΒΑΡΗ
Μανδραλη Ελενη. ΑΥΤΟΜΑΤΑ ΔΕΝΔΡΩΝ ΜΕ ΒΑΡΗ ΚΑΙ DISCOUNTING-WEIGHTED TREE AUTOMATA WITH DISCOUNTING
Ιντζες Στεργιος. ΑΥΤΟΜΑΤΑ ΜΕ ΒΑΡΗ ΚΑΙ ΨΗΦΙΑΚΗ ΕΠΕΞΕΡΓΑΣΙΑ ΕΙΚΟΝΑΣ
2005–2006
Μεταπτυχιακό
Παπαποστολου Σοφια. Μεταγωγές Δέντρων
Διοικητικό Έργο
Τμήματος
#
Από
Έως
Θέση Όργανο / Επιτροπή
2
:
2013
:
2012
Head, Επόπτης γυάλινου κτιρίου ΦΜΣ
1
:
2008
:
2013
Head, Επιτροπή Οδηγού Σπουδών
Ερευνητικά Έργα
Συντονισμός
2019–2021
Οικογένειες αρχιτεκτονικού λογισμικού με ποσοτικά χαρακτηριστικά-«2η Προκήρυξη Υποτροφιών ΕΛ.ΙΔ.Ε.Κ. για Υποψήφιους Διδάκτορες» - Δικαιούχος: ΠΑΥΛΙΝΑ ΠΑΡΑΠΟΝΙΑΡΗ Αριθμός Αίτησης: 1200
2017–2020
Ποσοτική μοντελοποίηση και επαλήθευση παραμετρικών συστημάτων από πλαίσι συμπεριφοράς - αλληλεπίδρασης προτεραιότητας
2011–2012
Συνέδριο στις Αλγεβρικές θεμελιώσεις της πληροφορικής
2009–2009
Συνέδριο:"3ο Διεθνές Συνέδριο Αλγεβρικής Πληροφορικής"
2009–2009
Συνέδριο ποσοτικής Λογικής
Συμμετοχή
2003–2008
Αναμόρφωση Προπτυχιακού Προγράμματος Σπουδών Τμήματος Μαθηματικών
2002–2016
Μεταπτυχιακές Σπουδές Τμήματος Μαθηματικών
2000–2003
Απρόσβλητοι Η/Υ
1999–2000
Κύριλλος και Μεθόδιος 2000
1999–1999
Οργάνωση μαθητικού διαγωνισμού στο Internet σε επίπεδο Μακεδονίας-Θράκης. ΚΥΡΙΛΛΟΣ ΚΑΙ ΜΕΘΟΔΙΟΣ
Δημοσιεύσεις
(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
.
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
.
Braga - Portugal
.
LNCS, Springer
.
τόμ.10487 σ.98-116
.
(2016)
Άρθρο σε Πρακτικά Συνεδρίου
Droste M
,
Rahonis George
(2016)
.
Weighted linear dynamic logic
.
Electronic Proceedings in Theoretical Computer Science
.
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
.
Επιμέλεια: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
.
Giessen - Germany
.
τόμ.8587 αρ.304-317
.
(2013)
Άρθρο σε Πρακτικά Συνεδρίου
Bozapalidis Symeon
,
Rahonis George
(2013)
.
Stochastic equationality
.
LNCS, Algebraic Informatics
.
Porquerolles - France
.
τόμ.8080 σ. 173-185
.
Mandrali Eleni
,
Rahonis George
(2013)
.
Characterizations of weighted first-order logics over semirings
.
LNCS, Algebraic Informatics
.
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
.
Ενημερώθηκε: 2021-02-13