|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2488 occurrences of 1369 keywords
|
|
|
Results
Found 3588 publication records. Showing 3588 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich |
The synergy of precise and fast abstractions for program verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 566-573, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CEGAR, predicate abstraction, abstraction refinement |
25 | Dirk Beyer 0001, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko |
Path invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 300-309, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement |
25 | Melvin Fitting |
FOIL Axiomatized. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 84(1), pp. 1-22, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modal logic, predicate abstraction, axiomatization, tableaux, intensional logic |
25 | Matthias Baaz, Rosalie Iemhoff |
On Interpolation in Existence Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings, pp. 697-711, 2005, Springer, 3-540-30553-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
existence predicate, Gentzen calculus, Beth definability, truth-value logics, Gödel logics, Scott logics, interpolation, cut-elimination, Intuitionistic logic, Kripke models, Skolemization |
25 | Mangala Gowri Nanda, Christian Grothoff, Satish Chandra 0001 |
Deriving object typestates in the presence of inter-object references. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 77-96, 2005, ACM, 1-59593-031-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Java, predicate abstraction, alias analysis, interface specification, heap analysis |
25 | Wei Zhang, Tok Wang Ling, Zhuo Chen, Gillian Dobbie |
XDO2: A Deductive Object-Oriented Query Language for XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DASFAA ![In: Database Systems for Advanced Applications, 10th International Conference, DASFAA 2005, Beijing, China, April 17-20, 2005, Proceedings, pp. 311-322, 2005, Springer, 3-540-25334-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML query language, not-predicate negation, fixpoint semantics, deductive rule |
25 | Songtao Xia, Ben Di Vito, César A. Muñoz |
Automated test generation for engineering applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 283-286, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
model-checking, test case generation, predicate abstraction |
25 | Neeraj Mittal, Vijay K. Garg |
Finding missing synchronization in a distributed computation using controlled re-execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 17(2), pp. 107-130, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Controlled re-execution, Predicate control, Distributed system, Debugging, Software-fault tolerance |
25 | Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu |
VCR indexing for fast event matching for highly-overlapping range predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 740-747, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VCR indexing, event matching, predicate indexing, virtual construct rectangles, continual queries, Pub/Sub |
25 | Sagar Chaki, Alex Groce, Ofer Strichman |
Explaining abstract counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 73-82, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
model checking, fault localization, predicate abstraction |
25 | Roberto Giacobazzi, Isabella Mastroeni |
Domain Compression for Complete Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 146-160, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains |
25 | Markus Müller-Olm, Andreas Wolf 0004 |
On the Translation of Procedures to Finite Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 290-304, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
resource-limitation, verification, compiler, refinement, correctness, procedure, predicate transformer |
25 | Albert Atserias |
The Descriptive Comlexity of the Fixed-Points of Bounded Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 172-186, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Circuit uniformity, BIT predicate, logarithmic-time hierarchy, rudimentary languages, integer division |
25 | Markus Müller-Olm, Andreas Wolf 0004 |
On Excusable and Inexcusable Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1107-1127, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer |
25 | Craig M. Chase, Vijay K. Garg |
Detection of Global Predicates: Techniques and Their Limitations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 11(4), pp. 191-201, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Unstable predicates, Distributed debugging, Predicate detection |
25 | Maria Brielmann, Joachim Stroop, Uwe Honekamp, Peter Wältermann |
Simulation of hybrid mechatronic systems: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), March 24-28, 1997, Monterey, CA, USA, pp. 256-263, 1997, IEEE Computer Society, 0-8186-7889-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
hybrid mechatronic systems, continuous system parts, discrete system parts, car electric windows, extended predicate/transition nets, hardware-in-the-loop simulation, hybrid simulation parallelisation, interconnections, complex systems, DSL, automaton, mechatronics, specification techniques, block diagram, simulation techniques |
25 | Scott D. Stoller |
Detecting Global Predicates in Distributed Systems with Clocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997, Proceedings, pp. 185-199, 1997, Springer, 3-540-63575-0. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection |
25 | Aris Zakinthinos, E. Stewart Lee |
A General Theory of Security Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: 1997 IEEE Symposium on Security and Privacy, May 4-7, 1997, Oakland, CA, USA, pp. 94-102, 1997, IEEE Computer Society, 0-8186-7828-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
possibilistic security properties, low level event sequence, security predicate, high level users, low level users, Selective Interleaving Functions framework, information theory, information flow, security of data, partial ordering, data confidentiality, event systems |
25 | Vijay K. Garg, Brian Waldecker |
Detection of Strong Unstable Predicates in Distributed Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 7(12), pp. 1323-1333, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Unstable predicates, distributed algorithms, distributed debugging, predicate detection |
25 | David Guaspari, Carla Marceau, Wolfgang Polak |
Formal Verification of Ada Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(9), pp. 1058-1075, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs |
25 | George Peterka, Tadao Murata |
Proof Procedure and Answer Extraction in Petri Net Model of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(2), pp. 209-217, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
proof procedure, Horn clause subset, firing sequence, goal transition, Petri nets, logic programs, logic programming, theorem proving, programming theory, Petri net model, first-order predicate logic, answer extraction |
25 | Marloes Venema, Leon Botros |
Using Predicate Extension for Predicate Encryption to Generically Obtain Chosen-Ciphertext Security and Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 1947, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
25 | Li Li 0091, Chenwei Wang, You Qin, Wei Ji 0008, Renjie Liang |
Biased-Predicate Annotation Identification via Unbiased Visual Predicate Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Multimedia ![In: Proceedings of the 31st ACM International Conference on Multimedia, MM 2023, Ottawa, ON, Canada, 29 October 2023- 3 November 2023, pp. 4410-4420, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Yuichiroh Matsubayashi, Kentaro Inui |
Distance-Free Modeling of Multi-Predicate Interactions in End-to-End Japanese Predicate-Argument Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1806.03869, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Sikhar Patranabis, Debdeep Mukhopadhyay |
New Lower Bounds on Predicate Entropy for Function Private Public-Key Predicate Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 190, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Federico Flaviani |
Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEI ![In: XLIV Latin American Computer Conference, CLEI 2018, São Paulo, Brazil, October 1-5, 2018, pp. 749-758, 2018, IEEE, 978-1-7281-0437-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
25 | Yuichiroh Matsubayashi, Kentaro Inui |
Distance-Free Modeling of Multi-Predicate Interactions in End-to-End Japanese Predicate-Argument Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 27th International Conference on Computational Linguistics, COLING 2018, Santa Fe, New Mexico, USA, August 20-26, 2018, pp. 94-106, 2018, Association for Computational Linguistics, 978-1-948087-50-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
25 | Hiroki Ouchi, Hiroyuki Shindo, Yuji Matsumoto 0001 |
Neural Modeling of Multi-Predicate Interactions for Japanese Predicate Argument Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL (1) ![In: Proceedings of the 55th Annual Meeting of the Association for Computational Linguistics, ACL 2017, Vancouver, Canada, July 30 - August 4, Volume 1: Long Papers, pp. 1591-1600, 2017, Association for Computational Linguistics, 978-1-945626-75-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Maddalen Lopez de Lacalle, Egoitz Laparra, Itziar Aldabe, German Rigau |
Predicate Matrix: automatically extending the semantic interoperability between predicate resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 50(2), pp. 263-289, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
25 | Mohsen Khani |
The field of reals with a predicate for the real algebraic numbers and a predicate for the integer powers of two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 54(7-8), pp. 885-898, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Ken Kaneiwa, Philip H. P. Nguyen |
An order-sorted query system for sort, predicate, and meta-predicate hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 35(2), pp. 463-492, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
25 | Shota Yamada 0001, Nuttapong Attrapadung, Bagus Santoso, Jacob C. N. Schuldt, Goichiro Hanaoka, Noboru Kunihiro |
Verifiable Predicate Encryption and Applications to CCA Security and Anonymous Predicate Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Public Key Cryptography ![In: Public Key Cryptography - PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, Darmstadt, Germany, May 21-23, 2012. Proceedings, pp. 243-261, 2012, Springer, 978-3-642-30056-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
25 | Friedrich Gräter, Sebastian Götz, Julian Stecklina |
Predicate-C: an efficient and generic runtime system for predicate dispatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOOOLPS@ECOOP ![In: Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2011, Lancaster, United Kingdom, July 26, 2011, pp. 2:1-2:8, 2011, ACM, 978-1-4503-0894-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
25 | Koichi Takeuchi, Suguru Tsuchiyama, Masato Moriya, Yuuki Moriyasu, Koichi Satoh |
Verb Sense Disambiguation based on Thesaurus of Predicate-argument Structure - An Evaluation of Thesaurus of Predicate-argument Structure for Japanese Verbs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KEOD ![In: KEOD 2011 - Proceedings of the International Conference on Knowledge Engineering and Ontology Development, Paris, France, 26-29 October, 2011, pp. 208-213, 2011, SciTePress, 978-989-8425-80-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
25 | Jinji Li, Jungi Kim, Jong-Hyeok Lee |
Chinese Syntactic Reordering through Contrastive Analysis of Predicate-predicate Patterns in Chinese-to-Korean SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMTA ![In: Proceedings of the 9th Conference of the Association for Machine Translation in the Americas: Research Papers, AMTA 2010, Denver, Colorado, USA, October 31 - November 4, 2010, 2010, Association for Machine Translation in the Americas. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
25 | Petr Hájek 0001, Jeff B. Paris, John C. Shepherdson |
Rational Pavelka Predicate Logic Is A Conservative Extension of Lukasiewicz Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(2), pp. 669-682, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Mohammad Ardeshir |
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 62(3), pp. 341-352, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Hiroyuki Yamauchi |
Processing Of Syntax And Semantics Of Natural Language By Predicate Logic Of Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 8th International Conference on Computational Linguistics, COLING '80, Tokyo, Japan, September 30 - October 4, 1980, pp. 389-396, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
25 | Benjamin Weiß 0001 |
Predicate Abstraction in a Program Logic Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 136-150, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Adam Bakewell, Dan R. Ghica |
Compositional Predicate Abstraction from Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 62-76, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Constraint-Based Invariant Inference over Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 120-135, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
25 | Arie Gurfinkel, Sagar Chaki |
Combining Predicate and Numeric Abstraction for Software Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-9, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Xiaole Bai, Wenjun Gu, Sriram Chellappan, Xun Wang, Dong Xuan, Bin Ma 0002 |
PAS: Predicate-Based Authentication Services Against Powerful Passive Adversaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Twenty-Fourth Annual Computer Security Applications Conference, ACSAC 2008, Anaheim, California, USA, 8-12 December 2008, pp. 433-442, 2008, IEEE Computer Society, 978-0-7695-3447-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Lukasz Golab, Theodore Johnson, Oliver Spatscheck |
Prefilter: predicate pushdown at streaming speeds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSPS ![In: Proceedings of the 2008 International Workshop on Scalable Stream Processing System, SSPS 2008, Nantes, France, March 29, 2008, pp. 29-37, 2008, ACM, 978-1-59593-963-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data stream query optimization, data stream management systems, multi-query optimization |
25 | Thomas Eiter, Wolfgang Faber 0001, Michael Fink 0001, Stefan Woltran |
Complexity results for answer set programming with bounded predicate arities and implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 51(2-4), pp. 123-165, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68Q17 |
25 | Royi Ronen, Oded Shmueli |
Evaluation of datalog extended with an XPath predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WIDM ![In: 9th ACM International Workshop on Web Information and Data Management (WIDM 2007), Lisbon, Portugal, November 9, 2007, pp. 9-16, 2007, ACM, 978-1-59593-829-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
XML and relational processing, XML, datalog |
25 | Michele Nasu Tomiyama, Stéphane Julia |
Modelling biological processes using differential predicate transition Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 1488-1493, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Monika Záková, Filip Zelezný |
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 798-805, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Stanley Kok, Pedro M. Domingos |
Statistical predicate invention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICML ![In: Machine Learning, Proceedings of the Twenty-Fourth International Conference (ICML 2007), Corvallis, Oregon, USA, June 20-24, 2007, pp. 433-440, 2007, ACM, 978-1-59593-793-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Ingrid Rewitzky, Chris Brink |
Monotone Predicate Transformers as Up-Closed Multirelations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 311-327, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Kroening, Georg Weissenbacher |
Counterexamples with Loops for Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 152-165, 2006, Springer, 3-540-37406-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Jörg Hoffmann 0001, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski |
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoChArt ![In: Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers, pp. 51-66, 2006, Springer, 978-3-540-74127-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Yifeng Chen |
Hierarchical Organisation of Predicate-Semantic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UTP ![In: Unifying Theories of Programming, First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers, pp. 155-172, 2006, Springer, 3-540-34750-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Janusz Borkowski, Damian Kopanski, Marek Tudruj |
Parallel Irregular Computations Control Based on Global Predicate Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARELEC ![In: Fifth International Conference on Parallel Computing in Electrical Engineering (PARELEC 2006), 13-17 September 2006, Bialystok, Poland, pp. 233-238, 2006, IEEE Computer Society, 0-7695-2554-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | David A. Schmidt |
Underapproximating Predicate Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings, pp. 127-143, 2006, Springer, 3-540-37756-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Alina Andreevskaia, Zhuoyan Li, Sabine Bergler |
Partial Predicate Argument Structure Matching for Entailment Determination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLCW ![In: Machine Learning Challenges, Evaluating Predictive Uncertainty, Visual Object Classification and Recognizing Textual Entailment, First PASCAL Machine Learning Challenges Workshop, MLCW 2005, Southampton, UK, April 11-13, 2005, Revised Selected Papers, pp. 332-343, 2005, Springer, 3-540-33427-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai |
Localization and Register Sharing for Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 397-412, 2005, Springer, 3-540-25333-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Alexei Lisitsa 0001, Igor Potapov |
Temporal Logic with Predicate lambda-Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pp. 147-155, 2005, IEEE Computer Society, 0-7695-2370-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv |
Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 181-198, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Shape Analysis by Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings, pp. 164-180, 2005, Springer, 3-540-24297-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Daniel Kroening, Edmund M. Clarke |
Checking consistency of C and Verilog using predicate abstraction and induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 66-72, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Ball |
A Theory of Predicate-Complete Test Coverage and Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 - 5, 2004, Revised Lectures, pp. 1-22, 2004, Springer, 3-540-29131-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Michael Bain 0001 |
Predicate Invention and the Revision of First-Order Concept Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Concept Lattices, Second International Conference on Formal Concept Analysis, ICFCA 2004, Sydney, Australia, February 23-26, 2004, Proceedings, pp. 329-336, 2004, Springer, 3-540-21043-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Kyonam Choo, Seokhoon Kang, Hongki Min, Yoseop Woo |
Automatic Extension of Korean Predicate-Based Sub-categorization Dictionary from Sense Tagged Corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (3) ![In: Computational Science and Its Applications - ICCSA 2004, International Conference, Assisi, Italy, May 14-17, 2004, Proceedings, Part III, pp. 585-592, 2004, Springer, 3-540-22057-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Naghmeh Ghafari, Rudolph E. Seviora |
A Signal Processing Approach to Global Predicate Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 23rd International Symposium on Reliable Distributed Systems (SRDS 2004), 18-20 October 2004, Florianpolis, Brazil, pp. 136-145, 2004, IEEE Computer Society, 0-7695-2239-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Raúl Monroy |
Predicate Synthesis for Correcting Faulty Conjectures: The Proof Planning Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 10(3), pp. 247-269, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
faulty specifications, program synthesis/transformation, abduction, proof planning |
25 | Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook |
A Symbolic Approach to Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings, pp. 141-153, 2003, Springer, 3-540-40524-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 4-19, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Robert Saxon Milnikel |
A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings, pp. 564-575, 2003, Springer, 3-540-40494-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Alper Sen 0001, Vijay K. Garg |
On Checking Whether a Predicate Definitely Holds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES ![In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003, pp. 15-29, 2003, Springer, 3-540-20894-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Punit Chandra, Ajay D. Kshemkalyani |
Global Predicate Detection under Fine-Grained Modalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 91-109, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Dennis Dams, Kedar S. Namjoshi |
Shape Analysis through Predicate Abstraction and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings, pp. 310-324, 2003, Springer, 3-540-00348-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Botao Wang, Wang Zhang, Masaru Kitsuregawa |
Design of B+Tree-Based Predicate Index for Efficient Event Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies and Applications, 5th Asian-Pacific Web Conference, APWeb 2003, Xian, China, April 23-25, 2002, Proceedings, pp. 548-559, 2003, Springer, 3-540-02354-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Duminda Wijesekera, Sushil Jajodia |
Policy algebras for access control the predicate case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, Washington, DC, USA, November 18-22, 2002, pp. 171-180, 2002, ACM, 1-58113-612-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Inseok Hwang 0002, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin |
Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings, pp. 715-724, 2002, Springer, 3-540-00303-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Reachability Analysis of Hybrid Systems via Predicate Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 5th International Workshop, HSCC 2002, Stanford, CA, USA, March 25-27, 2002, Proceedings, pp. 35-48, 2002, Springer, 3-540-43321-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
25 | Sridhar Alagar, Subbarayan Venkatesan |
Techniques to Tackle State Explosion in Global Predicate Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(8), pp. 704-714, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
global intervals, Distributed systems, lattice, space complexity, global states, global predicates |
25 | Holger Sturm, Frank Wolter, Michael Zakharyaschev |
Monodic Epistemic Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000, Proceedings, pp. 329-344, 2000, Springer, 3-540-41131-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | David J. Pym |
On Bunched Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 183-192, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
25 | Haoxun Chen, Hans-Michael Hanisch |
Control Synthesis of Hybrid Systems Based on Predicate Invariance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Hybrid Systems ![In: Hybrid Systems V, Proceedings of the Fifth International Workshop on Hybrid Systems, Notre Dame, IN, USA, September 11-13, 1997, pp. 1-15, 1997, Springer, 3-540-65643-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
25 | Marcello M. Bonsangue, Joost N. Kok, Erik P. de Vink |
Metric Predicate Transformers: Towards a Notion of Refinement for Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings, pp. 363-377, 1995, Springer, 3-540-60218-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
25 | Alexander Borgida |
On The Relationship Between Description Logic and Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 219-225, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | David H. Lorenz |
Derivative Operators for Preference Predicate Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSN ![In: Parallel Problem Solving from Nature - PPSN III, International Conference on Evolutionary Computation. The Third Conference on Parallel Problem Solving from Nature, Jerusalem, Israel, October 9-14, 1994, Proceedings, pp. 219-228, 1994, Springer, 3-540-58484-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
25 | Hans Jürgen Ohlbach |
Optimized Translation of Multi Modal Logic into Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 253-264, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Michel Langevin |
Automated RTL Verification Based on Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 116-125, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
25 | Peter T. Wood, Alberto O. Mendelzon, Paolo Atzeni |
Idempotent Single-Predicate Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31 - September 2, 1988, Proceedings, pp. 129-143, 1988, Springer, 3-540-50171-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | David Chaum |
Demonstrating That a Public Predicate Can Be Satisfied Without Revealing Any Information About How. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '86, Santa Barbara, California, USA, 1986, Proceedings, pp. 195-199, 1986, Springer. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
25 | Sten Andler |
Predicate Path Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Sixth Annual ACM Symposium on Principles of Programming Languages, San Antonio, Texas, USA, January 1979, pp. 226-236, 1979, ACM Press. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
25 | Maarten H. van Emden, Robert A. Kowalski |
The Semantics of Predicate Logic as a Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 23(4), pp. 733-742, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
25 | Józef Winkowski |
Proving Properties of Programs by Means of Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1975, 4th Symposium, Mariánské Lázne, Czechoslovakia, September 1-5, 1975, Proceedings, pp. 465-471, 1975, Springer, 0-387-07389-2. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
25 | James R. Slagle |
Interpolation Theorems for Resolution in Lower Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 17(3), pp. 535-542, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
25 | Zohar Manna |
Properties of Programs and the First-Order Predicate Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 16(2), pp. 244-255, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
24 | Wanxiang Che, Min Zhang 0005, AiTi Aw, Chew Lim Tan, Ting Liu 0001, Sheng Li 0003 |
Using a Hybrid Convolution Tree Kernel for Semantic Role Labeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 7(4), pp. 13:1-13:23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Semantic role labeling, hybrid convolution tree kernel |
24 | Ken Kaneiwa |
Description Logics with Contraries, Contradictories, and Subcontraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Gener. Comput. ![In: New Gener. Comput. 25(4), pp. 443-468, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Constructive Description Logic, Terminological Knowledge Representation, Strong Negation, Negative Information |
24 | Dirk Beyer 0001, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
The software model checker Blast. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 9(5-6), pp. 505-525, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Software verification, Test-case generation, Software specification, Memory safety |
24 | Masaki Nakamura 0001, Kokichi Futatsugi |
On Equality Predicates in Algebraic Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 381-395, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Eduardo Quiñones, Joan-Manuel Parcerisa, Antonio González 0001 |
Improving Branch Prediction and Predicated Execution in Out-of-Order Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCA ![In: 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 10-14 February 2007, Phoenix, Arizona, USA, pp. 75-84, 2007, IEEE Computer Society, 1-4244-0804-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Hyesoon Kim, José A. Joao, Onur Mutlu, Yale N. Patt |
Diverge-Merge Processor (DMP): Dynamic Predicated Execution of Complex Control-Flow Graphs Based on Frequently Executed Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 53-64, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Lars Birkedal, Søren Debois, Thomas T. Hildebrandt |
Sortings for Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings, pp. 248-262, 2006, Springer, 3-540-37376-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Silvio Valentini |
The problem of the formalization of constructive topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 44(1), pp. 115-129, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 3588 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|