Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
66 | Yen Kaow Ng, Takeshi Shinohara |
Inferring Unions of the Pattern Languages by the Most Fitting Covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings, pp. 269-282, 2005, Springer, 3-540-29242-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Priti Chandra, Arun K. Pujari |
Minimality and Convexity Properties in Spatial CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 14-16 November 2005, Hong Kong, China, pp. 589-593, 2005, IEEE Computer Society, 0-7695-2488-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
59 | Wiebe van der Hoek, Jan Jaspars, Elias Thijsse |
Persistence and Minimality in Epistemic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings, pp. 62-76, 1998, Springer, 3-540-65141-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
51 | Sonia Bergamaschi, Claudio Sartori 0001 |
On Taxonomic Reasoning in Conceptual Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 17(3), pp. 385-422, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
schema consistency, schema minimality, taxonomic reasoning, semantic models |
46 | Matthijs J. Warrens |
On multi-way metricity, minimality and diagonal planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Data Anal. Classif. ![In: Adv. Data Anal. Classif. 2(2), pp. 109-119, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 51K05 |
46 | Russell Howes, Lee John Eccleston, Jorge M. Goncalves, Guy-Bart Stan, Sean Warnick |
Dynamical structure analysis of sparsity and minimality heuristics for reconstruction of biochemical networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 173-178, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Hellis Tamm |
On Transition Minimality of Bideterministic Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 411-421, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Yijia Chen, Jörg Flum |
The Parameterized Complexity of Maximality and Minimality Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Second International Workshop, IWPEC 2006, Zürich, Switzerland, September 13-15, 2006, Proceedings, pp. 25-37, 2006, Springer, 3-540-39098-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Reza Pulungan, Holger Hermanns |
Acyclic Minimality by Construction---Almost. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 63-72, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Acyclic phase-type distributions, minimality, minimal representation |
40 | Slavko Moconja, Predrag Tanovic |
Does weak quasi-o-minimality behave better than weak o-minimality? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 61(1-2), pp. 81-103, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
39 | Gabriel Aguilera 0001, Pablo Cordero, Manuel Enciso, Ángel Mora 0001, Inmaculada Perez de Guzmán |
A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBIA ![In: Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29 - October 1, 2004, Proceedings, pp. 31-40, 2004, Springer, 3-540-23237-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
39 | Thomas Eiter, Georg Gottlob |
The Complexity of Logic-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 42(1), pp. 3-42, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
diagnosis, reasoning, abduction, complexity analysis, propositional logic |
39 | Thomas Eiter, Georg Gottlob |
The Complexity of Logic-Based Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 70-79, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
38 | Balaji Padmanabhan, Alexander Tuzhilin |
On Characterization and Discovery of Minimal Unexpected Patterns in Rule Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(2), pp. 202-216, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
unexpectedness, Data mining, association rules, minimality |
33 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi |
Minimality Results for the Spatial Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 23rd Conference, Mumbai, India, December 15-17, 2003, Proceedings, pp. 252-264, 2003, Springer, 3-540-20680-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Mehmet Baran |
Compactness, Perfectness, Separation, Minimality and Closedness with Respect to Closure Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(4), pp. 403-415, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
topological category, convergence spaces, limit spaces, compact objects, perfect morphism, closure operator |
33 | Stefan Wrobel |
On the Proper Definition of Minimality in Specialization and Theory Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML-93, European Conference on Machine Learning, Vienna, Austria, April 5-7, 1993, Proceedings, pp. 65-82, 1993, Springer, 3-540-56602-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Yi-Dong Shen, Jia-Huai You |
A Default Approach to Semantics of Logic Programs with Constraint Atoms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings, pp. 277-289, 2009, Springer, 978-3-642-04237-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Brad Ballinger, David Charlton, Erik D. Demaine, Martin L. Demaine, John Iacono, Ching-Hao Liu, Sheung-Hung Poon |
Minimal Locked Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings, pp. 61-73, 2009, Springer, 978-3-642-03366-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Benny Kimelfeld, Yehoshua Sagiv |
Revisiting redundancy and minimization in an XPath fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: EDBT 2008, 11th International Conference on Extending Database Technology, Nantes, France, March 25-29, 2008, Proceedings, pp. 61-72, 2008, ACM, 978-1-59593-926-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Yen Kaow Ng, Takeshi Shinohara |
Characteristic Sets for Inferring the Unions of the Tree Pattern Languages by the Most Fitting Hypotheses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings, pp. 307-319, 2006, Springer, 3-540-45264-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Faber 0001, Nicola Leone, Gerald Pfeifer |
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings, pp. 200-212, 2004, Springer, 3-540-23242-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Haris Widjaya, Torsten Möller, Alireza Entezari |
Voxelization in Common Sampling Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PG ![In: 11th Pacific Conference on Computer Graphics and Applications, PG 2003, Canmore, Canada, October 8-10, 2003, pp. 497-501, 2003, IEEE Computer Society, 0-7695-2028-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Ljupco Todorovski, Saso Dzeroski |
Theory Revision in Equation Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 4th International Conference, DS 2001, Washington, DC, USA, November 25-28, 2001, Proceedings, pp. 389-400, 2001, Springer, 3-540-42956-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto L. Sangiovanni-Vincentelli, Albert R. Wang |
Multi-level logic minimization using implicit don't cares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 7(6), pp. 723-740, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Raymond Chi-Wing Wong, Ada Wai-Chee Fu, Ke Wang 0001, Jian Pei |
Anonymization-based attacks in privacy-preserving data publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 34(2), pp. 8:1-8:46, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
minimality attack, Privacy preservation, k-anonymity, data publishing, l-diversity |
25 | Sujeet Pradhan |
Towards an integrated framework for querying collection of heterogeneous data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICUIMC ![In: Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, ICUIMC 2009, Suwon, Korea, January 15-16, 2009, pp. 51-57, 2009, ACM, 978-1-60558-405-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algebraic query model, anti-monotonic filters, graph data structure, information unit, retrieval unit, query optimization, minimality |
25 | Lars Lindahl, Jan Odelstad |
Strata of Intervenient Concepts in Normative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEON ![In: Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings, pp. 203-217, 2008, Springer, 978-3-540-70524-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Legal concept, Intermediate concept, Intervenient, Weakest ground, Strongest consequence, Intervenient minimality, Ownership, Normative system |
25 | James Joshi, Elisa Bertino, Arif Ghafoor |
An Analysis of Expressiveness and Design Issues for the Generalized Temporal Role-Based Access Control Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(2), pp. 157-175, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Role-based access control, minimality, temporal constraint, expressiveness analysis |
25 | Michael Benedikt, Leonid Libkin |
Relational queries over interpreted structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 47(4), pp. 644-680, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
0-minimality, collapse results, constraints, quantifier elimination, relational calculus |
25 | Kwang-Ting Cheng, Vishwani D. Agrawal |
Initializability Consideration in Sequential Machine Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 41(3), pp. 374-379, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
initializability, sequential machine synthesis, gate-level analysis tools., logic testing, finite-state machine, logic design, encoding, synchronisation, finite automata, state assignment, logic minimality, logic optimization, synchronizing sequences, state encoding |
25 | Christos H. Papadimitriou |
On Selecting a Satisfying Truth Assignment (Extended Abstract) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, 1-4 October 1991, pp. 163-169, 1991, IEEE Computer Society, 0-8186-2445-0. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
2SAT, satisfying truth assignment selection, natural generalizations, default preference, polynomial-time randomized algorithm, complexity, satisfiability, minimality, circumscription, selection criteria |
25 | José Manuel Colom, Manuel Silva Suárez |
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, Bonn, Germany, June 1989, Proceedings], pp. 79-112, 1989, Springer, 3-540-53863-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Structural analysis of P/T nets, Minimal semiflows, Extremal direction of a cone, Algorithms to compute all minimal semiflows, Tests of minimality, Convex Geometry |
20 | Lidia Huerga, Enrico Miglierina, Elena Molho, Vicente Novo |
On proper minimality in set optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 18(2), pp. 513-528, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Myeongsoo Kim, Santosh Pande, Alessandro Orso |
Improving Program Debloating with 1-DU Chain Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.00276, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
Dimension-Minimality and Primality of Counter Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS (2) ![In: Foundations of Software Science and Computation Structures - 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II, pp. 229-249, 2024, Springer, 978-3-031-57230-2. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Zhenyang Xu, Yongqiang Tian 0001, Mengxiao Zhang, Gaosen Zhao, Yu Jiang 0001, Chengnian Sun |
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 7(OOPSLA1), pp. 636-664, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Menachem Shlossberg |
Minimality Conditions Equivalent to the Finitude of Fermat and Mersenne Primes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 12(6), pp. 540, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 320, pp. 103931, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Nadia Creignou, Frédéric Olive, Johannes Schmidt 0001 |
Complexity of Reasoning with Cardinality Minimality Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.01571, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun |
Dimension-Minimality and Primality of Counter Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.14492, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Walid Marweni |
Primality, criticality and minimality problems in trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. Algorithms Appl. ![In: Discret. Math. Algorithms Appl. 15(4), pp. 2250109:1-2250109:14, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Nadia Creignou, Frédéric Olive, Johannes Schmidt 0001 |
Complexity of Reasoning with Cardinality Minimality Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023, pp. 3932-3940, 2023, AAAI Press, 978-1-57735-880-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jason M. Whyte |
Monte Carlo investigation of structural minimality for structures of uncontrolled linear switching systems with Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Maple Trans. ![In: Maple Trans. 2(1), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alfred Dolich, Chris Miller 0001, Alex Savatovsky, Athipat Thamrongthanyalak |
Connectedness in Structures on the Real numbers: O-Minimality and Undecidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 87(3), pp. 1243-1259, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Nadav Meir |
Pseudo-finite Sets, Pseudo-O-Minimality - erratum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 87(1), pp. 436, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Federico Toffano, Nic Wilson |
Minimality and comparison of sets of multi-attribute vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Agents Multi Agent Syst. ![In: Auton. Agents Multi Agent Syst. 36(2), pp. 44, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Kruk, Robert Gieroba |
Local edge minimality of SRPT networks with shared resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 96(3), pp. 459-492, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.05701, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems and Examples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 18(3), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay |
The minimality of the Georges-Kelmans graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 91(335), pp. 1483-1500, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Elena Angelini, Luca Chiantini |
Minimality and uniqueness for decompositions of specific ternary forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 91(334), pp. 973-1006, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Kai Feng, Mei Liu |
On Negative Imaginariness and H∞ Control of Descriptor State-space Symmetric Systems without Minimality Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASCC ![In: 13th Asian Control Conference, ASCC 2022, Jeju, Korea, May 4-7, 2022, pp. 2304-2309, 2022, IEEE, 978-89-93215-23-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Feisi Fu, Wenchao Li 0001 |
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022, 2022, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Nadav Meir |
Pseudo-finite Sets, Pseudo-O-Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 86(2), pp. 577-599, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Radomír Halas, Zbynek Kurac, Jozef Pócs |
On the minimality of some generating sets of the aggregation clone on a finite chain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 564, pp. 193-201, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Andrzej Wisniewski |
Entailment, Transmission of Truth, and Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAP ![In: FLAP 8(10), pp. 2471-2522, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Thomas Eiter, Tobias Kaminski |
Pruning external minimality checking for answer set programs using semantic dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 290, pp. 103402, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Leen Lambers, Fernando Orejas |
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 884, pp. 44-67, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2106.07233, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Feisi Fu, Wenchao Li 0001 |
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.07682, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Gunnar Brinkmann, Jan Goedgebeur, Brendan D. McKay |
The Minimality of the Georges-Kelmans Graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.00943, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Vahagn Aslanyan |
Ax-Schanuel and strong minimality for the j-function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(1), pp. 102871, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Leonardo Mazzini |
Extended Sufficient Conditions for Strong Minimality in the Bolza Problem: Applications to Space Trajectory Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Optim. Theory Appl. ![In: J. Optim. Theory Appl. 191(2), pp. 486-516, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mousumi Mukherjee, Debasattam Pal |
On Minimality of Initial Data Required to Uniquely Characterize Every Trajectory in a Discrete n-D System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 59(2), pp. 1520-1554, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Davide Lofano, Giovanni Paolini |
Euclidean matchings and minimality of hyperplane arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 344(3), pp. 112232, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell 0001 |
On Positivity and Minimality for Second-Order Holonomic Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., pp. 67:1-67:15, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-201-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Thorsten Wißmann |
Minimality Notions via Factorization Systems ((Co)algebraic pearls). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria., pp. 24:1-24:21, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-212-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Maurizio Boccia, Antonio Sforza, Claudio Sterle |
Simple Pattern Minimality Problems: Integer Linear Programming Formulations and Covering-Based Heuristic Solving Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 32(4), pp. 1049-1060, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | George Kenison, Oleksiy Klurman, Engel Lefaucheux, Florian Luca, Pieter Moree, Joël Ouaknine, Markus A. Whiteland, James Worrell 0001 |
On Positivity and Minimality for Second-Order Holonomic Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.12282, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Quentin Cohen-Solal |
Minimality of Combined Qualitative Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 688-695, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Federico Toffano, Nic Wilson |
Minimality and Comparison of Sets of Multi-Attribute Vectors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), pp. 913-920, 2020, IOS Press, 978-1-64368-100-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Ofer Arieli, Christian Straßer |
On Minimality and Consistency Tolerance in Logical Argumentation Frameworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2020, Perugia, Italy, September 4-11, 2020., pp. 91-102, 2020, IOS Press, 978-1-64368-106-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Mike Behrisch, Hajime Machida |
On Minimality of Some Binary Clones Related to Unary Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 50th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2020, Miyazaki, Japan, November 9-11, 2020, pp. 297-302, 2020, IEEE, 978-1-7281-5406-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Artem Chernikov, Pierre Simon |
Henselian Valued Fields and InP-Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 84(4), pp. 1510-1526, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Victoria Noquez |
Vaught's Two-Cardinal Theorem and Notions of Minimality in Continuous Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 25(2), pp. 215-216, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Christos Sourdis |
Energy minimality property of the connecting solution of the Painlevé phase transition model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Lett. ![In: Appl. Math. Lett. 98, pp. 381-384, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Vakhtang Lomadze |
The predictable degree property and minimality in multidimensional convolutional coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 342(3), pp. 784-792, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Eiter, Tobias Kaminski |
Pruning External Minimality Checking for ASP Using Semantic Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings, pp. 326-339, 2019, Springer, 978-3-030-20527-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Guillaume Escamocher, Barry O'Sullivan |
Pushing the frontier of minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 745, pp. 172-201, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Sylvie Davies |
Primitivity, Uniform Minimality, and State Complexity of Boolean Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 62(8), pp. 1952-2005, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith |
Site-Directed Insertion: Decision Problems, Maximality and Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.11017, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell |
Homomorphisms and Minimality for Enrich-by-Need Security Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.07158, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Daniel Krenn, Volker Ziegler |
Non-minimality of the width-w non-adjacent form in conjunction with trace one 휏-adic digit expansions and Koblitz curves in characteristic two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 87(310), pp. 821-854, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Nicolás Cianci, Miguel Ottina |
Poset splitting and minimality of finite models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 157, pp. 120-161, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Lisa Ehrlinger, Wolfram Wöß |
A Novel Data Quality Metric for Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUAT@WISE ![In: Data Quality and Trust in Big Data - 5th International Workshop, QUAT 2018, Held in Conjunction with WISE 2018, Dubai, UAE, November 12-15, 2018, Revised Selected Papers, pp. 1-15, 2018, Springer, 978-3-030-19142-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | K. Hemantha, Nidhi Desai, Manik Lal Das |
On Minimality Attack for Privacy-Preserving Data Publishing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCC ![In: Security in Computing and Communications - 6th International Symposium, SSCC 2018, Bangalore, India, September 19-22, 2018, Revised Selected Papers, pp. 324-335, 2018, Springer, 978-981-13-5825-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Athanasios Panaretos, David Corsar, Wamberto Weber Vasconcelos |
Minimality and Simplicity of Rules for the Internet-of-Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AT ![In: Agreement Technologies - 6th International Conference, AT 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers, pp. 64-72, 2018, Springer, 978-3-030-17293-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith |
Site-Directed Insertion: Decision Problems, Maximality and Minimality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings, pp. 49-61, 2018, Springer, 978-3-319-94630-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev |
Frame-Validity Games and Absolute Minimality of Modal Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Modal Logic ![In: Advances in Modal Logic 12, proceedings of the 12th conference on `Advances in Modal Logic,` held in Bern, Switzerland, August 27-31, 2018, pp. 83-102, 2018, College Publications, 978-1-84890-255-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | Christian Mancas |
MatBase Constraint Sets Coherence and Minimality Enforcement Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems - 22nd European Conference, ADBIS 2018, Budapest, Hungary, September 2-5, 2018, Proceedings, pp. 263-277, 2018, Springer, 978-3-319-98397-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Antoine Chambert-Loir |
G.O. Jones and A.J. Wilkie, editors, O-Minimality and Diophantine Geometry. London Mathematical Society Lecture Note Series, vol. 421, Cambridge University Press, 2015. xii + 221 pp. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. Symb. Log. ![In: Bull. Symb. Log. 23(1), pp. 115-117, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Lukasz Kruk |
Edge minimality of EDF resource sharing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Methods Oper. Res. ![In: Math. Methods Oper. Res. 86(2), pp. 331-366, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Mahide Küçük, Didem Tozkan, Yalçin Küçük |
On some geometric conditions for minimality of DCH-functions via DC-duality approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 69(4), pp. 951-965, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Zimi Li, Andrea Cohen, Simon Parsons |
Two forms of minimality in ASPIC+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.00780, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Sylvie Davies |
Primitivity, Uniform Minimality and State Complexity of Boolean Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1702.00877, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Mert Bastug, Mihály Petreczky, Laurentiu Hetel |
Minimality of aperiodic sampled data systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017, pp. 5750-5755, 2017, IEEE, 978-1-5090-5992-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Michal Ajdarów |
Minimality problems for promise versions of finite automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCMA ![In: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., pp. 41-55, 2017, Österreichische Computer Gesellschaft, 978-3-903035-18-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Zimi Li, Andrea Cohen, Simon Parsons |
Two Forms of Minimality in ASPIC ^+. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUMAS/AT ![In: Multi-Agent Systems and Agreement Technologies - 15th European Conference, EUMAS 2017, and 5th International Conference, AT 2017, Évry, France, December 14-15, 2017, Revised Selected Papers, pp. 203-218, 2017, Springer, 978-3-030-01712-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Raquel Pinto, Rita Simões |
On Minimality of ISO Representation of Basic 2D Convolutional Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMCTA ![In: Coding Theory and Applications - 5th International Castle Meeting, ICMCTA 2017, Vihula, Estonia, August 28-31, 2017, Proceedings, pp. 257-271, 2017, Springer, 978-3-319-66277-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|