전남대학교 중앙도서관

링크메뉴

주메뉴

- 게시판
- 전시마당

- 게시판
- 전시마당

- 대출반납서비스
- 도서신청서비스
- 시설이용서비스
- 장애학생 지원서비스
- 타기관이용서비스
- 무인예약대출 서비스
- 학위논문파일 제출
- 개인정보관리
- 원문복사 신청/조회
- 상호대차 신청/조회
- 게시판
- 전시마당

도서관안내
시설안내
정보마루안내
4F
전자자료 상세검색

전자자료 상세검색

통합검색
소장자료
전자자료

통합검색

결과내 검색

검색어 [키워드: "Lengál, Ondřej"]

총 106건

※ 중복 레코드가 제거된 검색 결과가 표시됩니다.

1/11 페이지

검색결과수정

검색범위확장
- Full Text내 키워드 확장
- 관련 주제어 확장
재검색
검색결과제한
- 원문(Full Text)
- Peer-Reviewed 학술지
- 발행년 -
재검색
자료유형
- eBooks (31)
- Academic Journals (26)
- Reports (25)
자료유형

Count Name
- eBooks (31)
- Academic Journals (26)
- Reports (25)
- Conference Materials (14)
- Reviews (13)
- Books (10)
닫기
주제
- computer science - logic in computer science (22)
- computer science - formal languages and automata theory (20)
- machine theory (7)
주제

Count Name
- computer science - logic in computer science (22)
- computer science - formal languages and automata theory (20)
- machine theory (7)
- tree automaton (7)
- decision procedure (6)
- tree automata (6)
- finite automata (5)
- separation logic (5)
- deep packet inspection (4)
- reduction (4)
- finite state machines (3)
- generalization (3)
- monadic second-order logic (3)
- nondeterministic finite automata (3)
- program analysis (3)
- symbolic execution (3)
- algorithms (2)
- automata (2)
- binary number system (2)
- computer science - distributed, parallel, and cluster computing (2)
- computer science - networking and internet architecture (2)
- computer software correctness (2)
- decision making (2)
- inclusion (2)
- logic (2)
- magnitude (mathematics) (2)
- manipulation checks (research) (2)
- probabilistic databases (2)
- robots (2)
- satisfiability modulo theories (2)
- signs & symbols (2)
- verification (2)
- abstract domain (1)
- abstraction (1)
- abstraction refinement (1)
- acceleration ratio (1)
- alphabet symbol (1)
- analysis tool (1)
- antichains (1)
- approximate reduction (1)
- architecture (1)
- atomic formula (1)
- atomic proposition (1)
- automaton state (1)
- binary decision diagram (1)
- boolean algebra (1)
- boolean formula (1)
- boolean function (1)
- chaotic function (1)
- complex data structure (1)
닫기
Lexile Range
- 1101-1300 (1)
- 1301-1500+ (1)
간행물
- acta informatica (10)
- international journal on software tools for technology transfer (4)
- journal of automated reasoning (4)
간행물

