https://m2.mtmt.hu/
hun
2024-03-28 18:11
Citation
29746259
APPROVED
true
0
false
2022-10-12T07:52:36.513+0000
2020-12-23T12:50:22.366+0000
2020-12-23T12:50:15.750+0000
true
10029390
Pataki
Norbert
/api/author/10029390
Author
true
10029390
2020-12-23T12:50:22.467+0000
2020-12-23T12:50:22.467+0000
true
5
true
10002
English
/api/language/10002
Angol
Language
true
2
true
true
17005867
/api/publicationidentifier/17005867
https://doi.org/10.1109%2FInformatics47936.2019.9119287
10.1109/Informatics47936.2019.9119287
PublicationIdentifier
false
true
17005866
/api/publicationidentifier/17005866
http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=9119287
9119287
PublicationIdentifier
false
true
17067314
/api/publicationidentifier/17067314
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85087617789
85087617789
PublicationIdentifier
true
/api/publication/30932379
true
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
Symbolic Execution with Finite State Automata
false
true
30932379
true
true
true
true
true
10000312
Conference paper
true
25
25
/api/publicationtype/25
PublicationType
2
true
25
BookChapter
/api/subtype/10000312
Konferenciaközlemény
SubType
228
true
10000312
true
BookChapter
2019
true
1
/api/category/1
Category
true
1
30932379
true
/api/publication/31787944
https://doi.org/10.1515%2Fcomp-2020-0120
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
false
true
false
/api/journal/10069460
REVIEWED
true
false
10069460
false
10069460
true
2299-1093
Journal
true
false
2020
1
9
true
10002
English
/api/language/10002
Angol
Language
true
2
true
true
18249327
GOLD
IDENTICAL
/api/publicationidentifier/18249327
https://doi.org/10.1515%2Fcomp-2020-0120
10.1515/comp-2020-0120
PublicationIdentifier
false
true
true
19258235
IDENTICAL
/api/publicationidentifier/19258235
https://www.webofscience.com/wos/woscc/full-record/WOS:000608696900001
000608696900001
PublicationIdentifier
true
true
18294126
/api/publicationidentifier/18294126
http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85098940199
85098940199
PublicationIdentifier
true
true
18249328
/api/publicationidentifier/18249328
https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml
https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml
PublicationIdentifier
false
true
19055215
/api/publicationidentifier/19055215
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895
PublicationIdentifier
true
true
19055240
/api/publicationidentifier/19055240
https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5
https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5
PublicationIdentifier
true
true
11
31787944
true
true
true
10000059
Article
true
24
24
/api/publicationtype/24
PublicationType
1
true
24
JournalArticle
/api/subtype/10000059
Szakcikk
SubType
101
true
10000059
true
JournalArticle
true
1
/api/category/1
Category
true
1
31787944
false
1
/api/citation/29746259
<div class="Citation short-list"> <div class="publication Publication">Forrásközlemény: [30932379] Endre Fülöp et al. Symbolic Execution with Finite State Automata. (2019) Megjelent: 2019 IEEE 15th International Scientific Conference on Informatics, Informatics 2019, Proceedings pp. 116-120 </div> <div class="related Publication" style="margin-top: 6px; margin-left: 20px">Idéző: <div class="JournalArticle Publication short-list"> <div class="authors"> <span class="author-name" mtid="10074967"> <a href="/gui2/?type=authors&mode=browse&sel=10074967" target="_blank">Fülöp, Endre</a> </span> <span class="author-type"> </span> ; <span class="author-name" mtid="10029390"> <a href="/gui2/?type=authors&mode=browse&sel=10029390" target="_blank">Pataki, Norbert</a> </span> <span class="author-type"> </span> </div ><div class="title"><a href="/gui2/?mode=browse¶ms=publication;31787944" mtid="31787944" target="_blank">A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution</a></div> <div class="pub-info"> <span class="journal-title">OPEN COMPUTER SCIENCE</span> <span class="journal-volume">11</span> : <span class="journal-issue">1</span> <span class="page"> pp. 107-115. , 9 p. </span> <span class="year">(2020)</span> </div> <div class="pub-end"><div class="identifier-list"> <span class="identifiers"> <span class="id identifier oa_GOLD" title=" Gold "> <a style="color:blue" title="10.1515/comp-2020-0120" target="_blank" href="https://doi.org/10.1515%2Fcomp-2020-0120"> DOI </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:blue" title="000608696900001" target="_blank" href="https://www.webofscience.com/wos/woscc/full-record/WOS:000608696900001"> WoS </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="85098940199" target="_blank" href="http://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85098940199"> Scopus </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml" target="_blank" href="https://www.degruyter.com/view/journals/comp/11/1/article-p107.xml"> Egyéb URL </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895" target="_blank" href="https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202102287147849895"> Egyéb URL </a> </span> <span class="id identifier oa_none" title="none"> <a style="color:black" title="https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5" target="_blank" href="https://www.semanticscholar.org/paper/A-DSL-for-Resource-Checking-Using-Finite-State-F%C3%BCl%C3%B6p-Pataki/6f6ec4a61dcc6e4812fbcaa30d8aae2cf83a13c5"> Egyéb URL </a> </span> </span> </div> <div class="short-pub-prop-list"> <span class="short-pub-mtid"> Közlemény:31787944 </span> <span class="status-holder"><span class="status-data status-VALIDATED"> Egyeztetett </span></span> <span class="pub-core">Forrás Idéző </span> <span class="pub-type">Folyóiratcikk (Szakcikk ) </span> <!-- && !record.category.scientific --> <span class="pub-category">Tudományos</span> </div> </div> </div> </div> <div class="citation" style="margin-top: 6px; margin-left: 20px"><i>Kapcsolat: [29746259] <span class="status-data status-APPROVED"> Nyilvános </span> | <span class="externalCitation-data externalCitation-false"> Függő </span> | Magyarországi szerző: Nem vizsgált | Külföldi kiadás: Igen | Említések száma: 1 </i></div> <ol> </ol> </div>