Į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
432
161
h-rodyklė
2
2
i10-rodyklė
2
2
0
60
30
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2
10
40
43
57
44
38
34
32
30
37
27
27
8
Stebėti
Sergey Grebenshchikov
Technische Universität München
Patvirtintas el. paštas in.tum.de
Formal Methods
Software Verification
Automated Software Testing
Straipsniai
Cituota
Pavadinimas
Rūšiuoti
Rūšiuoti pagal šaltinius
Rūšiuoti pagal metus
Rūšiuoti pagal pavadinimą
Cituota
Cituota
Metai
Synthesizing software verifiers from proof rules
S Grebenshchikov, NP Lopes, C Popeea, A Rybalchenko
ACM SIGPLAN Notices 47 (6), 405-416
, 2012
341
2012
HSF (C): A Software Verifier Based on Horn Clauses: (Competition Contribution)
S Grebenshchikov, A Gupta, NP Lopes, C Popeea, A Rybalchenko
Tools and Algorithms for the Construction and Analysis of Systems: 18th …
, 2012
91
2012
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–2
Rodyti daugiau
Privatumas
Sąlygos
Pagalba
Apie Mokslinčių
Paieškos pagalba