서강대학교 로욜라도서관

탑메뉴

전체메뉴

전체메뉴닫기


검색

학술논문(Articles)검색

상세검색
검색어
[키워드: "Chen, Taolue"]

검색결과제한

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

    재검색

  • 자료유형
    • Academic Journals(79)
    • Reviews(49)
    • Conference Materials(37)
    • Reports(23)
    • Books(21)
    • Magazines(2)

  • 주제어
    • computer science - logic in computer science(21)
    • process algebra(15)
    • csis(12)
    • computer science(11)
    • algorithm(10)
    • computer science - formal languages and automata theory(9)
    • concurrency(9)
    • semantics(8)
    • computer science - software engineering(7)
    • computer science::logic in computer science(7)
    • model checking(7)
    • bisimulation(6)
    • theoretical computer science(6)
    • theoryofcomputation_mathematicallogicandformallanguages(6)
    • complexity(5)
    • computational complexity(5)
    • computer science(all)(5)
    • modal logic(5)
    • probabilistic systems(5)
    • verification(5)
    • 000 computer science, knowledge, general works(4)
    • algorithms(4)
    • automata(4)
    • behavioral equivalence(4)
    • data processing computer science(4)
    • ddc:004(4)
    • equational logic(4)
    • information retrieval(4)
    • metric(4)
    • natural language processing(4)
    • quantitative verification(4)
    • software engineering(4)
    • 005: computerprogrammierung, programme und daten(3)
    • bisimilarity(3)
    • bug localization(3)
    • computation by abstract devices(3)
    • computer science - cryptography and security(3)
    • computer sciences(3)
    • datavetenskap (datalogi)(3)
    • differential equation(3)
    • dynamical systems(3)
    • equational theory(3)
    • formal methods(3)
    • fuzzy automata(3)
    • graph colouring(3)
    • hybrid automata(3)
    • linear algebra(3)
    • linear programming(3)
    • logics and meanings of programs(3)
    • mathematical analysis(3)

  • 저널
    • information processing letters(13)
    • theoretical computer science(9)
    • electronic notes in theoretical computer science(8)
    • information and computation(8)
    • logical methods in computer science(5)
    • entcs: electronic notes in theoretical computer science(4)
    • international journal of approximate reasoning(4)
    • journal of nanjing university. natural sciences(4)
    • computers & mathematics with applications(3)
    • discrete applied mathematics(3)
    • formal methods in system design(3)
    • proceedings of spie(3)
    • acm transactions on computational logic(2)
    • ieee transactions on software engineering(2)
    • information & computation(2)
    • international journal of software engineering & knowledge engineering(2)
    • journal of wuhan university. natural science edition. wuhan daxue xuebao. lixue ban(2)
    • mathematical foundations of computer science 2012(2)
    • mathematical foundations of computer science 2013(2)
    • studia logica(2)
    • 2012 ieee 33rd real-time systems symposium(1)
    • 2013 international symposium on theoretical aspects of software engineering(1)
    • 2016 international conference on cyber security & protection of digital services (cyber security)(1)
    • acm international conference proceeding series(1)
    • artificial intelligence & computational intelligence (9783642165290)(1)
    • automated reasoning (9783319402284)(1)
    • automated technology for verification & analysis (9783642047602)(1)
    • chinese high technology letters(1)
    • cloud computing & security(1)
    • computer engineering(1)
    • concur 2006 - concurrency theory (9783540373766)(1)
    • concur 2007 - concurrency theory(1)
    • concur 2012 - concurrency theory(1)
    • concur 2014 - concurrency theory(1)
    • fundamental approaches to software engineering (9783662496640)(1)
    • human aspects of information security, privacy & trust (9783319203751)(1)
    • ieee conference on decision & control & european control conference(1)
    • iet biometrics(1)
    • iet software(1)
    • international journal of software engineering and knowledge engineering(1)
    • journal of systems & software(1)
    • journal of systems and software(1)
    • mathematical structures in computer science(1)
    • proceedings of the 15th acm international conference hybrid systems computation & control(1)
    • proceedings of the 16th international conference hybrid systems computation & control(1)
    • proceedings of the acm on programming languages(1)
    • proceedings of the joint meeting of the twenty-third eacsl annual conference computer science logic(1)
    • studia logica: an international journal for symbolic logic(1)
    • 计算机工程(1)
    • 高技术通讯(1)

  • 발행처
    • elsevier b.v.(23)
    • springer nature(23)
    • springer(12)
    • ieee(10)
    • springer, berlin(7)
    • elsevier bv(6)
    • elsevier science bv(6)
    • elsevier(5)
    • association for computing machinery(4)
    • elsevier inc.(4)
    • schloss dagstuhl. leibniz-zent. inform., wadern(4)
    • springer, heidelberg(4)
    • acm, new york(3)
    • schloss dagstuhl - leibniz-zentrum fuer informatik gmbh, wadern/saarbruecken, germany(3)
    • spie - international society of optical engineering(3)
    • academic press inc elsevier science(2)
    • academic press inc.(2)
    • elsevier sci. b. v., amsterdam(2)
    • elsevier science inc(2)
    • hal ccsd(2)
    • ieee computer society(2)
    • inst engineering technology-iet(2)
    • institute of electrical and electronics engineers (ieee)(2)
    • springer, cham(2)
    • tech univ braunschweig(2)
    • the association for computing machinery(2)
    • world scientific publishing company(2)
    • aaai press / international joint conferences on artificial intelligence(1)
    • academic press(1)
    • assoc computing machinery(1)
    • cambridge univ press(1)
    • cwi(1)
    • dagstuhl(1)
    • elsevier ltd(1)
    • ieee computer soc(1)
    • ieee computer soc., los alamitos, ca(1)
    • institute of electrical and electronics engineers(1)
    • institution of engineering and technology(1)
    • lipics - leibniz international proceedings in informatics. 28th international conference on concurrency theory (concur 2017)(1)
    • lipics - leibniz international proceedings in informatics. iarcs annual conference on foundations of software technology and theoretical computer science (fsttcs 2013)(1)
    • new york, ny, usa(1)
    • pergamon-elsevier science ltd(1)
    • rwth aachen university(1)
    • schloss dagstuhl - leibniz-zentrum fur informatik(1)
    • schloss dagstuhl--leibniz-zentrum fuer informatik(1)
    • springer science and business media llc(1)
    • springer, [cham](1)
    • the institution of engineering and technology(1)
    • university of szeged, hungary(1)
    • world scientific publ co pte ltd(1)

  • 언어
    • english(205)
    • chinese(7)
    • undetermined(5)

  • 수록DB
    • OpenAIRE(80)
    • MathSciNet via EBSCOhost(49)
    • Complementary Index(33)
    • arXiv(22)
    • Science Citation Index(21)
    • ScienceDirect(15)
    • Academic Search Complete(7)
    • Supplemental Index(7)
    • Business Source Complete(5)
    • SwePub(3)
    • China Online Journals (Wanfang)(2)
    • Philosopher's Index(1)
    • IEEE Xplore Digital Library(1)

246

1 - 10 다음페이지로

내보내기

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

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

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

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