Count Name
- acta informatica (10)
- international journal on software tools for technology transfer (4)
- journal of automated reasoning (4)
- formal methods in system design (2)
- proceedings of the 38th international conference on software engineering (2)
- programming languages and systems : 17th asian symposium, aplas 2019, nusa dua, bali, indonesia, december 1-4, 2019, proceedings (2)
- tools & algorithms for the construction & analysis of systems 21st international conference, tacas 2015, held as part of the european joint conferences on theory & practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (2)
- tools and algorithms for the construction and analysis of systems : 21st international conference, tacas 2015, held as part of the european joint conferences on theory and practice of software, etaps 2015, london, uk, april 11-18, 2015, proceedings (2)
- tools and algorithms for the construction and analysis of systems : 23rd international conference, tacas 2017, held as part of the european joint conferences on theory and practice of software, etaps 2017, uppsala, sweden, april 22-29, 2017, proceedings, part i (2)
- 2017 32nd annual acm/ieee symposium on logic in computer science (lics) (1)
- 32nd international conference on concurrency theory (1)
- acm / sigplan notices (1)
- automated deduction - cade 27 : 27th international conference on automated deduction, natal, brazil, august 27-30, 2019, proceedings (1)
- automated deduction---cade 27 (1)
- automated technology for verification & analysis (9783319024431) (1)
- automated technology for verification and analysis : 11th international symposium, atva 2013, hanoi, vietnam, october 15-18, 2013. proceedings (1)
- automated technology for verification and analysis : 16th international symposium, atva 2018, los angeles, ca, usa, october 7-10, 2018, proceedings (1)
- automated technology for verification and analysis : 9th international symposium, atva 2011, taipei, taiwan, october 11-14, 2011. proceedings (1)
- computer aided verification (1)
- computer aided verification (9783642397981) (1)
- computer aided verification : 25th international conference, cav 2013, saint petersburg, russia, july 13-19, 2013. proceedings (1)
- computer aided verification : 34th international conference, cav 2022, haifa, israel, august 7-10, 2022, proceedings, part ii (1)
- computer aided verification : 35th international conference, cav 2023, paris, france, july 17-22, 2023, proceedings, part iii (1)
- computer aided verification. part ii (1)
- computer aided verification. part iii (1)
- formal methods (1)
- formal methods : 25th international symposium, fm 2023, lubeck, germany, march 6-10, 2023, proceedings (1)
- formal methods in system design: an international journal (1)
- hardware & software: verification & testing (9783642341878) (1)
- hardware & software: verification & testing (9783642396106) (1)
- hardware and software: verification and testing : 7th international haifa verification conference, hvc 2011, haifa, israel, december 6-8, 2011, revised selected papers (1)
- hardware and software: verification and testing : 8th international haifa verification conference, hvc 2012, haifa, israel, november 6-8, 2012. revised selected papers (1)
- journal of systems & software (1)
- journal of systems and software (1)
- lpar-23. 23rd international conference on logic for programming, artificial intelligence and reasoning (1)
- nasa formal methods : 9th international symposium, nfm 2017, moffett field, ca, usa, may 16-18, 2017, proceedings (1)
- networked systems (1)
- networked systems : 5th international conference, netys 2017, marrakech, morocco, may 17-19, 2017, proceedings (1)
- networked systems : 9th international conference, netys 2021, virtual event, may 19-21, 2021, proceedings (1)
- proceedings of the 32nd annual acm/ieee symposium on logic in computer science (1)
- proceedings of the 39th acm sigplan conference on programming language design and implementation (1)
- proceedings of the acm on programming languages (1)
- programming languages & systems: 12th asian symposium, aplas 2014, singapore, singapore, november 17-19, 2014, proceedings (1)
- programming languages and systems : 12th asian symposium, aplas 2014, singapore, singapore, november 17-19, 2014, proceedings (1)
- programming languages and systems : 18th asian symposium, aplas 2020, fukuoka, japan, november 30 - december 2, 2020, proceedings (1)
- the journal of systems & software (1)
- tools & algorithms for the construction & analysis of systems (9783642287558) (1)
- tools & algorithms for the construction & analysis of systems (9783662496732) (1)
- tools and algorithms for the construction and analysis of systems : 18th international conference, tacas 2012, held as part of the european joint conferences on theory and practice of software, etaps 2012, tallinn, estonia, march 24 - april 1, 2012. proceedings (1)
- tools and algorithms for the construction and analysis of systems : 22nd international conference, tacas 2016, held as part of the european joint conferences on theory and practice of software, etaps 2016, eindhoven, the netherlands, april 2-8, 2016, proceedings (1)
닫기
출판사
- springer nature (18)
- springer international publishing (16)
- springer berlin heidelberg (14)
출판사

