Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
33 | Sanjay Jain 0001, Arun Sharma 0001 |
Mind Change Complexity of Learning Logic Programs. |
EuroCOLT |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Roy Dyckhoff, Stéphane Lengrand |
LJQ: A Strongly Focused Calculus for Intuitionistic Logic. |
CiE |
2006 |
DBLP DOI BibTeX RDF |
purification, call-by-value semantics, depth-bounded, guarded logic, Sequent calculus, focused |
21 | Roy Dyckhoff, Delia Kesner, Stéphane Lengrand |
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic. |
IJCAR |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Marshall Ball, Dana Dachman-Soled, Mukul Kulkarni, Tal Malkin |
Non-Malleable Codes for Bounded Depth, Bounded Fan-in Circuits. |
IACR Cryptol. ePrint Arch. |
2016 |
DBLP BibTeX RDF |
|
21 | Marshall Ball, Dana Dachman-Soled, Mukul Kulkarni, Tal Malkin |
Non-malleable Codes for Bounded Depth, Bounded Fan-In Circuits. |
EUROCRYPT (2) |
2016 |
DBLP DOI BibTeX RDF |
|
21 | Ian Parberry |
An Improved Simulation of Space and Reversal Bounded Deterministic Turing Machines by Width and Depth Bounded Uniform Circuits. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
20 | Armand Prieditis |
Depth-First Branch-and-Bound vs. Depth-Bounded IDA*. |
Comput. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Madanlal Musuvathi, Shaz Qadeer |
Iterative context bounding for systematic testing of multithreaded programs. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
context-bounding, model checking, concurrency, software testing, multithreading, partial-order reduction, shared-memory programs |
15 | Roman Barták, Hana Rudová |
Limited assignments: a new cutoff strategy for incomplete depth-first search. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
search, constraint satisfaction |
14 | Farid Arthaud, Martin C. Rinard |
Depth-bounded epistemic logic. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Farid Arthaud, Martin C. Rinard |
Depth-bounded Epistemic Logic. |
TARK |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic |
Depth-Bounded Fuzzy Simulations and Bisimulations between Fuzzy Automata. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Linh Anh Nguyen, Ivana Micic, Stefan Stanimirovic |
Depth-bounded fuzzy simulations and bisimulations between fuzzy automata. |
Fuzzy Sets Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
14 | Qipeng Liu 0001 |
Depth-Bounded Quantum Cryptography with Applications to One-Time Memory and More. |
ITCS |
2023 |
DBLP DOI BibTeX RDF |
|
14 | A. R. Balasubramanian |
Complexity of Coverability in Depth-Bounded Processes. |
CONCUR |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Tomoyuki Yamakami |
Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-In Cascading Circuits - (Extended Abstract). |
COCOON |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Miguel A. Larotonda, Giuseppe Primiero |
A Depth-Bounded Semantics for Becoming Informed. |
SEFM Workshops |
2022 |
DBLP DOI BibTeX RDF |
|
14 | Marcello D'Agostino, Costanza Larese, Sanjay Modgil |
Towards Depth-bounded Natural Deduction for Classical First-order Logic. |
FLAP |
2021 |
DBLP BibTeX RDF |
|
14 | Lifeng Jin, Lane Schwartz, Finale Doshi-Velez, Timothy A. Miller, William Schuler |
Depth-Bounded Statistical PCFG Induction as a Model of Human Grammar Acquisition. |
Comput. Linguistics |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Fabio Aurelio D'Asaro, Paolo Baldi, Giuseppe Primiero |
Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo. |
KR |
2021 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Baldi, Hykel Hosni |
Depth-bounded Belief functions. |
Int. J. Approx. Reason. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Ghasem Pasandi, Massoud Pedram |
Depth-bounded Graph Partitioning Algorithm and Dual Clocking Method for Realization of Superconducting SFQ Circuits. |
ACM J. Emerg. Technol. Comput. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Paolo Baldi, Marcello D'Agostino, Hykel Hosni |
Depth-Bounded Approximations of Probability. |
IPMU (3) |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Giorgio Cignarale, Giuseppe Primiero |
A Multi-Agent Depth Bounded Boolean Logic. |
SEFM |
2020 |
DBLP DOI BibTeX RDF |
|
14 | Lifeng Jin, Finale Doshi-Velez, Timothy A. Miller, William Schuler, Lane Schwartz |
Unsupervised Grammar Induction with Depth-bounded PCFG. |
Trans. Assoc. Comput. Linguistics |
2018 |
DBLP DOI BibTeX RDF |
|
14 | Lifeng Jin, Finale Doshi-Velez, Timothy A. Miller, William Schuler, Lane Schwartz |
Unsupervised Grammar Induction with Depth-bounded PCFG. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
14 | Kord Eickmeyer, Michael Elberfeld, Frederik Harwath |
Succinctness of Order-Invariant Logics on Depth-Bounded Structures. |
ACM Trans. Comput. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Emanuele D'Osualdo, Luke Ong, Alwen Tiu |
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes. |
CSF |
2017 |
DBLP DOI BibTeX RDF |
|
14 | Kord Eickmeyer, Michael Elberfeld, Frederik Harwath |
Succinctness of Order-Invariant Logics on Depth-Bounded Structures. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
14 | Thierry Moisan, Claude-Guy Quimper, Jonathan Gaudreault |
Parallel Depth-Bounded Discrepancy Search. |
CPAIOR |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Kord Eickmeyer, Michael Elberfeld, Frederik Harwath |
Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures. |
MFCS (1) |
2014 |
DBLP DOI BibTeX RDF |
|
14 | Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay |
Semantics and proof-theory of depth bounded Boolean logics. |
Theor. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Shahram Esmaeilsabzali, Rupak Majumdar, Thomas Wies, Damien Zufferey |
A Notion of Dynamic Interface for Depth-Bounded Object-Oriented Packages. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
14 | Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan |
Computing Role-Depth Bounded Generalizations in the Description Logic. |
KI |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan |
Role-depth Bounded Least Common Subsumer in Prob-EL with Nominals. |
Description Logics |
2013 |
DBLP BibTeX RDF |
|
14 | Fernando Rosa-Velardo, María Martos-Salgado |
Multiset rewriting for the verification of depth-bounded processes with name binding. |
Inf. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Andreas Ecke, Anni-Yasmin Turhan |
Optimizations for the Role-Depth Bounded Least Common Subsumer in EL+. |
OWLED |
2012 |
DBLP BibTeX RDF |
|
14 | Andreas Ecke, Anni-Yasmin Turhan |
Role-depth Bounded Least Common Subsumers for EL+ and ELI. |
Description Logics |
2012 |
DBLP BibTeX RDF |
|
14 | Asma Lahimer, Pierre Lopez, Mohamed Haouari |
Climbing depth-bounded adjacent discrepancy search for solving hybrid flow shop scheduling problems with multiprocessor tasks |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Abir Ben Hmida, Mohamed Haouari, Marie-José Huguet, Pierre Lopez |
Solving two-stage hybrid flow shop using climbing depth-bounded discrepancy search. |
Comput. Ind. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Asma Lahimer, Pierre Lopez, Mohamed Haouari |
Climbing Depth-Bounded Adjacent Discrepancy Search for Solving Hybrid Flow Shop Scheduling Problems with Multiprocessor Tasks. |
CPAIOR |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Abhishek Udupa, Ankush Desai, Sriram K. Rajamani |
Depth Bounded Explicit-State Model Checking. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Thomas Wies, Damien Zufferey, Thomas A. Henzinger |
Forward Analysis of Depth-Bounded Processes. |
FoSSaCS |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Anni-Yasmin Turhan, Rafael Peñaloza |
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes. |
Description Logics |
2010 |
DBLP BibTeX RDF |
|
14 | Weirong Jiang, Viktor K. Prasanna |
Towards Green Routers: Depth-Bounded Multi-Pipeline Architecture for Power-Efficient IP Lookup. |
IPCCC |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Toby Walsh |
Depth-bounded Discrepancy Search. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
14 | Jan Chomicki |
Depth-Bounded Bottom-Up Evaluation of Logic Program. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Hiroki Arimura |
Completeness of Depth-bounded Resolution for Weakly Reducing Programs. |
Software Science and Engineering |
1991 |
DBLP DOI BibTeX RDF |
|
14 | José L. Balcázar |
Adaptive Logspace and Depth-Bounded Reducibilities. |
SCT |
1991 |
DBLP DOI BibTeX RDF |
|
14 | H. Raymond Strong |
Depth-Bounded Computation. |
J. Comput. Syst. Sci. |
1970 |
DBLP DOI BibTeX RDF |
|
11 | John Harrison 0001 |
Optimizing Proof Search in Model Elimination. |
CADE |
1996 |
DBLP DOI BibTeX RDF |
|
7 | Jiong Guo |
Fixed-Parameter Algorithms for Graph-Modeled Date Clustering. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann |
A More Relaxed Model for Graph-Based Data Clustering: s-Plex Editing. |
AAIM |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Wafa Karoui, Marie-José Huguet, Pierre Lopez, Wady Naanaa |
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Michael Dom, Jiong Guo, Falk Hüffner, Rolf Niedermeier, Anke Truß |
Fixed-Parameter Tractability Results for Feedback Set Problems in Tournaments. |
CIAC |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Michael D. Jones, Jacob Sorber |
Parallel search for LTL violations. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Semiformal verification, Explicit model checking, Biologically inspired algorithms |
7 | Tristan Cazenave |
Admissible Moves in Two-Player Games. |
SARA |
2002 |
DBLP DOI BibTeX RDF |
|
7 | V. Vinay |
Hierarchies of Circuit Classes that are Closed under Complement. |
CCC |
1996 |
DBLP DOI BibTeX RDF |
Circuits, Complexity Theory, Complementation |