sign in · help · news · about ·

BibSonomy :: author :: Chechik ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(161)

<< < 1 | 2 | 3 > >>

Robust Vacuity for Branching Temporal Logic.
Arie Gurfinkel, and Marsha Chechik ACM Trans. Comput. Log. 13(1):1 (2012)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
A relationship-based approach to model integration.
Marsha Chechik, Shiva Nejati, and Mehrdad Sabetzadeh ISSE 8(1):3-18 (2012)
to dblp by dblp on Jan 25, 2012, 12:00 AM
URL | BibTeX
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification.
Aws Albarghouthi, Arie Gurfinkel, and Marsha Chechik VMCAI, volume 7148 of Lecture Notes in Computer Science, page 39-55. Springer, (2012)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
Euclidean Embedding of Co-occurrence Data.
Amir Globerson, Gal Chechik, Fernando Pereira, and Naftali Tishby Journal of Machine Learning Research (2007)
to dblp by dblp and 2 other users on Dec 15, 2011, 12:00 AM
URL | BibTeX
Sufficient Dimensionality Reduction with Irrelevance Statistics.
Amir Globerson, Gal Chechik, and Naftali Tishby UAI, page 281-288. Morgan Kaufmann, (2003)
to dblp by dblp on Dec 15, 2011, 12:00 AM
URL | BibTeX
Robust Fault Tolerant uncapacitated facility location
Shiri Chechik, and David Peleg CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Formal Modeling in a Commercial Setting: A Case Study
Andre Wong, and Marsha Chechik CoRR (1999)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Robust Vacuity for Branching Temporal Logic
Arie Gurfinkel, and Marsha Chechik CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
SCR3: towards usability of formal methods
Marsha Chechik CoRR (1999)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Events in Linear-Time Properties
Dimitrie O. Paun, and Marsha Chechik CoRR (1999)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Events in Property Patterns
Marsha Chechik, and Dimitrie O. Paun CoRR (1999)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Improved Distance Oracles for Vertex-Labeled Graphs
Shiri Chechik CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Using Model Checking to Analyze Requirements and Designs.
Joanne M. Atlee, Marsha Chechik, and John D. Gannon Advances in Computers (1996)
to dblp by dblp on Nov 29, 2011, 12:00 AM
URL | BibTeX
Spike-Timing-Dependent Plasticity and Relevant Mutual Information Maximization.
Gal Chechik Neural Computation 15(7):1481-1510 (2003)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Synaptic Pruning In Development: A Computational Account.
Gal Chechik, Isaac Meilijson, and Eytan Ruppin Neural Computation 10(7):1759-1777 (1998)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Effective Neuronal Learning with Ineffective Hebbian Learning Rules.
Gal Chechik, Isaac Meilijson, and Eytan Ruppin Neural Computation 13(4):817-840 (2001)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Neuronal Regulation: A Mechanism for Synaptic Pruning During Brain Maturation.
Gal Chechik, Isaac Meilijson, and Eytan Ruppin Neural Computation 11(8):2061-2080 (1999)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Online Learning in The Manifold of Low-Rank Matrices.
Uri Shalit, Daphna Weinshall, and Gal Chechik NIPS, page 2128-2136. Curran Associates, Inc., (2010)
to dblp by dblp on Nov 14, 2011, 12:00 AM
URL | BibTeX
An Online Algorithm for Large Scale Image Similarity Learning.
Gal Chechik, Uri Shalit, Varun Sharma, and Samy Bengio NIPS, page 306-314. Curran Associates, Inc., (2009)
to dblp by dblp on Nov 10, 2011, 12:00 AM
URL | BibTeX
Synthesis of Partial Behavior Models from Properties and Scenarios.
Sebastián Uchitel, Greg Brunet, and Marsha Chechik IEEE Trans. Software Eng. 35(3):384-406 (2009)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100