Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Steven Pon, Qiang Wang |
Promotion and Evacuation on Standard Young Tableaux of Rectangle and Staircase Shape. |
Electron. J. Comb. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Lukasz Golab, Flip Korn, Divesh Srivastava |
Efficient and Effective Analysis of Data Quality using Pattern Tableaux. |
IEEE Data Eng. Bull. |
2011 |
DBLP BibTeX RDF |
|
15 | Dov M. Gabbay |
Reactive intuitionistic tableaux. |
Synth. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Amar Kumar Narisetty, Jean-Philippe P. Richard, George L. Nemhauser |
Lifted Tableaux Inequalities for 0-1 Mixed-Integer Programs: A Computational Study. |
INFORMS J. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Amitabh Basu, Pierre Bonami, Gérard Cornuéjols, François Margot |
Experiments with Two-Row Cuts from Degenerate Tableaux. |
INFORMS J. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Clausal Tableaux for Hybrid PDL. |
M4M/LAMAS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Jessica Striker |
A unifying poset perspective on alternating sign matrices, plane partitions, Catalan objects, tournaments, and tableaux. |
Adv. Appl. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | William Y. C. Chen, Cindy C. Y. Gu, Kevin J. Ma |
Minimal permutations and 2-regular skew tableaux. |
Adv. Appl. Math. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rafael del Vado Vírseda, Fernando Pérez Morente |
An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs. |
ICCS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sylvie Corteel, Jang Soo Kim |
Combinatorics on permutation tableaux of type A and type B. |
Eur. J. Comb. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Dohan Kim 0001 |
Priority-based task reassignments in hierarchical 2D mesh-connected systems using tableaux |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Corina Cîrstea, Clemens Kupke, Dirk Pattinson |
EXPTIME Tableaux for the Coalgebraic mu-Calculus |
Log. Methods Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic SHI |
CoRR |
2011 |
DBLP BibTeX RDF |
|
15 | Mark Kaminski, Sigurd Schneider, Gert Smolka |
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies |
Log. Methods Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Julian Backes, Chad E. Brown |
Analytic Tableaux for Higher-Order Logic with Choice. |
J. Autom. Reason. |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Joel Brewster Lewis |
Pattern avoidance for alternating permutations and Young tableaux. |
J. Comb. Theory, Ser. A |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Nadeau |
The structure of alternative tableaux. |
J. Comb. Theory, Ser. A |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen |
Cut-Free ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALCI\mathcal{ALCI}. |
ISMIS |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rania Khéfifi, Patrice Buche, Juliette Dibie-Barthélemy, Fatiha Saïs |
Détection de redondances dans les tableaux guidée par une ontologie. |
EGC |
2011 |
DBLP BibTeX RDF |
|
15 | Patrice Buche, Juliette Dibie-Barthélemy, Liliana Ibanescu, Abir Saïd |
Modélisation d'une ressource termino-ontologique de domaine pour l'annotation sémantique de tableaux. |
EGC |
2011 |
DBLP BibTeX RDF |
|
15 | Rafael del Vado Vírseda, Fernando Pérez Morente |
An innovative teaching tool based on semantic tableaux for verification and debugging of programs. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Chan Le Duc, Myriam Lamolle, Olivier Curé |
A Tableaux-Based Algorithm for SHIQ\mathcal{SHIQ} with Transitive Closure of Roles in Concept and Role Inclusion Axioms. |
ESWC (1) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rafael del Vado Vírseda |
A learning methodology based on semantic tableaux for software engineering education. |
CSEE&T |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rafael del Vado Vírseda, Eva Pilar Orna, Eduardo Berbis, Saúl de León Guerrero |
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms. |
TICTTL |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Sandrine Dasse-Hartaut, Pawel Hitczenko |
Some Properties of Random Staircase Tableaux. |
ANALCO |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Rafael del Vado Vírseda, Fernando Pérez Morente, Sergio Esquembri Martínez |
An Educational Tool based on Semantic Tableaux for Verification and Debugging of Algorithms - Experiences and Results. |
CSEDU (2) |
2011 |
DBLP BibTeX RDF |
|
15 | Linh Anh Nguyen, Andrzej Szalas |
Tableaux with Global Caching for Checking Satisfiability of a Knowledge Base in the Description Logic SH. |
Trans. Comput. Collect. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Sen-Peng Eu |
Skew-standard tableaux with three rows. |
Adv. Appl. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Guoce Xin |
Determinant formulas relating to tableaux of bounded height. |
Adv. Appl. Math. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Arno Bastenhof |
Tableaux for the Lambek-Grishin calculus |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Rajeev Goré, Florian Widmann |
Optimal Tableaux for Propositional Dynamic Logic with Converse |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Chad E. Brown, Gert Smolka |
Analytic Tableaux for Simple Type Theory and its First-Order Fragment |
Log. Methods Comput. Sci. |
2010 |
DBLP BibTeX RDF |
|
15 | Dohan Kim 0001 |
Representations of task assignments in distributed systems using Young tableaux and symmetric groups |
CoRR |
2010 |
DBLP BibTeX RDF |
|
15 | Serenella Cerrito, Marta Cialdea Mayer |
An efficient approach to nominal equalities in hybrid logic tableaux. |
J. Appl. Non Class. Logics |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh Srivastava |
Data Auditor: Exploring Data Quality and Semantics using Pattern Tableaux. (PDF / PS) |
Proc. VLDB Endow. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Shinya Anzai, Jinhee Chun, Ryosei Kasai, Matias Korman, Takeshi Tokuyama |
Effect of Corner Information in Simultaneous Placement of k Rectangles and Tableaux. |
Discret. Math. Algorithms Appl. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Guillaume Hoffmann 0001 |
Lightweight hybrid tableaux. |
J. Appl. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Didier Galmiche, Daniel Méry |
Tableaux and Resource Graphs for Separation Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Philippe Balbiani, Hans van Ditmarsch, Andreas Herzig, Tiago de Lima |
Tableaux for Public Announcement Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Franz Baader, Rafael Peñaloza |
Axiom Pinpointing in General Tableaux. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Peter Baumgartner 0001, Ulrich Furbach, Björn Pelzer |
The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Davide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala |
Tableaux for Logics of Subinterval Structures over Dense Orderings. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Peltier |
Bottom-up Construction of Semantic Tableaux. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Laurent d'Orazio, Sandro Bimonte |
Intégration des Tableaux Multidimensionnels en Pig pour l'Entreposage de Données sur les Nuages. |
EDA |
2010 |
DBLP BibTeX RDF |
|
15 | Lutz Schröder, Dirk Pattinson, Daniel Hausmann 0001 |
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Oliver Friedmann, Markus Latte, Martin Lange |
A Decision Procedure for CTL* Based on Tableaux and Automata. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Julian Backes, Chad E. Brown |
Analytic Tableaux for Higher-Order Logic with Choice. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Rajeev Goré, Florian Widmann |
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for Hybrid Logic with Eventualities. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for SOQ\mathcal{SOQ} with Number Restrictions on Transitive Roles. |
IFIP TCS |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Shinya Anzai, Jinhee Chun, Ryosei Kasai, Matias Korman, Takeshi Tokuyama |
Effect of Corner Information in Simultaneous Placement of K Rectangles and Tableaux. |
COCOON |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Camilla Schwind |
From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening. |
IBERAMIA |
2010 |
DBLP DOI BibTeX RDF |
|
15 | Mathias Péron |
Contributions à l'analyse statique de programmes manipulant des tableaux. (Contributions to the Static Analysis of Programs Handling Arrays). |
|
2010 |
RDF |
|
15 | Rajeev Goré, Linh Anh Nguyen |
Clausal Tableaux for Multimodal Logics of Belief. |
Fundam. Informaticae |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro, Fernando Orejas |
Dual Systems of Tableaux and Sequents for PLTL. |
J. Log. Algebraic Methods Program. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Alfredo Burrieza, Ángel Mora 0001, Manuel Ojeda-Aciego, Ewa Orlowska |
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. |
Int. J. Comput. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Jens Ulrik Hansen |
Terminating Tableaux for Dynamic Epistemic Logics. |
M4M |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Kendra Killpatrick |
Some statistics for Fibonacci tableaux. |
Eur. J. Comb. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Miklós Bóna |
On two related questions of Wilf concerning Standard Young Tableaux. |
Eur. J. Comb. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Sylvie Corteel, Philippe Nadeau |
Bijections for permutation tableaux. |
Eur. J. Comb. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Ji Ma 0001, Mehmet A. Orgun, Abdul Sattar 0001 |
Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux. |
IEEE Trans. Syst. Man Cybern. Part B |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Régis Alenda, Nicola Olivetti, Camilla Schwind |
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus |
CoRR |
2009 |
DBLP BibTeX RDF |
|
15 | Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera |
Abduction via C-tableaux and delta-resolution. |
J. Appl. Non Class. Logics |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Naiomi T. Cameron, Kendra Killpatrick |
k-ribbon Fibonacci tableaux. |
Discret. Math. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | David A. Basin, Carlos Caleiro, Jaime Ramos, Luca Viganò 0001 |
Labelled Tableaux for Distributed Temporal Logic. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue |
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation. |
FTP |
2009 |
DBLP BibTeX RDF |
|
15 | Mathijs de Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini |
Tableaux for Acceptance Logic. |
DALT |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Hidenori Kurokawa |
Tableaux and Hypersequents for Justification Logic. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Linh Anh Nguyen, Andrzej Szalas |
ExpTime Tableaux for Checking Satisfiability of a Knowledge Base in the Description Logic ALC\mathcal{ALC}. |
ICCCI |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini |
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
15 | Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
15 | Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio |
A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
15 | Roger E. Behrend |
Osculating Paths and Oscillating Tableaux. |
Electron. J. Comb. |
2008 |
DBLP BibTeX RDF |
|
15 | Matti Järvisalo, Emilia Oikarinen |
Extended ASP tableaux and rule redundancy in normal logic programs |
CoRR |
2008 |
DBLP BibTeX RDF |
|
15 | Lukasz Golab, Howard J. Karloff, Flip Korn, Divesh Srivastava, Bei Yu 0003 |
On generating near-optimal tableaux for conditional functional dependencies. (PDF / PS) |
Proc. VLDB Endow. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Seul Hee Choi |
The Robinson-Schensted correspondence for skew oscillating semi-standard tableaux. |
Discret. Math. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Matti Järvisalo, Emilia Oikarinen |
Extended ASP Tableaux and rule redundancy in normal logic programs. |
Theory Pract. Log. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | François Descouens |
Ribbon tableaux, ribbon rigged configurations and Hall-Littlewood functions at roots of unity. |
J. Comb. Theory, Ser. A |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Hjalmar Rosengren |
Schur Q-polynomials, multiple hypergeometric series and enumeration of marked shifted tableaux. |
J. Comb. Theory, Ser. A |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Rodolphe Priam, Mohamed Nadif, Gérard Govaert |
Binary Block GTM : Carte auto-organisatrice probabiliste pour les grands tableaux binaires. |
EGC |
2008 |
DBLP BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
modal and hybrid logics, difference modality, converse, decision procedures, tableau systems |
15 | Guido Governatori |
Labelled modal tableaux. |
Advances in Modal Logic |
2008 |
DBLP BibTeX RDF |
|
15 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jonathan Novak |
Truncations of Random Unitary Matrices and Young Tableaux. |
Electron. J. Comb. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Guillaume Hoffmann 0001, Carlos Areces |
HTab: a Terminating Tableaux System for Hybrid Logic. |
M4M |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Joxe Gaintzarain, Montserrat Hermo, Paqui Lucio, Marisa Navarro |
Systematic Semantic Tableaux for PLTL. |
PROLE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mark Kaminski, Gert Smolka |
Hybrid Tableaux for the Difference Modality. |
M4M |
2007 |
DBLP DOI BibTeX RDF |
|
15 | François Descouens |
A Generating Algorithm for Ribbon Tableaux and Spin Polynomials. |
Discret. Math. Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Boris G. Pittel, Dan Romik |
Limit shapes for random square Young tableaux. |
Adv. Appl. Math. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sylvie Corteel, Lauren K. Williams |
Tableaux combinatorics for the asymmetric exclusion process. |
Adv. Appl. Math. |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Moez Draief, Jean Mairesse, Neil O'Connell |
Queues, stores, and tableaux |
CoRR |
2007 |
DBLP BibTeX RDF |
|
15 | Virginie Detienne, F. Vesentini, Jean-Luc Hainaut |
Entreposage et exploitation de documents multidimensionnels évolutifs. Le cas des tableaux statistiques. |
Document Numérique |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Marianne Johnson |
Standard tableaux and Klyachko's theorem on Lie representations. |
J. Comb. Theory, Ser. A |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Einar Steingrímsson, Lauren K. Williams |
Permutation tableaux and permutation patterns. |
J. Comb. Theory, Ser. A |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Pietro Abate, Rajeev Goré, Florian Widmann |
One-Pass Tableaux for Computation Tree Logic. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Gaëlle Hignette, Patrice Buche, Juliette Dibie-Barthélemy, Ollivier Haemmerlé |
Annotation sémantique floue de tableaux guidée par une ontologie. |
EGC |
2007 |
DBLP BibTeX RDF |
|
15 | Thorsten Liebig, Felix Müller |
Parallelizing Tableaux-Based Description Logic Reasoning. |
OTM Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Martin Gebser, Torsten Schaub |
Generic Tableaux for Answer Set Programming. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|