Įkeliama...
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Šaltinių per metus
Dubliuoti šaltiniai
Toliau nurodyti straipsniai sujungti Mokslinčiuje. Jų
suderinti šaltiniai
skaičiuojami tik pirmajam straipsniui.
Sujungti šaltiniai
Į grafą „Cituota“ įeina šaltiniai į toliau nurodytus straipsnius Mokslinčiuje. Pažymėti
*
gali skirtis nuo straipsnių profilyje.
Pridėti bendraautorius
Bendraautoriai
Stebėti
Nauji šio autoriaus straipsniai
Nauji šio autoriaus šaltiniai
Nauji su šio autoriaus tyrimu susiję straipsniai
El. pašto adresas atnaujinimams
Baigta
Mano profilis
Mano biblioteka
Metrika
Įspėjimai
Nustatymai
Registruotis
Registruotis
Gauti savo profilį
Cituota
Peržiūrėti viską
Visi
Nuo 2019
Šaltiniai
118
55
h-rodyklė
3
3
i10-rodyklė
3
3
0
14
7
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
4
4
14
12
12
5
8
8
9
6
13
14
5
Viešas pasiekiamumas
Peržiūrėti viską
Peržiūrėti viską
1 straipsnis
0 straipsnių
pasiekiami
nepasiekiami
Pagal finansavimo įpareigojimus
Bendraautoriai
Panagiotis Katsaros
Associate Professor of Computer Science, Aristotle University of Thessaloniki, Greece
Patvirtintas el. paštas csd.auth.gr
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Patvirtintas el. paštas cs.sunysb.edu
Borzoo Bonakdarpour
Associate Professor of Computer Science, Michigan State University
Patvirtintas el. paštas msu.edu
Stebėti
George Chatzieleftheriou
PhD, Dept. of Informatics,
Aristotle University of Thessaloniki
Patvirtintas el. paštas csd.auth.gr
Formal Methods
Model Checking
Straipsniai
Cituota
Viešas pasiekiamumas
Bendraautoriai
Pavadinimas
Rūšiuoti
Rūšiuoti pagal šaltinius
Rūšiuoti pagal metus
Rūšiuoti pagal pavadinimą
Cituota
Cituota
Metai
Test-driving static analysis tools in search of C code vulnerabilities
G Chatzieleftheriou, P Katsaros
2011 IEEE 35th annual computer software and applications conference …
, 2011
57
2011
Abstract model repair
G Chatzieleftheriou, B Bonakdarpour, P Katsaros, SA Smolka
Logical Methods in Computer Science 11
, 2015
50
2015
Abstract model repair for probabilistic systems
G Chatzieleftheriou, P Katsaros
Information and Computation 259, 142-160
, 2018
11
2018
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–3
Rodyti daugiau
Privatumas
Sąlygos
Pagalba
Apie Mokslinčių
Paieškos pagalba