The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for korat with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002-2017 (16) 2018-2022 (19) 2023-2024 (2)
Publication types (Num. hits)
article(17) inproceedings(20)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 10 keywords

Results
Found 43 publication records. Showing 37 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
291Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov Korat: automated testing based on Java predicates. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
245Sasa Misailovic, Aleksandar Milicevic, Nemanja Petrovic, Sarfraz Khurshid, Darko Marinov Parallel test generation and execution with Korat. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Korat, test data generation, parallel testing, bounded-exhaustive testing
163Aleksandar Milicevic, Sasa Misailovic, Darko Marinov, Sarfraz Khurshid Korat: A Tool for Generating Structurally Complex Test Inputs. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
76Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid Efficient solving of structural constraints. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, backtracking, systematic testing
71Thawatphong Phithak, Sorachai Kamollimsakul Korat Historical Explorer: The Augmented Reality Mobile Application to Promote Historical Tourism in Korat. Search on Bibsonomy ICCMB The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
71Nima Dini, Cagdas Yelen, Zakaria Alrmaih, Amresh Kulkarni, Sarfraz Khurshid Korat-API: a framework to enhance korat to better support testing and reliability techniques. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
36Alyas Almaawi, Hayes Converse, Milos Gligoric 0001, Sasa Misailovic, Sarfraz Khurshid Quantifying the Exploration of the Korat Solver for Imperative Constraints. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
36Nima Dini, Cagdas Yelen, Sarfraz Khurshid Optimizing parallel Korat using invalid ranges. Search on Bibsonomy SPIN The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Menahem Yeari, Adi Hadad, Ofra Korat The effect of amount, type and reoccurrence of interactions in electronic books on word learning and story comprehension by kindergartners. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
35Shubham Malaviya, Manish Shukla 0001, Pratik Korat, Sachin Lodha FedFAME: A Data Augmentation Free Framework based on Model Contrastive Learning for Federated Semi-Supervised Learning. Search on Bibsonomy SAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
35Phillip Howard, Arden Ma, Vasudev Lal, Ana Paula Simões, Daniel Korat, Oren Pereg, Moshe Wasserblat, Gadi Singer Cross-Domain Aspect Extraction using Transformers Augmented with Knowledge Graphs. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Lewis Tunstall, Nils Reimers 0003, Unso Eun Seo Jo, Luke Bates, Daniel Korat, Moshe Wasserblat, Oren Pereg Efficient Few-Shot Learning Without Prompts. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Enej Gucek Puhar, Lidija Korat, Miran Eric, Ales Jaklic, Franc Solina Microtomographic Analysis of a Palaeolithic Wooden Point from the Ljubljanica River. Search on Bibsonomy Sensors The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Phillip Howard, Arden Ma, Vasudev Lal, Ana Paula Simões, Daniel Korat, Oren Pereg, Moshe Wasserblat, Gadi Singer Cross-Domain Aspect Extraction using Transformers Augmented with Knowledge Graphs. Search on Bibsonomy CIKM The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Ayal Klein, Oren Pereg, Daniel Korat, Vasudev Lal, Moshe Wasserblat, Ido Dagan Opinion-based Relational Pivoting for Cross-domain Aspect Term Extraction. Search on Bibsonomy WASSA@ACL The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
35Vasudev Lal, Arden Ma, Estelle Aflalo, Phillip Howard, Ana Paula Simões, Daniel Korat, Oren Pereg, Gadi Singer, Moshe Wasserblat InterpreT: An Interactive Visualization Tool for Interpreting Transformers. Search on Bibsonomy EACL (System Demonstrations) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Daniel Korat 3D Neural Network for Lung Cancer Risk Prediction on CT Volumes. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Oren Pereg, Daniel Korat, Moshe Wasserblat Syntactically Aware Cross-Domain Aspect and Opinion Terms Extraction. Search on Bibsonomy COLING The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
35Uday A. Korat, Amirhossein Alimohammad A Reconfigurable Hardware Architecture for Principal Component Analysis. Search on Bibsonomy Circuits Syst. Signal Process. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Oren Pereg, Daniel Korat, Moshe Wasserblat, Jonathan Mamou, Ido Dagan ABSApp: A Portable Weakly-Supervised Aspect-Based Sentiment Extraction System. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
35Oren Pereg, Daniel Korat, Moshe Wasserblat, Jonathan Mamou, Ido Dagan ABSApp: A Portable Weakly-Supervised Aspect-Based Sentiment Extraction System. Search on Bibsonomy EMNLP/IJCNLP (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Omer Korat The Rationality of Semantic Change. Search on Bibsonomy LChange@ACL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Ido Dagan, Yoav Goldberg, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat Term Set Expansion based on Multi-Context Term Embeddings: an End-to-end Workflow. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
35Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat Term Set Expansion based NLP Architect by Intel AI Lab. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
35Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Ido Dagan, Yoav Goldberg, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat SetExpander: End-to-end Term Set Expansion Based on Multi-Context Term Embeddings. Search on Bibsonomy COLING (Demos) The full citation details ... 2018 DBLP  BibTeX  RDF
35Jonathan Mamou, Oren Pereg, Moshe Wasserblat, Alon Eirew, Yael Green, Shira Guskin, Peter Izsak, Daniel Korat Term Set Expansion based NLP Architect by Intel AI Lab. Search on Bibsonomy EMNLP (Demonstration) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
35Uday A. Korat, Pratik Yadav, Harshil Shah An efficient hardware implementation of vector-based odd-even merge sorting. Search on Bibsonomy UEMCON The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
35Ofra Korat, Adina Shamir, Livnat Arbiv E-books as support for emergent writing with and without adult assistance. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
35Ofra Korat Reading electronic books as a support for vocabulary, story comprehension and word reading in kindergarten and first grade. Search on Bibsonomy Comput. Educ. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
35Ofra Korat The effects of CD-ROM storybook reading on Israeli children's early literacy as a function of age group and repeated reading. Search on Bibsonomy Educ. Inf. Technol. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Adina Shamir, Ofra Korat, Nili Barbi The effects of CD-ROM storybook reading on low SES kindergarteners' emergent literacy as a function of learning context. Search on Bibsonomy Comput. Educ. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Ofra Korat, Adina Shamir The educational electronic book as a tool for supporting children's emergent literacy in low versus middle SES groups. Search on Bibsonomy Comput. Educ. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Ofra Korat, Adina Shamir Electronic books versus adult readers: effects on children's emergent literacy as a function of social class. Search on Bibsonomy J. Comput. Assist. Learn. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Ofra Korat, Adina Shamir Do Hebrew electronic books differ from Dutch electronic books? A replication of a Dutch content analysis. Search on Bibsonomy J. Comput. Assist. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Muhammad Zubair Malik, Khalid Ghori, Bassem Elkarablieh, Sarfraz Khurshid A Case for Automated Debugging Using Data Structure Repair. Search on Bibsonomy ASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Juzi, Korat, Debugging, Data structure repair
31Sarfraz Khurshid, Yuk Lai Suen Generalizing symbolic execution to library classes. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF korat, model checking, symbolic execution, test input generation
25Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid Generating Representation Invariants of Structurally Complex Data. Search on Bibsonomy TACAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #37 of 37 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license