Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Akash Hossain, François Laroussinie |
From Quantified CTL to QBF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 26th International Symposium on Temporal Representation and Reasoning, TIME 2019, October 16-19, 2019, Málaga, Spain., pp. 11:1-11:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-127-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Lanlan Dong, Guanjun Liu, Dongming Xiang |
BUCKER 2.0: An Unfolding Based Checker for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: 16th IEEE International Conference on Networking, Sensing and Control, ICNSC 2019, Banff, AB, Canada, May 9-11, 2019, pp. 144-149, 2019, IEEE, 978-1-7281-0084-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Suya Zhao, Renzheng Wei, Lijun Cai, Aimin Yu, Dan Meng |
CTLMD: Continuous-Temporal Lateral Movement Detection Using Graph Embedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICS ![In: Information and Communications Security - 21st International Conference, ICICS 2019, Beijing, China, December 15-17, 2019, Revised Selected Papers, pp. 181-196, 2019, Springer, 978-3-030-41578-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Arya Balachandran, Yong Chen 0005, Chirn Chye Boon |
A 32-Gb/s 3.53-mW/Gb/s Adaptive Receiver AFE Employing a Hybrid CTLE, Edge-DFE and Merged Data-DFE/CDR in 65-nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APCCAS ![In: 2019 IEEE Asia Pacific Conference on Circuits and Systems, APCCAS 2019, Bangkok, Thailand, November 11-14, 2019, pp. 221-224, 2019, IEEE, 978-1-7281-2940-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Aleksandar S. Dimovski, Axel Legay, Andrzej Wasowski |
Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 192-209, 2019, Springer, 978-3-030-16721-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
17 | Florian Kammüller |
Attack Trees in Isabelle - CTL semantics, correctness and completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06494, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Jan Kretínský, Alexej Rotar |
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.11418, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Aleksandar S. Dimovski |
Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.04970, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Karam Allali, Sanaa Harroudi, Delfim F. M. Torres |
Analysis and Optimal Control of an Intracellular Delayed HIV Model with CTL Immune Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 12(2), pp. 111-127, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Aravindhan Ganesan, Theinmozhi Arulraj, Tahir Choulli, Khaled H. Barakat |
A mathematical modelling tool for unravelling the antibody-mediated effects on CTLA-4 interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Medical Informatics Decis. Mak. ![In: BMC Medical Informatics Decis. Mak. 18(1), pp. 37:1-37:17, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Chen Cai, Jianzhong Zhao, Yumei Zhou |
A 1.25-12.5 Gbps Adaptive CTLE with Asynchronous Statistic Eye-Opening Monitor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electr. Comput. Eng. ![In: J. Electr. Comput. Eng. 2018, pp. 3095950:1-3095950:9, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Dominik Wodarz, Pamela J. Skinner, David N. Levy, Elizabeth Connick |
Virus and CTL dynamics in the extrafollicular and follicular tissue compartments in SIV-infected macaques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 14(10), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
CTL* with graded path modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 262, pp. 1-21, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Mino Kim, Joo-Hyung Chae, Sungphil Choi, Gi-Moon Hong, Hyeongjun Ko, Deog-Kyoon Jeong, Suhwan Kim |
A 4266 Mb/s/pin LPDDR4 Interface With An Asynchronous Feedback CTLE and An Adaptive 3-Step Eye Detection Algorithm for Memory Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. II Express Briefs ![In: IEEE Trans. Circuits Syst. II Express Briefs 65-II(12), pp. 1894-1898, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Gang Chen, Min Gong, Dongbing Fu, Junan Zhang |
A high efficient CTLE for 12.5 Gbps receiver of JESD204B standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 15(15), pp. 20180617, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Yinhang Zhang, Qingsheng Hu |
A 33 Gb/s combined adaptive CTLE and half-rate look-ahead DFE in 0.13 µm BiCMOS technology for serial link. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 15(4), pp. 20170764, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Chuan Jiang, Gianfranco Ciardo |
Improving SAT-based Bounded Model Checking for Existential CTL through Path Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November 2018, pp. 471-487, 2018, EasyChair. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Frederik Bønneland, Jakob Dyhr, Peter Gjøl Jensen, Mads Johannsen, Jirí Srba |
Simplification of CTL Formulae for Efficient Model Checking of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, pp. 143-163, 2018, Springer, 978-3-319-91267-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Vazgen Sh. Melikyan, Arshavir V. Matevosyan, Arman S. Petrosyan, Armen A. Martirosyan, Karen T. Khachikyan, Ruben H. Musayelyan, Arman S. Trdatyan, David K. Hakobyan |
High Quality Factor 5.0 Gbps CTLE Circuit for SERDES Serial Links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2018 IEEE East-West Design & Test Symposium, EWDTS 2018, Kazan, Russia, September 14-17, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-5710-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Marc Jasper, Malte Mues, Maximilian Schlüter, Bernhard Steffen, Falk Howar |
RERS 2018: CTL, LTL, and Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (2) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II, pp. 433-447, 2018, Springer, 978-3-030-03420-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Udi Boker, Yariv Shaulian |
Automaton-Based Criteria for Membership in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 155-164, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Guodong Zhao 0001, Sihua Lin, Liying Li, Zhi Chen 0002 |
CTLinQ: Content-Centric Link Scheduling in Cache-Enabled Device-to-Device Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-3180-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Loredana Sorrentino, Sasha Rubin, Aniello Murano |
Graded CTL* over Finite Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTCS ![In: Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018., pp. 152-161, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Caterina Urban, Samuel Ueltschi, Peter Müller 0001 |
Abstract Interpretation of CTL Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, pp. 402-422, 2018, Springer, 978-3-319-99724-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Kevin Zheng, Yohan Frans, Ken Chang, Boris Murmann |
A 56 Gb/s 6 mW 300 um2 inverter-based CTLE for short-reach PAM2 applications in 16 nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICC ![In: 2018 IEEE Custom Integrated Circuits Conference, CICC 2018, San Diego, CA, USA, April 8-11, 2018, pp. 1-4, 2018, IEEE, 978-1-5386-2483-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Chuan Jiang, Gianfranco Ciardo |
Generation of Minimum Tree-Like Witnesses for Existential CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (1) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I, pp. 328-343, 2018, Springer, 978-3-319-89959-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Lanlan Dong, Guanjun Liu, Dongming Xiang |
Verifying CTL with Unfoldings of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (4) ![In: Algorithms and Architectures for Parallel Processing - 18th International Conference, ICA3PP 2018, Guangzhou, China, November 15-17, 2018, Proceedings, Part IV, pp. 47-61, 2018, Springer, 978-3-030-05062-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Jan Kretínský, Alexej Rotar |
The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, pp. 32:1-32:16, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-087-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi |
Efficient Parallel CTL Model-Checking for Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA/IUCC/BDCloud/SocialCom/SustainCom ![In: IEEE International Conference on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018, Melbourne, Australia, December 11-13, 2018, pp. 23-30, 2018, IEEE, 978-1-7281-1141-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Siti Ramadhani, Saide 0001, Richardus Eko Indrajit |
Improving Creativity of Graphic Design for Deaf Students Using Contextual Teaching Learning Method (CTL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISDM ![In: Proceedings of the 2nd International Conference on Information System and Data Mining, ICISDM 2018, Lakeland, FL, USA, April 09-11, 2018, pp. 136-140, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Nagat Drawel, Jamal Bentahar, Mohamed El-Menshawy, Amine Laarej |
Verifying Temporal Trust Logic using CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TRUST@AAMAS ![In: Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, Stockholm, Sweden, July 14, 2018., pp. 62-74, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
17 | Aleksandar S. Dimovski |
Abstract Family-Based Model Checking Using Modal Featured Transition Systems: Preservation of CTL\(^{\star }\). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings., pp. 301-318, 2018, Springer, 978-3-319-89362-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
17 | Wahid Rahman, Danny Yoo, Joshua Liang, Ali Sheikholeslami, Hirotaka Tamura, Takayuki Shibasaki, Hisakatsu Yamaguchi |
A 22.5-to-32-Gb/s 3.2-pJ/b Referenceless Baud-Rate Digital CDR With DFE and CTLE in 28-nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Solid State Circuits ![In: IEEE J. Solid State Circuits 52(12), pp. 3517-3531, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Di Wang 0016, Hong Bao, Feifei Zhang |
CTL-DNNet: Effective Circular Traffic Light Recognition with a Deep Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Pattern Recognit. Artif. Intell. ![In: Int. J. Pattern Recognit. Artif. Intell. 31(11), pp. 1750037:1-1750037:15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yan Wang, Daqing Jiang, Tasawar Hayat, Bashir Ahmad 0003 |
A stochastic HIV infection model with T-cell proliferation and CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 315, pp. 477-493, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yu Yang, Tonghua Zhang, Yancong Xu, Jinling Zhou |
A Delayed Virus Infection Model with Cell-to-Cell Transmission and CTL Immune Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 27(10), pp. 1750150:1-1750150:15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Maedeh Fallahi, Abumoslem Jannesari |
A Low-Power Three-Tap DFE with Switched Resistor Slicer and CTLE in 0.18μm CMOS Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 26(12), pp. 1750199:1-1750199:14, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Afsaneh Jalalian, Syamsiah Mashohor, Rozi Mahmud, Babak Karasfi, M. Iqbal Saripan, Abdul Rahman Ramli |
Computer-Assisted Diagnosis System for Breast Cancer in Computed Tomography Laser Mammography (CTLM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 30(6), pp. 796-811, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Roderick Bloem, Sven Schewe, Ayrat Khalimov 0001 |
CTL* synthesis via LTL synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNT@CAV ![In: Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017., pp. 4-22, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | John Christopher McCabe-Dansted, Mark Reynolds 0001 |
Rewrite rules for CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 21, pp. 24-56, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Ayrat Khalimov 0001, Roderick Bloem |
Bounded Synthesis for Streett, Rabin, and \text CTL^*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, pp. 333-352, 2017, Springer, 978-3-319-63389-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Lilleskare, Lars Michael Kristensen, Sven-Olai Høyland |
CTL Model Checking with the Sweep-line State Space Exploration Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NIK ![In: 30th Norsk Informatikkonferanse, NIK 2017, Westerdals Oslo ACT, Oslo, Norway, November 27-29, 2017, 2017, Bibsys Open Journal Systems, Norway. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Sima Ahmadpour, Ali Khaleghi |
Central Trouble Ticketing (CTT) System as a Communication Tool between Stakeholders of Center of Training and learning (CTL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIME ![In: Proceedings of the 9th International Conference on Information Management and Engineering, Barcelona, Spain, October 09 - 11, 2017, pp. 91-95, 2017, ACM, 978-1-4503-5337-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Fei Pu |
Bounded Correctness Checking for Extended CTL Properties with Past Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GSKI (2) ![In: Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II, pp. 563-573, 2017, Springer, 978-981-13-0895-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs |
CTL formula evaluation by term rewriting inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: 9th International Conference on Electronics, Computers and Artificial Intelligence, ECAI 2017, Targoviste, Romania, June 29 - July 1, 2017, pp. 1-10, 2017, IEEE, 978-1-5090-6457-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yiwang Huang, Zaiwen Feng, Keqing He, Songjin Xu |
Compliance Analysis of Configurable Business Process Model Based on Extend CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BigData Congress ![In: 2017 IEEE International Congress on Big Data, BigData Congress 2017, Honolulu, HI, USA, June 25-30, 2017, pp. 419-426, 2017, IEEE Computer Society, 978-1-5386-1996-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Yinhang Zhang, Qingsheng Hu, Yongzheng Zhan |
A 20 Gb/s Wireline Receiver with Adaptive CTLE and Half-Rate DFE in 0.13 µm Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWIC ![In: Wired/Wireless Internet Communications - 15th IFIP WG 6.2 International Conference, WWIC 2017, St. Petersburg, Russia, June 21-23, 2017, Proceedings, pp. 292-303, 2017, Springer, 978-3-319-61381-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Wahid Rahman, Danny Yoo, Joshua Liang, Ali Sheikholeslami, Hirotaka Tamura, Takayuki Shibasaki, Hisakatsu Yamaguchi |
6.6 A 22.5-to-32Gb/s 3.2pJ/b referenceless baud-rate digital CDR with DFE and CTLE in 28nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSCC ![In: 2017 IEEE International Solid-State Circuits Conference, ISSCC 2017, San Francisco, CA, USA, February 5-9, 2017, pp. 120-121, 2017, IEEE, 978-1-5090-3758-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Valentin Goranko, Antti Kuusisto, Raine Rönnholm |
CTL with Finitely Bounded Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium, pp. 14:1-14:19, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-052-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Norbert Hundeshagen, Martin Lange |
Model Checking CTL over Restricted Classes of Automatic Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, pp. 87-100, 2017, Springer, 978-3-319-67088-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Qiuju Zhou, Guilin Meng, Ying Ding 0001 |
Who bridged the "Valley of Death" between basic research and clinical research? In the case of immune-checkpoints CTLA-4 and PD-1 based on inter-citation network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIST ![In: Diversity of Engagement: Connecting People and Information in the Physical and Virtual Worlds - Proceedings of the 80th ASIS&T Annual Meeting, ASIST 2017, Washington, DC, USA, October 27 - November 1, 2017, pp. 855-856, 2017, Wiley. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
17 | Jeremy Kong, Alessio Lomuscio |
Symbolic Model Checking Multi-Agent Systems against CTL*K Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017, pp. 114-122, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
17 | Carlo Bellettini, Matteo Camilli, Lorenzo Capra, Mattia Monga |
Distributed CTL model checking using MapReduce: theory and practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 28(11), pp. 3025-3041, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Zohra Sbaï, Rawand Guerfel |
CTL Model Checking of Web Services Composition based on Open Workflow Nets Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Serv. Sci. Manag. Eng. Technol. ![In: Int. J. Serv. Sci. Manag. Eng. Technol. 7(1), pp. 27-42, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yong-Hun Kim, Young-Ju Kim 0001, Taeho Lee 0001, Lee-Sup Kim |
A 21-Gbit/s 1.63-pJ/bit Adaptive CTLE and One-Tap DFE With Single Loop Spectrum Balancing Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 24(2), pp. 789-793, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Ting Guo, Haihong Liu, Chenglin Xu, Fang Yan |
Dynamics of a Delayed HIV-1 Infection Model with Saturation Incidence Rate and CTL Immune Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 26(14), pp. 1650234:1-1650234:26, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yu Yang, Yancong Xu |
Global stability of a diffusive and delayed virus dynamics model with Beddington-DeAngelis incidence function and CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 71(4), pp. 922-930, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Hui Miao 0002, Zhidong Teng, Zhiming Li |
Global Stability of Delayed Viral Infection Models with Nonlinear Antibody and CTL Immune Responses and General Incidence Rate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Methods Medicine ![In: Comput. Math. Methods Medicine 2016, pp. 3903726:1-3903726:21, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Jian Yang, Jixiang Liu, Liang Ouyang, Yi Chen, Bo Liu, Haoyang Cai |
CTLPScanner: a web server for chromothripsis-like pattern detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 44(Webserver-Issue), pp. W252-W258, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Danny Arends, Yang Li 0036, Gudrun A. Brockmann, Ritsert C. Jansen, Robert W. Williams, Pjotr Prins |
Correlation Trait Loci (CTL) mapping: phenotype network inference subject to genotype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Open Source Softw. ![In: J. Open Source Softw. 1(6), pp. 87, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Jonas Finnemann Jensen, Kim Guldstrand Larsen, Jirí Srba, Lars Kaerlund Oestergaard |
Efficient model-checking of weighted CTL with upper-bound constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 18(4), pp. 409-426, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Divya Duvvuri, Vijaya Sankara Rao Pasupureddi |
Design and analysis of a current mode integrated CTLE with charge mode adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. J. ![In: Microelectron. J. 53, pp. 81-89, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko |
Efficient CTL Verification via Horn Constraints Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCVS@ETAPS ![In: Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Raphaël Berthon, Bastien Maubert, Aniello Murano |
Quantified CTL with imperfect information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1611.03524, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
17 | Miloud Bennama, Thouraya Bouabana-Tebibel |
A CTL-based OCL extension using CPN ML for UML validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 6(4), pp. 302-321, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Christian Doczkal, Gert Smolka |
Completeness and Decidability Results for CTL in Constructive Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 56(3), pp. 343-365, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Tobias Klenze, Sam Bayless, Alan J. Hu |
Fast, Flexible, and Minimal CTL Synthesis via SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I, pp. 136-156, 2016, Springer, 978-3-319-41527-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Divya Duvvuri, Vijaya Sankara Rao Pasupureddi |
An Integrated Common Gate CTLE Receiver Front End with Charge Mode Adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2016, Pittsburgh, PA, USA, July 11-13, 2016, pp. 12-17, 2016, IEEE Computer Society, 978-1-4673-9039-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Amin Aghighi, Abdul Hafiz Alameh, Mohammad Taherzadeh-Sani, Frederic Nabki |
A 10-Gb/s low-power low-voltage CTLE using gate and bulk driven transistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 2016 IEEE International Conference on Electronics, Circuits and Systems, ICECS 2016, Monte Carlo, Monaco, December 11-14, 2016, pp. 217-220, 2016, IEEE, 978-1-5090-6113-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
Probabilistic CTL*: The Deductive Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 280-296, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
17 | Yong-Hun Kim, Young-Ju Kim 0001, Tae-Ho Lee 0001, Lee-Sup Kim |
An 11.5 Gb/s 1/4th Baud-Rate CTLE and Two-Tap DFE With Boosted High Frequency Gain in 110-nm CMOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 23(3), pp. 588-592, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Krebs, Arne Meier, Martin Mundhenk |
The model checking fingerprints of CTL operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.04708, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Zhanyong Tang, Jie Zhang 0028, Xiaoqing Gong, Xiaohua Cheng, Xiaojiang Chen, Dingyi Fang, Wei Wang 0056 |
CTLL: A Cell-Based Transfer Learning Method for Localization in Large Scale Wireless Sensor Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Distributed Sens. Networks ![In: Int. J. Distributed Sens. Networks 11, pp. 252653:1-252653:18, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
Sound and complete timed CTL model checking of timed Kripke structures and real-time rewrite theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 99, pp. 128-192, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
On CTL* with Graded Path Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 281-296, 2015, Springer, 978-3-662-48898-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Byron Cook, Heidy Khlaaf, Nir Piterman |
On Automation of CTL* Verification for Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pp. 13-29, 2015, Springer, 978-3-319-21689-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lingyun Situ, Lingzhong Zhao |
CSP Bounded Model Checking of Preprocessed CTL Extended with Events Using Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2015 Asia-Pacific Software Engineering Conference, APSEC 2015, New Delhi, India, December 1-4, 2015, pp. 16-23, 2015, IEEE Computer Society, 978-1-4673-9644-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, pp. 549-560, 2015, Springer, 978-3-319-15578-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Kailiang Ji |
CTL Model Checking in Deduction Modulo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings, pp. 295-310, 2015, Springer, 978-3-319-21400-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Norihiro Kamide, Daiki Koizumi |
Combining Paraconsistency and Probability in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (2) ![In: ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., pp. 285-293, 2015, SciTePress, 978-989-758-074-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
17 | Ming-Shuan Chen, Mau-Chung Frank Chang, Chih-Kong Ken Yang |
A low-PDP and low-area repeater using passive CTLE for on-chip interconnects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSIC ![In: Symposium on VLSI Circuits, VLSIC 2015, Kyoto, Japan, June 17-19, 2015, pp. 244-, 2015, IEEE, 978-4-86348-502-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Minseo Kim, Joonsung Bae, Unsoo Ha, Hoi-Jun Yoo |
A 24-mW 28-Gb/s wireline receiver with low-frequency equalizing CTLE and 2-tap speculative DFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: 2015 IEEE International Symposium on Circuits and Systems, ISCAS 2015, Lisbon, Portugal, May 24-27, 2015, pp. 1610-1613, 2015, IEEE, 978-1-4799-8391-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Krebs, Arne Meier, Jonni Virtema |
A Team Based Variant of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015, pp. 140-149, 2015, IEEE Computer Society, 978-1-4673-9317-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Krebs, Arne Meier, Martin Mundhenk |
The Model Checking Fingerprints of CTL Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015, pp. 101-110, 2015, IEEE Computer Society, 978-1-4673-9317-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lubos Brim, Milan Ceska 0002, Martin Demko, Samuel Pastva, David Safránek |
Parameter Synthesis by Parallel Coloured CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 251-263, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
17 | Lan Zhang 0001, Ullrich Hustadt, Clare Dixon |
A resolution calculus for the branching-time temporal logic CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 15(1), pp. 10:1-10:38, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Frédéric Gava, Franck Pommereau, Michaël Guedj |
A BSP algorithm for on-the-fly checking CTL* formulas on security protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 69(2), pp. 629-672, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Xiaohong Tian, Rui Xu 0003 |
Global stability and Hopf bifurcation of an HIV-1 infection model with saturation incidence and delayed CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 237, pp. 146-154, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Miguel Carrillo, David A. Rosenblueth |
CTL update of Kripke models through protections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 211, pp. 51-74, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Fu Song, Tayssir Touili |
Efficient CTL model-checking for pushdown systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 549, pp. 127-145, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL: Courcelle's Theorem For Infinite Vocabularies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR14, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Benjamin Aminof, Aniello Murano, Sasha Rubin |
Satisfiability and Model Checking of CTL* with Graded Path Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.7551, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | François Laroussinie, Nicolas Markey |
Quantified CTL: Expressiveness and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 10(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Martin Lück, Arne Meier, Irina Schindler |
Parameterized Complexity of CTL: A Generalization of Courcelle's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4044, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Tewodros A. Beyene, Marc Brockschmidt, Andrey Rybalchenko |
CTL+FO Verification as Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.3988, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
17 | Thea Hogan, Ulrich D. Kadolsky, Sim Tung, Benedict Seddon, Andrew J. Yates |
Spatial Heterogeneity and Peptide Availability Determine CTL Killing Efficiency In Vivo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 10(9), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Christiaan H. van Dorp, Michiel van Boven, Rob J. De Boer |
Immuno-epidemiological Modeling of HIV-1 Predicts High Heritability of the Set-Point Virus Load, while Selection for CTL Escape Dominates Virulence Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 10(12), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Marjet Elemans, Arnaud Florins, Luc Willems, Becca Asquith |
Rates of CTL Killing in Persistent Viral Infection In Vivo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 10(4), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Cuifang Lv, Lihong Huang, Zhaohui Yuan |
Global stability for an HIV-1 infection model with Beddington-DeAngelis incidence rate and CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 19(1), pp. 121-127, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
17 | Somanshu Agarwal, Vijaya Sankara Rao Pasupureddi |
A 5-Gb/s adaptive CTLE with eye-monitoring for multi-drop bus applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 57th International Midwest Symposium on Circuits and Systems, MWSCAS 2014, College Station, TX, USA, August 3-6, 2014, pp. 410-413, 2014, IEEE, 978-1-4799-4134-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|