서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Larsen, Kim G."]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(179)
    • Books(140)
    • Reviews(113)
    • Conference Materials(96)
    • Reports(34)
    • Magazines(10)

  • 주제어
    • computer science(114)
    • computer communication networks(82)
    • data structures(79)
    • theory of computation(78)
    • artificial intelligence (incl. robotics)(77)
    • computer graphics(77)
    • computer science - logic in computer science(32)
    • computer science - formal languages and automata theory(22)
    • theoretical computer science(21)
    • machine theory(19)
    • timed automata(19)
    • 000 computer science, knowledge, general works(18)
    • abstraction(17)
    • model checking(17)
    • ddc:004(15)
    • refinement(15)
    • uppaal(15)
    • computer science(all)(14)
    • data processing computer science(14)
    • logics and meanings of programs(13)
    • markov chains(12)
    • systems(12)
    • complexity(11)
    • software engineering(11)
    • computer science - computer science and game theory(10)
    • computer science - software engineering(10)
    • programming languages, compilers, interpreters(10)
    • algorithms(9)
    • compositional reasoning(9)
    • computer science - systems and control(9)
    • games(9)
    • modal transition systems(9)
    • qa75(9)
    • automata(8)
    • axiomatization(8)
    • computer science::logic in computer science(8)
    • design(8)
    • mathematical models(8)
    • probabilistic automata(8)
    • schedulability analysis(8)
    • statistical model checking(8)
    • theoryofcomputation_mathematicallogicandformallanguages(8)
    • computational theory and mathematics(7)
    • electronic computers. computer science(7)
    • mathematics(7)
    • qa1-939(7)
    • qa75.5-76.95(7)
    • specification theory(7)
    • specifications(7)
    • verification(7)

  • 저널
    • automata, languages & programming (9783540647812)(77)
    • theoretical computer science(37)
    • logical methods in computer science(16)
    • electronic notes in theoretical computer science(15)
    • information and computation(14)
    • international journal on software tools for technology transfer(12)
    • science of computer programming(12)
    • journal of logic and algebraic programming(11)
    • journal of logical and algebraic methods in programming(10)
    • the journal of logic and algebraic programming(10)
    • acta informatica(8)
    • electronic proceedings in theoretical computer science(7)
    • performance evaluation(7)
    • journal of logic & algebraic programming(6)
    • mathematical structures in computer science(6)
    • communications of the acm(4)
    • formal methods in system design(4)
    • fundamenta informaticae(4)
    • soft computing - a fusion of foundations, methodologies & applications(4)
    • acta astronautica(3)
    • computing and informatics(3)
    • mathematical structures in computer science. a journal in the applications of categorical, algebraic and geometric methods in computer science(3)
    • proceedings of the conference: design, automation & test in europe(3)
    • soft computing(3)
    • conference on design, automation & test in europe(2)
    • fm 2009: formal methods(2)
    • fm 2012: formal methods(2)
    • formal aspects of component software (9783319076010)(2)
    • formal modeling & analysis of timed systems (9783540754534)(2)
    • formal modeling & analysis of timed systems (9783642333644)(2)
    • handbook of process algebra(2)
    • information & computation(2)
    • international conference on hybrid systems: computation & control(2)
    • machine learning(2)
    • mathematical foundations of computer science 2013(2)
    • proceedings of the 13th acm international conference: hybrid systems: computation & control(2)
    • theoretical aspects of computing - ictac 2015(2)
    • 2012 design, automation & test in europe conference & exhibition (date)(1)
    • 2012 ieee 15th international symposium on object/component/service-oriented real-time distributed computing(1)
    • 2012 sixth international symposium on theoretical aspects of software engineering(1)
    • 2013 28th annual acm/ieee symposium on logic in computer science(1)
    • 2014 14th international conference on application of concurrency to system design(1)
    • 2014 2nd international conference on model-driven engineering & software development (modelsward)(1)
    • 2014 theoretical aspects of software engineering conference(1)
    • 2015 18th international acm sigsoft symposium on component-based software engineering (cbse)(1)
    • acm international conference proceeding series(1)
    • acm sigbed review(1)
    • automata, languages & programming: 42nd international colloquium, icalp 2015, kyoto, japan, july 6-10, 2015, proceedings, part ii(1)
    • it technical report(1)
    • sigbed review(1)

  • 발행처
    • springer nature(148)
    • elsevier b.v.(52)
    • springer, berlin(28)
    • association for computing machinery(23)
    • springer(20)
    • elsevier bv(19)
    • elsevier inc.(13)
    • elsevier science bv(12)
    • ieee(11)
    • springer, heidelberg(11)
    • schloss dagstuhl. leibniz-zent. inform., wadern(9)
    • elsevier science inc(8)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(8)
    • open publishing association(7)
    • schloss dagstuhl - leibniz-zentrum fur informatik(7)
    • springer heidelberg(6)
    • elsevier sci. b. v., amsterdam(5)
    • schloss dagstuhl- leibniz-zentrum fur informatik gmbh, dagstuhl publishing(5)
    • springer international publishing(5)
    • tech univ braunschweig(5)
    • ios press(4)
    • springer, cham(4)
    • cambridge univ press(3)
    • lipics - leibniz international proceedings in informatics. 30th international conference on concurrency theory (concur 2019)(3)
    • academic press inc elsevier science(2)
    • academic press inc.(2)
    • acm, new york(2)
    • episciences.org(2)
    • eptcs, [place of publication not identified](2)
    • european association of software science and technology(2)
    • hal ccsd(2)
    • lipics - leibniz international proceedings in informatics. 42nd international symposium on mathematical foundations of computer science (mfcs 2017)(2)
    • schloss dagstuhl - leibniz-zentrum fuer informatik(2)
    • acm press(1)
    • assoc computing machinery(1)
    • association for computing machinery (acm)(1)
    • computing and informatics(1)
    • dagstuhl publishing(1)
    • department of computer science, aarhus university(1)
    • electronic proceedings in theoretical computer science(1)
    • elsevier(1)
    • lipics - leibniz international proceedings in informatics. 20th international conference on principles of distributed systems (opodis 2016)(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. 36th iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2016)(1)
    • logical methods computer science e v(1)
    • pergamon-elsevier science ltd(1)
    • science press(1)
    • slovak acad sciences inst informatics(1)
    • springer-verlag(1)
    • uppsala: department of information technology, uppsala university(1)

  • 언어
    • english(528)
    • undetermined(10)
    • danish(1)
    • french(1)

  • 수록DB
    • OpenAIRE(124)
    • MathSciNet via EBSCOhost(113)
    • Supplemental Index(101)
    • Complementary Index(96)
    • Science Citation Index(49)
    • ScienceDirect(42)
    • arXiv(33)
    • Academic Search Complete(23)
    • SwePub(9)
    • Business Source Complete(3)
    • IEEE Xplore Digital Library(2)

595

1 - 10 다음페이지로

내보내기

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

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

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

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