서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Katoen, Joost-Pieter"]

검색결과제한

  • Facet Limit
    • 원문(Full Text)
    • Peer-Reviewed 학술지
    • -

    재검색

  • 자료유형
    • Academic Journals(180)
    • Books(103)
    • Conference Materials(97)
    • Reviews(90)
    • Reports(60)
    • Magazines(8)

  • 주제어
    • computer science - logic in computer science(71)
    • model checking(51)
    • computer science(50)
    • software engineering(49)
    • markov processes(43)
    • logics and meanings of programs(40)
    • ddc:004(35)
    • programming languages, compilers, interpreters(34)
    • semantics(25)
    • computer science - software engineering(24)
    • computer science - programming languages(21)
    • theoretical computer science(21)
    • verification(20)
    • process algebra(19)
    • algorithms(18)
    • markov chain(18)
    • stochastic processes(17)
    • probabilistic automata(16)
    • probability theory(16)
    • abstraction(15)
    • computer science - artificial intelligence(15)
    • computer science(all)(14)
    • informatik(13)
    • markov chains(13)
    • automata(12)
    • markov decision process(12)
    • systems(11)
    • performance evaluation(10)
    • probabilistic logic(10)
    • temporal logic(10)
    • bisimulation(9)
    • computer science - formal languages and automata theory(9)
    • data processing computer science(9)
    • machine theory(9)
    • operational semantics(9)
    • performance analysis(9)
    • computer science - systems and control(8)
    • computer science::logic in computer science(8)
    • conferences & conventions(8)
    • mathematics - optimization and control(8)
    • probabilistic model checking(8)
    • theoryofcomputation_logicsandmeaningsofprograms(8)
    • computer software(7)
    • computing and processing(7)
    • counterexample(7)
    • dependability(7)
    • fmt-pm: probabilistic methods(7)
    • timed automata(7)
    • chains(6)
    • computational theory and mathematics(6)

  • 저널
    • theoretical computer science(35)
    • model-based testing of reactive systems(29)
    • information and computation(21)
    • ieee transactions on software engineering(19)
    • formal methods in system design(11)
    • international journal on software tools for technology transfer(10)
    • logical methods in computer science(10)
    • performance evaluation(10)
    • science of computer programming(10)
    • electronic notes in theoretical computer science(9)
    • formal aspects of computing(8)
    • information & computation(7)
    • acta informatica(5)
    • the journal of logic and algebraic programming(5)
    • communications of the acm(4)
    • entcs: electronic notes in theoretical computer science(4)
    • european journal of control(4)
    • ieee transactions on industrial informatics(4)
    • journal of logic and algebraic programming(4)
    • journal of the acm(4)
    • reliability engineering & system safety(4)
    • 2016 31st annual acm/ieee symposium on logic in computer science (lics), logic in computer science (lics), 2016 31st annual acm/ieee symposium on(3)
    • computer aided verification. part i(3)
    • computer journal(3)
    • information processing letters(3)
    • journal of logic & algebraic programming(3)
    • proceedings of the 31st annual acm-ieee symposium on logic in computer science (lics 2016)(3)
    • verification, model checking, and abstract interpretation(3)
    • application and theory of petri nets and concurrency(2)
    • computer networks and isdn systems(2)
    • computing and informatics(2)
    • distributed computing(2)
    • fm 2015: formal methods(2)
    • lecture notes in computer science(2)
    • proceedings of the joint meeting of the twenty-third eacsl annual conference on computer science logic (csl) and the twenty-ninth annual acm/ieee symposium on logic in computer science (lics)(2)
    • process algebra and probabilistic methods (aachen, 2001)(2)
    • reliability engineering and system safety(2)
    • 2009 7th ieee/acm international conference on formal methods and models for co-design, formal methods and models for co-design, 2009. memocode '09. 7th ieee/acm international conference on(1)
    • 2013 design, automation & test in europe conference & exhibition (date), design, automation & test in europe conference & exhibition (date), 2013(1)
    • 2016 ieee 35th symposium on reliable distributed systems (srds), reliable distributed systems (srds), 2016 ieee 35th symposium on, srds(1)
    • 2017 ieee 36th symposium on reliable distributed systems (srds), reliable distributed systems (srds), 2017 ieee 36th symposium on, srds(1)
    • acm transactions on design automation of electronic systems(1)
    • acm transactions on programming languages and systems(1)
    • automata, languages & programming (9783540647812)(1)
    • computer aided verification(1)
    • computing & informatics(1)
    • european journal of control (sciencedirect)(1)
    • integrated formal methods (9783540411963)(1)
    • international journal on software tools for technology transfer (sttt)(1)
    • journal of automated reasoning(1)

  • 발행처
    • springer nature(122)
    • elsevier b.v.(46)
    • ieee(32)
    • springer(30)
    • association for computing machinery(29)
    • springer, berlin(18)
    • elsevier bv(15)
    • elsevier science bv(11)
    • springer, cham(11)
    • elsevier inc.(10)
    • rwth aachen university(9)
    • springer, heidelberg(9)
    • university of twente(9)
    • acm, new york(8)
    • academic press inc.(7)
    • publikationsserver der rwth aachen university(5)
    • academic press inc elsevier science(4)
    • assoc computing machinery(4)
    • ieee computer soc(4)
    • acm(3)
    • elsevier ltd(3)
    • ieee-inst electrical electronics engineers inc(3)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(3)
    • springer international publishing(3)
    • tech univ braunschweig(3)
    • association for computing machinery (acm)(2)
    • centre for telematics and information technology (ctit)(2)
    • elsevier sci ltd(2)
    • elsevier sci. b. v., amsterdam(2)
    • fachgruppe informatik, rwth aachen university(2)
    • ieee computer society(2)
    • lavoisier(2)
    • lipics - leibniz international proceedings in informatics. 44th international symposium on mathematical foundations of computer science (mfcs 2019)(2)
    • oxford university press / usa(2)
    • schloss dagstuhl. leibniz-zent. inform., wadern(2)
    • springer heidelberg(2)
    • springer verlag(2)
    • albert-ludwigs-universitat(1)
    • amsterdam univ. press, amsterdam(1)
    • clut(1)
    • crc press, boca raton, fl(1)
    • dagstuhl publishing(1)
    • elsevier science inc(1)
    • ieee computer soc., los alamitos, ca(1)
    • ieee, [piscataway], nj(1)
    • institute of informatics(1)
    • mit press, cambridge, ma(1)
    • oxford univ press(1)
    • slovak acad sciences inst informatics(1)
    • springer, new york(1)

  • 언어
    • english(557)
    • undetermined(15)
    • german(2)

  • 수록DB
    • OpenAIRE(187)
    • Complementary Index(156)
    • MathSciNet via EBSCOhost(90)
    • arXiv(60)
    • Science Citation Index(42)
    • ScienceDirect(36)
    • Academic Search Complete(35)
    • Business Source Complete(12)
    • Supplemental Index(12)
    • IEEE Xplore Digital Library(9)
    • SwePub(3)
    • MEDLINE(1)
    • USPTO Patent Grants(1)
    • Networked Digital Library of Theses & Dissertations(1)

645

1 - 10 다음페이지로

내보내기

내보내기
내보내기 형식을 선택하세요.

o RefWorks에서 이용 가능한 형식으로 반출합니다.

o EndNote에서 이용 가능한 형식으로 반출합니다.

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