서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Markey, Nicolas"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(79)
    • Reviews(75)
    • Conference Materials(55)
    • Reports(32)
    • Books(28)
    • Magazines(2)

  • 주제어
    • [info.info-lo]computer science [cs]/logic in computer science [cs.lo](43)
    • computer science - logic in computer science(28)
    • computer science(19)
    • model checking(18)
    • computer science - computer science and game theory(17)
    • [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl](14)
    • computer science - formal languages and automata theory(14)
    • theoryofcomputation_mathematicallogicandformallanguages(12)
    • [info.info-gt]computer science [cs]/computer science and game theory [cs.gt](11)
    • 000 computer science, knowledge, general works(11)
    • computational complexity(11)
    • computer science::formal languages and automata theory(11)
    • temporal logic(10)
    • [info.info-ma]computer science [cs]/multiagent systems [cs.ma](9)
    • [ info.info-lo ] computer science [cs]/logic in computer science [cs.lo](8)
    • computer science - computational complexity(8)
    • computer science::logic in computer science(8)
    • logics and meanings of programs(8)
    • temporal logics(8)
    • data processing computer science(7)
    • ddc:004(7)
    • machine theory(7)
    • programming languages, compilers, interpreters(7)
    • timed automata(7)
    • [info.info-it]computer science [cs]/information theory [cs.it](6)
    • computation by abstract devices(6)
    • games(6)
    • [info.info-cl]computer science [cs]/computation and language [cs.cl](5)
    • formal methods(5)
    • logic(5)
    • model-checking(5)
    • semantics(5)
    • software engineering(5)
    • strategic reasoning(5)
    • timed systems(5)
    • [info.info-es]computer science [cs]/embedded systems(4)
    • algorithms(4)
    • computer science - multiagent systems(4)
    • control synthesis(4)
    • energy constraints(4)
    • f.1.1(4)
    • f.3.1(4)
    • game theory(4)
    • mathematical logic and formal languages(4)
    • mathematical models(4)
    • multi-agent systems(4)
    • robustness(4)
    • satisfiability(4)
    • strategy(4)
    • systems(4)

  • 저널
    • information and computation(13)
    • logical methods in computer science(12)
    • theoretical computer science(12)
    • information processing letters(11)
    • acta informatica(7)
    • theory of computing systems(5)
    • communications of the acm(4)
    • formal aspects of computing(4)
    • foundations of software science and computational structures(4)
    • information & computation(4)
    • performance evaluation(4)
    • electronic proceedings in theoretical computer science(3)
    • eurasip journal on wireless communications and networking(3)
    • reachability problems(3)
    • 30th international conference on foundations of software technology and theoretical computer science(2)
    • 31st international conference on foundations of software technology and theoretical computer science(2)
    • 34th international conference on foundation of software technology and theoretical computer science(2)
    • automated technology for verification & analysis: 12th international symposium, atva 2014, sydney, nsw, australia, november 3-7, 2014, proceedings(2)
    • electronic notes in theoretical computer science(2)
    • formal modeling & analysis of timed systems: 13th international conference, formats 2015, madrid, spain, september 2-4, 2015, proceedings(2)
    • foundations of software science & computational structures (9783540713883)(2)
    • latin 2006: theoretical informatics(2)
    • real-time systems(2)
    • 2012 ninth international conference on quantitative evaluation of systems(1)
    • 2014 ieee 20th international conference on embedded & real-time computing systems & applications(1)
    • automata, languages & programming (9783642315848)(1)
    • computer aided verification: 28th international conference, cav 2016, toronto, on, canada, july 17-23, 2016, proceedings, part i(1)
    • concur 2007 - concurrency theory(1)
    • concur 2009 - concurrency theory(1)
    • concur 2010 - concurrency theory(1)
    • concur 2012 - concurrency theory(1)
    • concur 2013 - concurrency theory(1)
    • concur 2014 - concurrency theory(1)
    • entcs: electronic notes in theoretical computer science(1)
    • formal modeling & analysis of timed systems (9783540450269)(1)
    • formal modeling & analysis of timed systems (9783540754534)(1)
    • formal modeling & analysis of timed systems (9783540857778)(1)
    • formal modeling & analysis of timed systems (9783642152962)(1)
    • formal modeling & analysis of timed systems (9783642402289)(1)
    • foundations of software science & computation structures (978-3-540-41864-1)(1)
    • foundations of software science & computational structures (9783540784975)(1)
    • foundations of software science & computational structures (9783642287282)(1)
    • fsttcs 2005: foundations of software technology & theoretical computer science(1)
    • fsttcs 2006: foundations of software technology & theoretical computer science(1)
    • international conference on hybrid systems: computation & control(1)
    • logical foundations of computer science (9783540926863)(1)
    • logical methods in computer science (lmcs)(1)
    • proceedings of the 13th acm international conference: hybrid systems: computation & control(1)
    • reachability problems (9783319459936)(1)
    • reachability problems (9783642410352)(1)

  • 발행처
    • springer nature(38)
    • springer(23)
    • elsevier b.v.(15)
    • springer, berlin(15)
    • hal ccsd(14)
    • schloss dagstuhl. leibniz-zent. inform., wadern(13)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(8)
    • eptcs, [place of publication not identified](7)
    • springer, heidelberg(7)
    • elsevier science bv(6)
    • logical methods in computer science association(6)
    • springer, cham(6)
    • association for computing machinery(5)
    • ieee computer society press(5)
    • academic press inc elsevier science(4)
    • academic press inc.(4)
    • elsevier inc.(4)
    • open publishing association(4)
    • tech univ braunschweig(4)
    • elsevier(3)
    • springer verlag(3)
    • springeropen(3)
    • ieee(2)
    • springer, [cham](2)
    • springer-verlag(2)
    • acm, new york(1)
    • assoc computing machinery(1)
    • dagstuhl reports. dagstuhl reports, volume 5, issue 2(1)
    • european association of software science and technology(1)
    • hermes science(1)
    • hindawi publishing corporation(1)
    • lipics - leibniz international proceedings in informatics. 34th international conference on foundation of software technology and theoretical computer science (fsttcs 2014)(1)
    • lipics - leibniz international proceedings in informatics. 35th symposium on theoretical aspects of computer science (stacs 2018)(1)
    • lipics - leibniz international proceedings in informatics. 42nd international symposium on mathematical foundations of computer science (mfcs 2017)(1)
    • lipics - leibniz international proceedings in informatics. 43rd international colloquium on automata, languages, and programming (icalp 2016)(1)
    • lipics - leibniz international proceedings in informatics. iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2010)(1)
    • logical methods computer science e v(1)
    • logical methods in computer science(1)
    • oasics - openaccess series in informatics. 2nd international workshop on synthesis of complex parameters (syncop'15)(1)
    • springer international publishing(1)

  • 언어
    • english(246)
    • french(4)
    • nauru(1)

  • 수록DB
    • OpenAIRE(85)
    • MathSciNet via EBSCOhost(75)
    • Complementary Index(36)
    • arXiv(32)
    • Science Citation Index(21)
    • ScienceDirect(12)
    • Academic Search Complete(11)
    • Business Source Complete(6)
    • Supplemental Index(4)
    • Directory of Open Access Journals(1)

283

1 - 10 다음페이지로

내보내기

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

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

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

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