Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Sinu Paul, Helen Piontkivska |
Highly conserved and associated HIV-1 CTL and T-Helper epitopes in global HIV-1 population: potential candidates for multi-epitope HIV-1 vaccine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BCB ![In: Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology, BCB 2010, Niagara Falls, NY, USA, August 2-4, 2010, pp. 648, 2010, ACM, 978-1-4503-0438-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Francesco Poli |
Symbolic model checking of real-time CTL properties over preemptive time petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
18 | Alessandro Ferrante, Margherita Napoli, Mimmo Parente |
Model Checking for Graded CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 96(3), pp. 323-339, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Régis Gascon |
An Automata-based Approach for CTL* With Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems, INFINITY 2006 / 2007 / 2008, Bonn, Germany, August 26, 2006 / Lisbon, Portugal, September 8, 2007 / Toronto, Canada, August 23, 2008, pp. 193-211, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Liang Xu, Wei Chen 0018, Yanyan Xu 0001, Wenhui Zhang |
Improved Bounded Model Checking for the Universal Fragment of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(1), pp. 96-109, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking algorithm, ACTL, SAT, software verification, bounded model checking |
18 | Xueyong Zhou, Xiangyun Shi, Zhonghua Zhang, Xinyu Song 0001 |
Dynamical behavior of a virus dynamics model with CTL immune response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 213(2), pp. 329-347, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Rohit Kapur, Paul Reuter, Sandeep Bhatia, Brion L. Keller |
CTL and Its Usage in the EDA Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 26(1), pp. 36-43, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Frederik Graw, Roland R. Regoes |
Investigating CTL Mediated Killing with a 3D Cellular Automaton. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 5(8), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): A specification language for agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 64(1), pp. 31-40, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Pawel Gluchowski |
Languages of CTL and RTCTL Calculi in Real-Time Analysis of a System Described by a Fault Tree with Time Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DepCoS-RELCOMEX ![In: Fourth International Conference on Dependability of Computer Systems, DepCos-RELCOMEX '09, Brunow, Poland, June 30 - July 2, 2009, pp. 33-41, 2009, IEEE Computer Society, 978-0-7695-3674-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Christian Miller, Tobias Nopper, Christoph Scholl 0001 |
Symbolic CTL Model Checking for Incomplete Designs by Selecting Property-Specific Subsets of Local Component Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009, pp. 87-96, 2009, Universitätsbibliothek Berlin, Germany. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Bozena Wozna-Szczesniak |
Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEE-SET ![In: Advances in Software Engineering Techniques - 4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009. Revised Selected Papers, pp. 164-178, 2009, Springer, 978-3-642-28037-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Catalin Dima |
Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 29-36, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
timed automata, epistemic logics |
18 | Olaf Beyersdorff, Arne Meier, Michael Thomas 0001, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002 |
Model Checking CTL is Almost Always Inherently Sequential. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 21-28, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model checking, complexity, temporal logic |
18 | Andrea Masini, Luca Viganò 0001, Marco Volpe 0001 |
A Labeled Natural Deduction System for a Fragment of CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 338-353, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Yan Zhang 0003, Yulin Ding |
CTL Model Update for System Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 31, pp. 113-155, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan M. Carlson, Zabrina L. Brumme, Christine M. Rousseau, Chanson J. Brumme, Philippa Matthews, Carl Myers Kadie, James I. Mullins, Bruce D. Walker, P. Richard Harrigan, Philip J. R. Goulder, David Heckerman |
Phylogenetic Dependency Networks: Inferring Patterns of CTL Escape and Codon Covariation in HIV-1 Gag. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 4(11), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Dov M. Gabbay, Amir Pnueli |
A Sound and Complete Deductive System for CTL* Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 16(6), pp. 499-536, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Yulin Ding, Yan Zhang |
A Study of the Model Explosion Problem in CTL Model Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), San Francisco, CA, USA, July 1-3, 2008, pp. 752-757, 2008, Knowledge Systems Institute Graduate School, 1-891706-22-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Laura Florentina Cacovean, Iulian Pah, Emil Marin Popa, Cristina Ioana Brumar |
Algorithm and an Elevator Control System Example for CTL Model Update. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2008 - Proceedings of the International Conference on e-Business, Porto, Portugal, July 26-29, 2008, ICE-B is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 77-80, 2008, INSTICC Press, 978-989-8111-58-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | |
Overview of IEEE P1450.6.2 Standard; Creating CTL Model For Memory Test and Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: 2008 IEEE International Test Conference, ITC 2008, Santa Clara, California, USA, October 26-31, 2008, pp. 1, 2008, IEEE Computer Society, 978-1-4244-2403-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni |
CTL AgentSpeak(L): a specification language for agent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-NMR ![In: Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
18 | Thomas Ågotnes, Wiebe van der Hoek, Michael J. Wooldridge |
Completeness and Complexity of Multi-modal CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
M4M ![In: Proceedings of the 5th Workshop on Methods for Modalities, M4M 2007, Cachan, France, November 29-30, 2007, pp. 259-275, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Ling Fang, Masataka Sassa |
Generating Java Compiler Optimizers Using Bidirectional CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Proceedings of the Workshop on Compiler Optimization meets Compiler Verification, COCV@ETAPS 2007, Braga, Portugal, March 25, 2007, pp. 49-63, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Mark Reynolds 0001 |
A Tableau for Bundled CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 17(1), pp. 117-132, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Shireesh Verma, Ian G. Harris, Kiran Ramineni |
Automatic generation of functional coverage models from CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: IEEE International High Level Design Validation and Test Workshop, HLDVT 2007, Irvine, CA, USA, November 7-9, 2007, pp. 159-164, 2007, IEEE Computer Society, 978-1-4244-1480-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Raffaella Gentilini, Klaus Schneider 0001, Bud Mishra |
Successive Abstractions of Hybrid Automata for Monotonic CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 224-240, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Taufiq Rochaeli, Claudia Eckert 0001 |
Model Checking of Restricted CTL* Formulas using ALCK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007, 2007, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
18 | Samik Basu 0001, Partha S. Roop, Roopak Sinha |
Local Module Checking for CTL Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FESCA@ETAPS ![In: Proceedings of the Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2006, Vienna, Austria, March 26, 2006, pp. 125-141, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Daniel Aguiar da Silva, Patrícia D. L. Machado |
Towards Test Purpose Generation from CTL Properties for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBT ![In: Proceedings of the Second Workshop on Model Based Testing, MBT 2006, Vienna, Austria, March 25-26, 2006, pp. 29-40, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Adam Antonik, Michael Huth 0001 |
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006, pp. 41-57, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Zoltán Ésik |
Characterizing CTL-like logics on finite trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 356(1-2), pp. 136-152, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Hanifa Boucheneb, Rachid Hadjidj |
CTL* model checking for time Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 353(1-3), pp. 208-227, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Shengbing Jiang, Ratnesh Kumar 0001 |
Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 44(6), pp. 2079-2103, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Vitaly V. Ganusov, Rob J. De Boer |
Estimating Costs and Benefits of CTL Escape Mutations in SIV/HIV Infection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 2(3), 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Florian Pigorsch, Christoph Scholl 0001, Stefan Disch |
Advanced Unbounded CTL Model Checking By Using AIGs, BDD Sweeping, and Quantifier Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006, pp. 135-144, 2006, Fraunhofer Institut für Integrierte Schaltungen. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Yulin Ding, Yan Zhang |
CTL Model Update: Semantics, Computations and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings, pp. 362-366, 2006, IOS Press, 1-58603-642-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Model checking the basic modalities of CTL with Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006, 2006, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Mustapha Bourahla |
Distributed CTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEE Proc. Softw. ![In: IEE Proc. Softw. 152(6), pp. 297-308, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Yonit Kesten, Amir Pnueli |
A compositional approach to CTL* verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 331(2-3), pp. 397-428, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Lluch-Lafuente, Ugo Montanari |
Quantitative mu-calculus and CTL defined over constraint semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 346(1), pp. 135-160, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, Eugénie Foustoucos, Irène Guessarian |
On relating CTL to Datalog ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0510012, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Nguyen Truong Thang, Takuya Katayama |
Specification and verification of inter-component constraints in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAVCBS@ESEC/FSE ![In: Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems, SAVCBS '05, Lisbon, Portugal, September 5-6, 2005, pp. 8, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Hidetomo Machi, Kohji Tomita, Chiharu Hosono |
The Relative Completeness of a Version of CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CATS ![In: Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005, pp. 81-85, 2005, Australian Computer Society, 1-920682-23-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Beata Konikowska, Wojciech Penczek |
On Designated Values in Multi-valued CTL* Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 60(1-4), pp. 211-224, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Cécile Braunstein, Emmanuelle Encrenaz |
CTL-Property Transformations Along an Incremental Design Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVoCS ![In: Proceedings of the Fouth International Workshop on Automated Verification of Critical Systems, AVoCS 2004, London, UK, September 4, 2004, pp. 263-278, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mustapha Bourahla, Mohamed Benmohamed |
Analysis of Real-Time Systems with CTL Model Checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004, pp. 41-60, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Cornelia P. Inggs, Howard Barringer |
CTL* Model Checking on a Shared-Memory Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 107-123, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Lluch-Lafuente, Ugo Montanari |
Quantitative ?-calculus and CTL Based on Constraint Semirings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QAPL ![In: Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, QAPL 2004, Barcelona, Spain, March 27-28, 2004, pp. 37-59, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Mustapha Bourahla, Mohamed Benmohamed |
Distributing State Space for Parallel Computation of CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 28(3), pp. 297-305, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
18 | Sebastian Bauer 0004, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev |
On Non-local Propositional and Weak Monodic Quantified CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 14(1), pp. 3-22, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Martin Leucker, Rafal Somla, Michael Weber 0002 |
Parallel Model Checking for LTL, CTL*, and Lµ2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CAV ![In: 2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003, pp. 4-16, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Mile K. Stojcev |
Rohit Kapur, CTL for Test Information of Digital ICs Hardcover. Kluwer Academic Publisher, Boston, 2003. pp 173, plus XI, ISBN 1-4020-7293-7. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 43(7), pp. 1171-1172, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Faron Moller, Alexander Moshe Rabinovich |
Counting on CTL*: on the expressive power of monadic path logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 184(1), pp. 147-159, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Foto N. Afrati, Theodore Andronikos, Vassia Pavlaki, E. Foustoukos, Irène Guessarian |
From CTL to Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCK50 ![In: PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003, pp. 72-85, 2003, ACM, 1-58113-604-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Salvatore Talluto 0001 |
CTL based DFT solution to accelerate design to test development for system on chip devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoC ![In: Proceedings of the 2003 International Symposium on System-on-Chip, Tampere, Finland, November 19-21, 2003, 2003, IEEE, 0-7803-8160-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny |
Bounded Model Checking for the Universal Fragment of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 51(1-2), pp. 135-156, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
18 | Lubos Brim, Jitka Crhová, Karen Yorav |
Using Assumptions to Distribute CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC@CONCUR ![In: Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002, pp. 559-574, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Carl Christian Frederiksen |
Correctness of Classical Compiler Optimizations using CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCV@ETAPS ![In: Compiler Optimization Meets Compiler Verification, COCV 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002, pp. 37-51, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Adnan Aziz, Thomas R. Shiple, Vigyan Singhal, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
Formula-Dependent Equivalence for Compositional CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 21(2), pp. 193-224, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | David N. Jansen, Roel J. Wieringa |
Extending CTL with Actions and Real Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 12(4), pp. 607-621, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Alan Martin |
Adequate Sets of Temporal Connectives in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS ![In: 8th International Workshop on Expressiveness in Concurrency, EXPRESS 2001, Satellite Workshop from CONCUR 2001, Aalborg, Denmark, August 20, 2001, pp. 21-31, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
Model Checking CTL+ and FCTL is Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 318-331, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Shengbing Jiang, Ratnesh Kumar 0001 |
Supervisory control of discrete event systems with CTL* temporal logic specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 40th IEEE Conference on Decision and Control, CDC 2001, Orlando, FL, USA, 4-7 Dec., 2001, pp. 4122-4127, 2001, IEEE, 0-7803-7061-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Rohit Kapur, Maurice Lousberg, Tony Taylor, Brion L. Keller, Paul Reuter, Douglas Kay |
CTL the language for describing core-based test. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 2001, Baltimore, MD, USA, 30 October - 1 November 2001, pp. 131-139, 2001, IEEE Computer Society, 0-7803-7169-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Karsten Schmidt 0004 |
Stubborn Sets for Model Checking the EF/AG Fragment of CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 43(1-4), pp. 331-341, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
18 | Alexander Bolotov, Michael Fisher 0001 |
A clausal resolution method for CTL branching-time temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Exp. Theor. Artif. Intell. ![In: J. Exp. Theor. Artif. Intell. 11(1), pp. 77-93, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | J. Leubcke, Ulf Nilsson |
On-the-Fly Model Checking of CTL Formulas Using Constraint Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP Workshops ![In: Object-Oriented Technology, ECOOP'99 Workshop Reader, ECOOP'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings, pp. 261, 1999, Springer, 3-540-66954-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Michael Huth 0001, Marta Z. Kwiatkowska |
Comparing CTL and PCTL on labeled Markov chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 244-262, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
18 | In-Ho Moon, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi, Jun Yuan 0007, Carl Pixley |
Approximate reachability don't cares for CTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1998, San Jose, CA, USA, November 8-12, 1998, pp. 351-358, 1998, ACM / IEEE Computer Society, 1-58113-008-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Jürgen Bohn 0002, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster |
First-Order-CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 18th Conference, Chennai, India, December 17-19, 1998, Proceedings, pp. 283-294, 1998, Springer, 3-540-65384-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Willem Visser, Howard Barringer, Donal Fellows, Graham Gough, Alan R. Williams |
Efficient CTL* model checking for analysis of rainbow designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada, pp. 128-145, 1997, Chapman & Hall, 0-412-81330-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
18 | Ulrich Nitsche |
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, pp. 276-282, 1997, Springer, 3-540-63045-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Ales Casar, Zmago Brezocnik, Tatjana Kapus |
Exploiting Partitioned Transition Relations for Efficient Symbolic Model Checking in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ED&TC ![In: 1996 European Design and Test Conference, ED&TC 1996, Paris, France, March 11-14, 1996, pp. 606, 1996, IEEE Computer Society, 0-8186-7423-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Tomohiro Yoneda, Hideyuki Hatori, Atsushi Takahara, Shin-ichi Minato |
BDDs vs. Zero-Suppressed BDDs: for CTL Symbolic Model Checking of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings, pp. 435-449, 1996, Springer, 3-540-61937-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | François Laroussinie |
About the Expressive Power of CTL Combinators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 54(6), pp. 343-345, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Girish Bhat, Rance Cleaveland, Orna Grumberg |
Efficient On-the-Fly Model Checking for CTL* ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995, pp. 388-397, 1995, IEEE Computer Society, 0-8186-7050-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Mads Dam |
CTL* and ECTL* as Fragments of the Modal mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 126(1), pp. 77-96, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alberto Zanardo, José Carmo |
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 3(3), pp. 249-268, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Ramin Hojati, Thomas R. Shiple, Robert K. Brayton, Robert P. Kurshan |
A Unified Approach to Language Containment and Fair CTL Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 475-481, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Thomas R. Shiple, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
Automatic Reduction in CTL Compositional Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings, pp. 234-247, 1992, Springer, 3-540-56496-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Massimiliano Chiodo, Thomas R. Shiple, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton |
Automatic compositional minimization in CTL model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 1992 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 1992, Santa Clara, CA, USA, November 8-12, 1992. Digest of Technical Papers, pp. 172-178, 1992, IEEE Computer Society / ACM, 0-8186-3010-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Mads Dam |
CTL* and ECTL* as Fragments of the Modal µ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 145-164, 1992, Springer, 3-540-55251-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Maciej Koutny |
Axiom system induced by CTL* Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 14(2), pp. 235-253, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
18 | Tong Gao Tang |
Temporal Logic CTL + PROLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 5(1), pp. 49-65, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Bernhard Josko |
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 165-187, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
18 | E. Allen Emerson, A. Prasad Sistla |
Deciding Branching Time Logic: A Triple Exponential Decision Procedure for CTL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings, pp. 176-192, 1983, Springer, 3-540-12896-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
9 | Jameleddine Hassine, Juergen Rilling, Rachida Dssouli |
Use Case Maps as a property specification language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 8(2), pp. 205-220, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Temporal and architectural scope, Formal verification, Temporal logic, Use Case Maps, Property specification |
9 | Tingting Han 0001, Joost-Pieter Katoen, Berteun Damman |
Counterexample Generation in Probabilistic Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(2), pp. 241-257, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Mehdi Talbi, Mohamed Mejri, Adel Bouhoula |
Specification and evaluation of polymorphic shellcode properties using a new temporal logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 5(3), pp. 171-186, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 42(2-4), pp. 229-264, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
9 | Kerstin Bauer, Raffaella Gentilini, Klaus Schneider 0001 |
Property Driven Three-Valued Model Checking on Hybrid Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 218-229, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | John Burns 0001, Heather J. Ruskin, Dimitri Perrin, John Walsh |
Visualization of Complex Biological Systems: An Immune Response Model Using OpenGL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (1) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1, pp. 671-679, 2009, Springer, 978-3-642-02465-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Visualization, Emergent Behavior, Immune Response |
9 | Mikolaj Bojanczyk, Howard Straubing, Igor Walukiewicz |
Wreath Products of Forest Algebras, with Applications to Tree Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 255-263, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam |
L2C2: logic-based LSC consistency checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, September 7-9, 2009, Coimbra, Portugal, pp. 183-194, 2009, ACM, 978-1-60558-568-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
play-tree, logic programming, memoization, live sequence chart (lsc), scenario-based programming |
9 | Wei Chen 0018, Wenhui Zhang |
Bounded Model Checking of ACTL Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China, pp. 90-99, 2009, IEEE Computer Society, 978-0-7695-3757-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson |
REMES: A Resource Model for Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 84-94, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Peter Novák 0001, Wojciech Jamroga |
Code patterns for agent-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS (1) ![In: 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, pp. 105-112, 2009, IFAAMAS, 978-0-9817381-6-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
ai, description level: methodologies and languages, focus: agent programming languages, inspiration source: robotics, temporal logic, agent-oriented programming, code patterns |
9 | Norihiro Kamide, Ken Kaneiwa |
Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2009: Advances in Artificial Intelligence, 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings, pp. 485-494, 2009, Springer, 978-3-642-10438-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
9 | Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir |
Open answer set programming with guarded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(4), pp. 26:1-26:53, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fixed-point logic, open domains, Answer set programming |