부산대학교 도서관
검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
교내접속
OFF
로그인
커뮤니티
공지 및 행사
게시판문의
자주묻는질문
전화/이메일 문의
도서관 일정
영문 바로가기
로그인
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
전체메뉴 열기
로그인하세요
부산대학교 도서관
자료검색
통합검색
소장자료
학술논문
전자저널
학술DB
전자책
온라인강좌
컬렉션
인기도서
신착도서
책 읽는 대학
테마도서
교수저작물 컬렉션
PNU 생산자료
도서관 소식지
연구·학습지원
연구지원
논문작성지원
연구정보가이드
이용교육
학습정보가이드
수업교재정보
자료이용안내
대출/반납
희망도서 신청
원문복사/상호대차
소장학술지 원문제공
외국학술지지원센터
협력기관
자료배달
SDI서비스
교외접속
시설이용안내
개관시간/층별
이용자별안내
열람실
그룹스터디룸
매체 제작/편집실
시설대관
PC/Wi-Fi/모바일
출력/복사/스캔
도서관소개
사명과 비전
역대 도서관장
연혁
조직 및 부서
통계
규정/운영세칙
오시는길
기증/기부
커뮤니티
공지 & 행사
게시판 문의
자주묻는 질문
전화/이메일 문의
도서관 일정
My Library
내서재
대출중인 도서
연체/제재
예약도서
원문복사(상호대차)
이용교육
정보 변경
clear
교내접속
OFF
영문 바로가기
Home
통합검색
학술논문
학술논문
arrow_drop_down
통합검색
ISSN
논문명
저널명
저자명
다국어
세부검색
히라가나
가타가나
독일,프랑스,스페인
그리스
라틴
러시아
로마자
한글고어
단위기호
학술기호
타이어
몽골어
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
あ
a
ぁ
か
ka
が
ga
さ
sa
ざ
za
た
ta
だ
da
な
na
は
ha
ば
ba
ぱ
pa
ま
ma
や
ya
ゃ
lya
ら
ra
わ
wa
ゎ
lwa
ん
n
l
い
i
ぃ
き
ki
ぎ
gi
し
si
じ
zi
ち
ti
ぢ
di
に
ni
ひ
hi
び
bi
ぴ
pi
み
mi
り
ri
ㅜ
う
u
ぅ
く
ku
ぐ
gu
す
su
ず
zu
つ
tu
づ
du
っ
ぬ
nu
ふ
hu
ぶ
bu
ぷ
pu
む
mu
ゆ
yu
ゅ
lyu
る
ru
ㅔ
え
e
ぇ
け
ke
げ
ge
せ
se
ぜ
ze
て
te
で
de
ね
ne
へ
he
べ
be
ぺ
pe
め
me
れ
re
ㅗ
お
o
ぉ
こ
ko
ご
go
そ
so
ぞ
zo
と
to
ど
do
の
no
ほ
ho
ぼ
bo
ぽ
po
も
mo
よ
yo
ょ
lyo
ろ
ro
を
wo
o
ㅋ
ㄱ
ㅅ
ㅈ
ㅌ
ㄷ
촉
ㄴ
ㅎ
ㅂ
ㅃ
ㅁ
야
ㄹ
와
ㅏ
ア
a
ァ
カ
ka
ガ
ga
サ
sa
ザ
za
タ
ta
ダ
da
ナ
na
ハ
ha
バ
ba
パ
pa
マ
ma
ヤ
ya
ャ
lya
ラ
ra
ワ
wa
ヮ
lwa
ン
n
l
イ
i
ィ
キ
ki
ギ
gi
シ
si
ジ
zi
チ
ti
ヂ
di
ニ
ni
ヒ
hi
ビ
bi
ピ
pi
ミ
mi
リ
ri
ㅜ
ウ
u
ゥ
ク
ku
グ
gu
ス
su
ズ
zu
ツ
tu
ヅ
du
ッ
ヌ
nu
フ
hu
ブ
bu
プ
pu
ム
mu
ユ
yu
ュ
lyu
ル
ru
ヴ
vu
ㅔ
エ
e
ェ
ケ
ke
ゲ
ge
セ
se
ゼ
ze
テ
te
デ
de
ネ
ne
ヘ
he
ベ
be
ぺ
pe
メ
me
レ
re
ㅗ
オ
o
ォ
コ
ko
ゴ
go
ソ
so
ゾ
zo
ト
to
ド
do
ノ
no
ホ
ho
ボ
bo
ポ
po
モ
mo
ヨ
yo
ョ
lyo
ロ
ro
ヲ
wo
ー
ー
독일어
ä
Ä
ö
Ö
ü
Ü
ß
프랑스어
á
à
Á
À
é
è
É
È
ç
Ç
ê
스페인어
à
á
Á
é
É
í
Í
Ó
ó
Ú
ú
Ñ
ñ
ä
Ä
Α
Β
Γ
Δ
Ε
Ζ
Η
Θ
Ι
Κ
Λ
Μ
Ν
Ξ
Ο
Π
Ρ
Σ
Τ
Υ
Φ
Χ
Ψ
Ω
α
β
γ
δ
ε
ζ
η
θ
ι
κ
λ
μ
ν
ξ
ο
π
ρ
ς
σ
τ
υ
φ
χ
ψ
ω
À
Á
Â
Ã
Ä
Å
Æ
Ç
È
É
Ê
Ë
Ì
Í
Î
Ï
Ð
Ñ
Ò
Ó
Ô
Õ
Ö
Ø
Ù
Ú
Û
Ü
Ý
Þ
ß
à
á
â
ã
ä
å
æ
ç
è
é
ê
ë
ì
í
î
ï
ð
ñ
ò
ó
ô
õ
ö
ø
ù
ú
û
ü
ý
þ
ÿ
А
Б
В
Г
Д
Е
Ё
Ж
З
И
Й
К
Л
М
Н
О
П
Р
С
Т
У
Ф
Х
Ц
Ч
Ш
Щ
Ъ
Ы
Ь
Э
Ю
Я
а
б
в
г
д
е
ё
ж
з
и
й
к
л
м
н
о
п
р
с
т
у
ф
х
ц
ч
ш
щ
ъ
ы
ь
э
ю
я
ⅰ
ⅱ
ⅲ
ⅳ
ⅴ
ⅵ
ⅶ
ⅷ
ⅸ
ⅹ
Ⅰ
Ⅱ
Ⅲ
Ⅳ
Ⅴ
Ⅵ
Ⅶ
Ⅷ
Ⅸ
Ⅹ
ㅥ
ㅦ
ㅧ
ㅨ
ㅩ
ㅪ
ㅫ
ㅬ
ㅭ
ㅮ
ㅯ
ㅰ
ㅱ
ㅲ
ㅳ
ㅴ
ㅵ
ㅶ
ㅷ
ㅸ
ㅹ
ㅺ
ㅻ
ㅼ
ㅽ
ㅾ
ㅿ
ㆀ
ㆁ
ㆂ
ㆃ
ㆄ
ㆅ
ㆆ
ㆇ
ㆈ
ㆉ
ㆊ
ㆋ
ㆌ
ㆍ
ㆎ
′
″
℃
Å
¢
£
¥
¤
℉
‰
$
%
F
₩
㎕
㎖
㎗
ℓ
㎘
㏄
㎣
㎤
㎥
㎦
㎙
㎚
㎛
㎜
㎝
㎞
㎟
㎠
㎡
㎢
㏊
㎍
㎎
㎏
㏏
㎈
㎉
㏈
㎧
㎨
㎰
㎱
㎲
㎳
㎴
㎵
㎶
㎷
㎸
㎹
㎀
㎁
㎂
㎃
㎄
㎺
㎻
㎽
㎾
㎿
㎐
㎑
㎒
㎓
㎔
Ω
㏀
㏁
㎊
㎋
㎌
㏖
㏅
㎭
㎮
㎯
㏛
㎩
㎪
㎫
㎬
㏝
㏐
㏓
㏃
㏉
㏜
㏆
±
×
÷
≠
≤
≥
∞
∴
∠
⊥
⌒
∂
∇
≡
≒
≪
≫
√
∽
∝
∵
∫
∬
∈
∋
⊆
⊇
⊂
⊃
∪
∩
∧
∨
¬
⇒
⇔
∀
∃
∮
∑
∏
+
-
<
=
>
ก
ข
ฃ
ค
ฅ
ฆ
ง
จ
ฉ
ช
ซ
ฌ
ญ
ฎ
ฏ
ฐ
ฑ
ฒ
ณ
ด
ต
ถ
ท
ธ
น
บ
ป
ผ
ฝ
พ
ฟ
ภ
ม
ย
ร
ฤ
ล
ฦ
ว
ศ
ษ
ส
ห
ฬ
อ
ฮ
ฯ
ะ
ั
า
ำ
ิ
ี
ึ
ื
ุ
ู
ฺ
฿
เ
แ
โ
ใ
ไ
ๅ
ๆ
็
่
้
๊
๋
์
ํ
๎
๏
᠀
᠁
᠂
᠃
᠄
᠅
᠆
᠇
᠈
᠉
᠊
᠐
᠑
᠒
᠓
᠔
᠕
᠖
᠗
᠘
᠙
ᠠ
ᠡ
ᠢ
ᠣ
ᠤ
ᠥ
ᠦ
ᠧ
ᠨ
ᠩ
ᠪ
ᠫ
ᠬ
ᠭ
ᠮ
ᠯ
ᠰ
ᠱ
ᠲ
ᠳ
ᠴ
ᠵ
ᠶ
ᠷ
ᠸ
ᠹ
ᠺ
ᠻ
ᠼ
ᠽ
ᠾ
ᠿ
ᡀ
ᡁ
ᡂ
ᡃ
ᡄ
ᡅ
ᡆ
ᡇ
ᡈ
ᡉ
ᡊ
ᡋ
ᡌ
ᡍ
ᡎ
ᡏ
발행년
-
(예 : 2010-2015)
'학술논문'
에서 검색결과
301
건 | 목록
1~10
전체선택
내보내기
Relevance
arrow_drop_down
Relevance
DateNewest
Date Oldest
10
arrow_drop_down
5
10
20
30
40
50
format_list_bulleted
format_list_bulleted
E-mail
EndNote
RefWorks
Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
Report
Hausmann, Daniel
;
Lehaut, Mathieu
;
Piterman, Nir
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Faster and Smaller Solutions of Obliging Games
Report
Hausmann, Daniel
;
Piterman, Nir
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Direct Translation from LTL with Past to Deterministic Rabin Automata
Report
Azzopardi, Shaun
;
Lidell, David
;
Piterman, Nir
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Fair $\omega$-Regular Games
Report
Hausmann, Daniel
;
Piterman, Nir
;
Sağlam, Irmak
;
Schmuck, Anne-Kathrin
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
LTL Synthesis on Infinite-State Arenas defined by Programs
Report
Azzopardi, Shaun
;
Piterman, Nir
;
Schneider, Gerardo
;
di Stefano, Luca
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
Report
Mallozzi, Piergiuseppe
;
Nuzzo, Pierluigi
;
Piterman, Nir
;
Schneider, Gerardo
;
Pelliccione, Patrizio
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Measuring the Gain of Reconfigurable Communication
Report
Lehaut, Mathieu
;
Piterman, Nir
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Correct-by-Design Teamwork Plans for Multi-Agent Systems
Report
Alrahman, Yehia Abd
;
Piterman, Nir
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
Synthesis of Run-To-Completion Controllers for Discrete Event Systems
Conference
Alrahman, Yehia Abd
;
Braberman, Victor
;
D'Ippolito, Nicolas
;
Piterman, Nir
;
Uchitel, Sebastian
2021 American Control Conference (ACC) American Control Conference (ACC), 2021. :4892-4899 May, 2021
Full Text (IEEE)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
A Survey on Satisfiability Checking for the $\mu$-Calculus through Tree Automata
Report
Hausmann, Daniel
;
Piterman, Nir
Open Access (Arxiv)
Find it@PNU
playlist_add_check
요약보기
open_in_browser
내보내기
E-mail
EndNote
RefWorks
1
2
3
4
…
17
18
19
20
다음
검색 결과 제한하기
arrow_forward
제한된 항목
[AR] Piterman, Nir
clear
발행연도 제한
-
재검색
학술DB(Database Provider)
Complementary Index
(68)
MathSciNet via EBSCOhost
(58)
Science Citation Index Expanded
(31)
SwePub
(29)
arXiv
(26)
Academic Search Complete
(21)
Supplemental Index
(10)
Gale Academic OneFile
(10)
ACM Full-Text Collection
(10)
IEEE Xplore Digital Library
(10)
ScienceDirect
(8)
Springer Nature Journals
(7)
Business Source Complete
(3)
JSTOR Journals
(3)
British Library EThOS
(3)
Journals@OVID
(3)
Gale General OneFile
(1)
USPTO Patent Applications
(1)
add
remove
더보기
zoom_in
재검색
저널명(출판물, Title)
international journal on software tools for technology transfer
(15)
information and computation
(9)
proceedings of the national academy of sciences of the united states of america
(8)
bmc systems biology
(7)
computer aided verification
(7)
performance evaluation
(6)
ieee transactions on software engineering
(5)
biophysical journal
(4)
bmc bioinformatics
(4)
briefings in functional genomics
(4)
ieee transactions on robotics
(4)
journal of symbolic logic
(4)
logical methods in computer science
(4)
nature biotechnology
(4)
plos computational biology
(4)
autonomous agents and multi-agent systems
(3)
electronic notes in theoretical computer science
(3)
formal methods in system design
(3)
ieee control systems letters
(3)
lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics)
(3)
molecular systems biology
(3)
scientific reports
(3)
theoretical computer science
(3)
developmental biology
(2)
entcs: electronic notes in theoretical computer science
(2)
experimental hematology
(2)
integrative biology
(2)
international journal on software tools for technology transfer (sttt)
(2)
journal of computer and system sciences
(2)
2007 design, automation & test in europe conference & exhibition, design, automation & test in europe conference & exhibition, 2007. date '07
(1)
2008 fifth international conference on quantitative evaluation of systems, quantitative evaluation of systems, 2008. qest '08. fifth international conference on
(1)
2010 seventh international conference on the quantitative evaluation of systems, quantitative evaluation of systems (qest), 2010 seventh international conference on the
(1)
2011 33rd international conference on software engineering (icse), software engineering (icse), 2011 33rd international conference on
(1)
2011 eighteenth international symposium on temporal representation and reasoning, temporal representation and reasoning (time), 2011 eighteenth international symposium on
(1)
2013 35th international conference on software engineering (icse), software engineering (icse), 2013 35th international conference on
(1)
2013 ieee international conference on robotics and automation, robotics and automation (icra), 2013 ieee international conference on
(1)
2014 14th international conference on application of concurrency to system design, application of concurrency to system design (acsd), 2014 14th international conference on
(1)
2014 formal methods in computer-aided design (fmcad), formal methods in computer-aided design (fmcad), 2014
(1)
2021 american control conference (acc), american control conference (acc), 2021
(1)
acm transactions on software engineering and methodology (tosem)
(1)
briefings in functional genomics and proteomics
(1)
proceedings of the 12th international conference on verification, model checking, and abstract interpretation
(1)
proceedings of the 14th conference on formal methods in computer-aided design
(1)
proceedings of the 19th international conference on hybrid systems: computation and control
(1)
proceedings of the 2013 international conference on software engineering
(1)
proceedings of the 33rd international conference on software engineering
(1)
proceedings of the 40th annual acm sigplan-sigact symposium on principles of programming languages
(1)
proceedings of the conference on design, automation and test in europe
(1)
proceedings of the eighteenth acm sigsoft international symposium on foundations of software engineering
(1)
proceedings of the sigchi conference on human factors in computing systems
(1)
add
remove
더보기
zoom_in
재검색
출판사(Publisher)
springer nature
(52)
springer, berlin
(22)
ieee
(19)
springer, cham
(14)
elsevier b.v.
(13)
association for computing machinery
(8)
springer
(8)
springer, heidelberg
(8)
academic press inc.
(5)
biomed central
(5)
national academy of sciences
(5)
academic press inc elsevier science
(4)
assoc computing machinery
(3)
biomed central ltd
(3)
biomed central ltd.
(3)
elsevier inc.
(3)
nature publishing group
(3)
oxford university press / usa
(3)
public library of science
(3)
wiley-blackwell
(3)
acm
(2)
cambridge university press
(2)
cell press
(2)
elsevier science bv
(2)
ieee computer soc
(2)
imperial college london
(2)
schloss dagstuhl
(2)
schloss dagstuhl. leibniz-zent. inform., wadern
(2)
springer berlin heidelberg
(2)
springer heidelberg
(2)
springer us
(2)
springer-verlag
(2)
acm, new york
(1)
american automatic control council
(1)
cambridge univ press
(1)
elsevier science inc
(1)
eptcs, [place of publication not identified]
(1)
fmcad and the authors
(1)
ieee-inst electrical electronics engineers inc
(1)
natl acad sciences
(1)
oxford univ press
(1)
public library science
(1)
royal soc chemistry
(1)
springer, [cham]
(1)
tech univ braunschweig
(1)
university of leicester
(1)
add
remove
더보기
zoom_in
재검색
자료유형(Source Type)
Academic Journals
(119)
Conference Materials
(79)
Reviews
(58)
Books
(39)
Reports
(26)
Magazines
(5)
Dissertations
(3)
Electronic Resources
(3)
add
remove
더보기
zoom_in
재검색
주제어
computer science
(36)
datavetenskap (datalogi)
(23)
computer science - logic in computer science
(20)
model checking
(18)
automata
(16)
verification
(13)
game theory
(12)
controller synthesis
(11)
computational modeling
(9)
software engineering
(9)
computing and processing
(8)
games
(8)
logics and meanings of programs
(8)
caenorhabditis elegans
(7)
computer science - formal languages and automata theory
(7)
gene expression
(7)
gene regulatory networks
(7)
machine theory
(7)
algorithms
(6)
developmental biology
(6)
liveness
(6)
markov chains
(6)
markov processes
(6)
mathematical logic and formal languages
(6)
artificial intelligence (incl. robotics)
(5)
computational biology
(5)
formal methods
(5)
polynomials
(5)
safety
(5)
static analysis
(5)
systems
(5)
behavioural modelling
(4)
cameras
(4)
communication, networking and broadcast technologies
(4)
complexity
(4)
components, circuits, devices and systems
(4)
computational complexity
(4)
computer science - computer science and game theory
(4)
modeling
(4)
notch
(4)
pathway
(4)
protocols
(4)
robot vision systems
(4)
semantics
(4)
single cell
(4)
software verification
(4)
agent theories and models
(3)
algorithm
(3)
automatic verification
(3)
behavioral modeling
(3)
add
remove
더보기
zoom_in
재검색
언어
english
(260)
add
remove
더보기
zoom_in
재검색
메일 발송
이메일
취소
확인
팝업 닫기
폴더 추가
팝업 닫기