Count Name
- springer nature (18)
- springer international publishing (16)
- springer berlin heidelberg (14)
- springer, cham (6)
- springer (4)
- springer nature switzerland (4)
- association for computing machinery (2)
- acm (1)
- easychair, manchester (1)
- elsevier b.v. (1)
- elsevier inc. (1)
- elsevier science inc (1)
- ieee, [piscataway], nj (1)
- schloss dagstuhl. leibniz-zent. inform., wadern (1)
- springer heidelberg (1)
- springer netherlands (1)
- springer us (1)
- springer, heidelberg (1)
닫기
언어
- english (54)
Publication Year
- 2016 (1)
- 2019 (1)
- 2020 (1)
Publication Year

Count Name
- 2016 (1)
- 2019 (1)
- 2020 (1)
- 2023 (1)
닫기
수록데이터베이스
- Springer Nature eBooks (31)
- arXiv (25)
- Complementary Index (17)
수록데이터베이스

Count Name
- Springer Nature eBooks (31)
- arXiv (25)
- Complementary Index (17)
- MathSciNet via EBSCOhost (13)
- Science Citation Index Expanded (6)
- Springer Nature Journals (5)
- ACM Full-Text Collection (4)
- Academic Search Complete (3)
- Business Source Complete (1)
- ScienceDirect (1)
닫기

PQDT
CAJ
RISS
PsycINFO

전체선택

Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic

보고서

Author: Habermehl, Peter
Hečko, Michal
Havlena, Vojtěch
Holík, Lukáš
Lengál, Ondřej
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Mata, a Fast and Simple Finite Automata Library (Technical Report)

보고서

Author: Chocholatý, David
Fiedor, Tomáš
Havlena, Vojtěch
Holík, Lukáš
Hruška, Martin
Lengál, Ondřej
Síč, Juraj
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Z3-Noodler: An Automata-based String Solver (Technical Report)

보고서

Author: Chen, Yu-Fang
Chocholatý, David
Havlena, Vojtěch
Holík, Lukáš
Lengál, Ondřej
Síč, Juraj
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)

보고서

Author: Chen, Yu-Fang
Havlena, Vojtěch
Lengál, Ondřej
Turrini, Andrea
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

An Automata-based Framework for Verification and Bug Hunting in Quantum Circuits (Technical Report)

보고서

Author: Chen, Yu-Fang
Chung, Kai-Min
Lengál, Ondřej
Lin, Jyun-Ao
Tsai, Wei-Lun
Yen, Di-De
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Modular Mix-and-Match Complementation of B\'{u}chi Automata (Technical Report)

보고서

Author: Havlena, Vojtěch
Lengál, Ondřej
Li, Yong
Šmahlíková, Barbora
Turrini, Andrea
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Word Equations in Synergy with Regular Constraints (Technical Report)

보고서

Author: Blahoudek, František
Chen, Yu-Fang
Chocholatý, David
Havlena, Vojtěch
Holík, Lukáš
Lengál, Ondřej
Síč, Juraj
DB Label: Database : arXiv

원문보기: Open Access (Arxiv)

Mata: A Fast and Simple Finite Automata Library

전자책

issue: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14571:130-151
Author: Chocholatý, David^Aff3
Fiedor, Tomáš^Aff3
Havlena, Vojtěch^Aff3
Holík, Lukáš^Aff3
Hruška, Martin^Aff3
Lengál, Ondřej^Aff3
Síč, Juraj^Aff3
DB Label: Database : Springer Nature eBooks

원문보기

Z3-Noodler: An Automata-based String Solver

전자책

issue: Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I. 14570:24-33
Author: Chen, Yu-Fang^Aff9
Chocholatý, David^Aff10
Havlena, Vojtěch^Aff10
Holík, Lukáš^Aff10
Lengál, Ondřej^Aff10
Síč, Juraj^Aff10
DB Label: Database : Springer Nature eBooks