mtmt
Magyar Tudományos Művek Tára
Előző oldal
Összesen 97 elem 10 oldalon, 10 listázva, a(z) 1. oldal megjelenítve.
Következő oldal
Átlépés a keresőbe
In English
Megjelenítési opciók
Nyelv információ
Absztrakt
Típus információ
Megjegyzés
Státusz információ
Linkek
Csak független idézők
Idézők
Nincs
Szám
Rövid
Részletes
Teljes
Rendezés
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
-
Megjelenés éve
Első szerző
Cím
Első oldal v. cikkazonosító
Létrehozás dátuma
Nyilvános idézők összesen
Nyilvános idéző+említés összesen
Státusz
Típus
Besorolás
Jelleg
OA típus
MTMT azonosító
Folyóirat
Nyelv
▼
▲
Találatok
10
20
50
100
1000
5000
Mód váltás:
XML
JSON
Lista exportálása:
Irodalomjegyzékként
RIS
BIBTEX
1.
Cziborová, Dóra
;
Szabó, Richárd
Modeling of Time-Dependent Behavior in Fault-Tolerant Systems
In:
Proceedings of the 31th Minisymposium
Budapest, Magyarország :
Budapest University of Technology and Economics
(2024)
pp. 55-60. , 6 p.
DOI
Egyéb URL
Közlemény:34872818
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34872818]
[Nyilvános]
2.
Marussy, Kristóf
;
Ficsor, Attila
;
Semeráth, Oszkár
;
Varró, Dániel
Refinery: Graph Solver as a Service
In:
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings
New York, Amerikai Egyesült Államok :
Association for Computing Machinery (ACM)
(2024)
pp. 64-68. , 5 p.
DOI
Egyéb URL
Közlemény:34872599
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34872599]
[Nyilvános]
3.
Mondok, Milán
;
Molnár, Vince
Efficient Manipulation of Logical Formulas as Decision Diagrams
In:
Proceedings of the 31th Minisymposium
Budapest, Magyarország :
Budapest University of Technology and Economics
(2024)
pp. 61-65. , 5 p.
Közlemény:34869419
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34869419]
[Nyilvános]
4.
Péter, Bertalan Zoltán
;
Kocsis, Imre
Landmark Estimation for Qualitative Diagnosis Over Distributed Traces
In:
Proceedings of the 31th Minisymposium
Budapest, Magyarország :
Budapest University of Technology and Economics
(2024)
pp. 89-94. , 6 p.
DOI
Egyéb URL
Közlemény:34862731
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34862731]
[Nyilvános]
5.
Ádám, Zsófia
;
Beyer, Dirk ✉
;
Chien, Po-Chun
;
Lee, Nian-Ze
;
Sirrenberg, Nils
Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers
LECTURE NOTES IN COMPUTER SCIENCE
14572
pp. 129-149. , 21 p.
(2024)
DOI
Scopus
Közlemény:34860908
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[34860908]
[Nyilvános]
6.
Bajczi, Levente
;
Molnár, Vince
Solving Constrained Horn Clauses as C Programs with CHC2C
LECTURE NOTES IN COMPUTER SCIENCE
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg, Luxembourg, April 10-11, 2024, Proceedings
(2024)
Közlemény:34853031
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[34853031]
[Nyilvános]
7.
Al-Gburi, Noor
;
Kocsis, Imre
Towards the Requirement-Driven Generation and Evaluation of Hyperledger Fabric Network Designs
In:
Proceedings of the 31th Minisymposium
Budapest, Magyarország :
Budapest University of Technology and Economics
(2024)
pp. 72-77. , 6 p.
DOI
Egyéb URL
Közlemény:34849521
Nyilvános
Forrás
Könyvrészlet (Konferenciaközlemény )
Tudományos
Konferenciaközlemény (Könyvrészlet) | Tudományos
[34849521]
[Nyilvános]
8.
Bajczi, Levente ✉
;
Ádám, Zsófia
;
Micskei, Zoltán
ConcurrentWitness2Test: Test-Harnessing the Power of Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE
14572
pp. 330-334. Paper: Chapter 16 , 5 p.
(2024)
DOI
Scopus
Egyéb URL
Közlemény:34768972
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[34768972]
[Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
9.
Bajczi, Levente ✉
;
Telbisz, Csanád
;
Somorjai, Márk
;
Ádám, Zsófia
;
Dobos-Kovács, Mihály
;
Szekeres, Dániel
;
Mondok, Milán
;
Molnár, Vince
Theta: Abstraction Based Techniques for Verifying Concurrency (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE
14572
pp. 412-417. Paper: Chapter 30 , 6 p.
(2024)
DOI
Scopus
Egyéb URL
Közlemény:34768428
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[34768428]
[Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
10.
Bajczi, Levente ✉
;
Szekeres, Dániel
;
Mondok, Milán
;
Ádám, Zsófia
;
Somorjai, Márk
;
Telbisz, Csanád
;
Dobos-Kovács, Mihály
;
Molnár, Vince
EmergenTheta: Verification Beyond Abstraction Refinement (Competition Contribution)
LECTURE NOTES IN COMPUTER SCIENCE
14572
pp. 371-375. Paper: Chapter 23 , 5 p.
(2024)
DOI
Scopus
Egyéb URL
Közlemény:34768422
Nyilvános
Forrás
Folyóiratcikk (Konferenciaközlemény )
Tudományos
Nyilvános idéző összesen: 1
| Független: 1 | Függő: 0 | Nem jelölt: 0 | DOI jelölt: 1
Konferenciaközlemény (Folyóiratcikk) | Tudományos
[34768422]
[Nyilvános]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 0
2024-05-28 11:50
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás