Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
136 | Inderpal Singh Mumick, Oded Shmueli |
Universal Finiteness and Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 24-26, 1994, Minneapolis, Minnesota, USA, pp. 190-200, 1994, ACM Press, 0-89791-642-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
110 | Michael Kifer |
On the Decidability and Axiomatization of Query Finiteness in Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 45(4), pp. 588-633, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
finite queries, finiteness constraints, horizontal decompositions, partial constraints, query processing, computability, axiomatization |
72 | Robert A. Wagner |
Finiteness assumptions and intellectual isolation of computer scientists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(12), pp. 759-760, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
Algol vs. Fortran, finite word size, finiteness assumptions, integer variable range, intellectual isolation, memory finiteness |
59 | Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia |
The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings, pp. 211-225, 2006, Springer, 3-540-35362-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Buffer finiteness, priority queues, generating functions, matrix analytic methods, loss rate |
58 | Bruno Salvy |
D-finiteness: algorithms and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 2-3, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations |
46 | Thomas Ehrhard |
A Finiteness Structure on Resource Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 402-410, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
finiteness spaces, algebraic system F, linear logic, lambda-calculus, reducibility, denotational semantics |
45 | Nicoletta De Francesco, Paola Inverardi |
A Semantic Driven Method to Check the Finiteness of CCS Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 3rd International Workshop, CAV '91, Aalborg, Denmark, July, 1-4, 1991, Proceedings, pp. 266-276, 1991, Springer, 3-540-55179-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
39 | Raul Hakli, Matti Nykänen, Hellis Tamm |
Adding String Processing Capabilities to Data Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIRE ![In: Seventh International Symposium on String Processing and Information Retrieval, SPIRE 2000, A Coruña, Spain, September 27-29, 2000, pp. 122-131, 2000, IEEE Computer Society, 0-7695-0746-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
string theory, string processing capabilities, string-oriented application areas, string processing method, string handling, Alignment Declaration language, string relations, finiteness analysis, database management system, query evaluation, information retrieval systems, data management systems, computational molecular biology |
39 | Emmanuel Kounalis |
Pumping Lemmas for Tree Languages Generated by Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1990, MFCS'90, Banská Bystrica, Czechoslovakia, August 27-31, 1990, Proceedings, pp. 369-377, 1990, Springer, 3-540-52953-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Ground normal forms, Finiteness, Language representation, Compiling pattern-matching, Rewrite systems, Equations, Learning from examples, Finite models, Pumping Lemmas, Negation as failure, Proof by induction, Context-sensitive languages |
39 | Christine Tasson |
Algebraic Totality, towards Completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings, pp. 325-340, 2009, Springer, 978-3-642-02272-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Roberto Bagnara, Enea Zaffanella, Roberta Gori, Patricia M. Hill |
Boolean Functions for Finite-Tree Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings, pp. 579-594, 2001, Springer, 3-540-42957-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
39 | Laks V. S. Lakshmanan, Daniel A. Nonen |
Superfiniteness of Query Answers in Deductive Databases: An Automata-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 12th Conference, New Delhi, India, December 18-20, 1992, Proceedings, pp. 176-190, 1992, Springer, 3-540-56287-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
39 | Yehoshua Sagiv, Moshe Y. Vardi |
Safety of Datalog Queries over Infinite Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Eighth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania, USA, pp. 160-171, 1989, ACM Press, 0-89791-308-6. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
Datalog |
33 | |
Finiteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Database Systems ![In: Encyclopedia of Database Systems, pp. 1138, 2009, Springer US, 978-0-387-35544-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Matthias Aschenbrenner, Raymond Hemmecke |
Finiteness Theorems in Stochastic Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 7(2), pp. 183-227, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Maria João Ferreira, Jorge Picado |
On Point-finiteness in Pointfree Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(1-2), pp. 185-198, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06D22, 06A23, 54C30 |
33 | Iddo Eliazar |
The M/G/infinity system revisited: finiteness, summability, long range dependence, and reverse engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 55(1), pp. 71-82, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
M/G/? systems, Infinite arrival rates, Lévy inflows, Workload processes, Long Range Dependence (LRD), Reverse engineering, Poisson point processes |
33 | Aleksey Zobnin |
Admissible orderings and finiteness criteria for differential standard bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings, pp. 365-372, 2005, ACM, 1-59593-095-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Gröbner bases, admissible orderings, differential algebra |
33 | Bianca Truthe |
A Method for Deciding the Finiteness of Deterministic Tabled Picture Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004, Proceedings, pp. 406-417, 2004, Springer, 3-540-24014-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
33 | Chin Soon Lee |
Finiteness Analysis in Polynomial Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings, pp. 493-508, 2002, Springer, 3-540-44235-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
33 | Patrik Nordbeck |
On the Finiteness of Gröbner Bases Computation in Quotients of the Free Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 11(3), pp. 157-180, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Non-commutative algebras, Gröbner bases, Dickson's lemma, Noetherianity, Syzygies |
33 | Philippe Balbiani |
The Finiteness of Logic Programming Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings, pp. 403-419, 1992, Springer, 3-540-55873-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
33 | Eric Madelaine, Didier Vergamini |
Finiteness Conditions and Structural Construction of Automata for All Process Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 2nd International Workshop, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, pp. 353-363, 1990, Springer, 3-540-54477-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Daryl J. Daley, Robert D. Foley, Tomasz Rolski |
Conditions for finite moments of waiting times inG/G/1 queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 17(1-2), pp. 89-106, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
convergence rates for strong law of large numbers, finiteness of moments, waiting times, G/G/1 queue |
26 | Wojciech Plandowski |
An efficient algorithm for solving word equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21-23, 2006, pp. 467-476, 2006, ACM, 1-59593-134-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
word equations |
26 | Evelyne Contejean, Antoine Coste, Benjamin Monate |
Rewriting Techniques in Theoretical Physics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 11th International Conference, RTA 2000, Norwich, UK, July 10-12, 2000, Proceedings, pp. 80-94, 2000, Springer, 3-540-67778-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Olaf Burkart, Didier Caucal, Bernhard Steffen |
Bisimulation Collapse and the Process Taxonomy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 247-262, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Shai Ben-David, Nicolò Cesa-Bianchi, Philip M. Long |
Characterizations of Learnability for Classes of {O, ..., n}-Valued Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLT ![In: Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, COLT 1992, Pittsburgh, PA, USA, July 27-29, 1992., pp. 333-340, 1992, ACM, 0-89791-497-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
26 | Véronique Bruyère |
On Maximal Prefix Sets of Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1988, MFCS'88, Carlsbad, Czechoslovakia, August 29 - September 2, 1988, Proceedings, pp. 201-209, 1988, Springer, 3-540-50110-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Petr Hájek 0001 |
Making Dynamic Logic First-Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31 - September 4, 1981, Proceedings, pp. 287-295, 1981, Springer, 3-540-10856-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
20 | Melvin Adekanye, Christopher Bury, Ben Cameron, Thaler Knodel |
On the finiteness of k-vertex-critical 2P2-free graphs with forbidden induced squids or bulls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2402.15908, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Yunfei Zhu, Haiyan Guan |
A finiteness theorem of block-transitive point-imprimitive 3-designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 347(3), pp. 113819, March 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Ke-Ming Chang, Kuo-Chang Chen |
Toward finiteness of central configurations for the planar six-body problem by symbolic computations. (I) Determine diagrams and orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 123, pp. 102277, July 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Matthias C. Caro |
From undecidability of non-triviality and finiteness to undecidability of learnability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 163, pp. 109057, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yiyang Deng, Marshall Hampton |
Finiteness of Spatial Central Configurations with Fixed Subconfigurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Algebra Geom. ![In: SIAM J. Appl. Algebra Geom. 7(3), pp. 610-622, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Shiva Eshaghi, Mohammad Saleh Tavazoei |
Finiteness conditions for performance indices in generalized fractional-order systems defined based on the regularized Prabhakar derivative. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Nonlinear Sci. Numer. Simul. ![In: Commun. Nonlinear Sci. Numer. Simul. 117, pp. 106979, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Eric J. Hall, Kyriakos Keremedis |
Independent families and some notions of finiteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 62(5-6), pp. 689-701, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Saeed Yazdani, Jafar A'zami, Yasin Sadegh |
Indecomposability of top local cohomology modules and Falting's finiteness dimension of modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Period. Math. Hung. ![In: Period. Math. Hung. 87(2), pp. 429-440, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Göller, Pawel Parys |
Weak Bisimulation Finiteness of Pushdown Systems With Deterministic ε-Transitions Is 2-EXPTIME-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, January 22-25, 2023, pp. 2777-2815, 2023, SIAM, 978-1-61197-755-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Marco A. Gómez, Raphaël M. Jungers, Wim Michiels |
On the Strong $\mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 67(1), pp. 121-133, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Sébastien M. Mattenet, Vittorio De Iuliis, Marco A. Gómez, Wim Michiels, Raphaël M. Jungers |
An improved finiteness test and a systematic procedure to compute the strong ℋ2 norm of differential algebraic systems with multiple delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 144, pp. 110495, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Erwan Lanneau, Martin Möller |
Non-Existence and Finiteness Results for Teichmüller Curves in Prym Loci. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 31(2), pp. 621-636, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Xuan Kien Phung |
Stable finiteness of twisted group rings and noisy linear cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.06002, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Abhisekh Sankaran |
Pseudo-finiteness of arbitrary graphs of bounded shrub-depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.06308, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
20 | Will Johnson |
A criterion for uniform finiteness in the imaginary sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 61(3-4), pp. 583-589, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
Coverability, Termination, and Finiteness in Recursive Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 183(1-2), pp. 33-66, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Ievgen V. Bondarenko, Jan Philipp Wächter |
On orbits and the finiteness of bounded automaton groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 31(6), pp. 1177-1190, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Mohammad Amin Sarafrazi, Ewa Pawluszewicz, Zbigniew Bartosiewicz, Ülle Kotta |
On the finiteness of accessibility test for nonlinear discrete-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 94(9), pp. 2330-2336, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michael Vogelius, Jingni Xiao |
Finiteness Results Concerning Nonscattering Wave Numbers for Incident Plane and Herglotz Waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 53(5), pp. 5436-5464, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Federico Castillo, José Alejandro Samper |
Finiteness theorems for matroid complexes with prescribed topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 92, pp. 103239, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Larbi Alili, David Woodford |
On the finiteness and tails of perpetuities under a Lamperti-Kiu MAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Probab. ![In: J. Appl. Probab. 58(4), pp. 1086-1113, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Franco Blanchini, Carlos Andrés Devia, Giulia Giordano |
Structural polyhedral stability of a biochemical network is equivalent to finiteness of the associated generalised Petri net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.01709, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Xuan Kien Phung |
A geometric generalization of Kaplansky's direct finiteness conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2111.07930, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Alain Finkel, Serge Haddad, Igor Khmelnitsky |
Coverability, Termination, and Finiteness in Recursive Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2109.06804, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Eric Hayden Campbell, Michael Greenberg 0002 |
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2107.06045, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
20 | Alexander Stasinski |
A Uniform Proof of the Finiteness of the Class Group of a Global Field. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Am. Math. Mon. ![In: Am. Math. Mon. 128(3), pp. 239-249, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Joshua Brot, Mengyang Cao, David J. Fernández-Bretón |
Finiteness classes arising from Ramsey-theoretic statements in set theory without choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(6), pp. 102961, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Cristian Marius Litan, Francisco Marhuenda, Peter Sudhölter |
Generic finiteness of equilibrium distributions for bimatrix outcome game forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 287(2), pp. 801-810, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Koch |
Refined Finiteness and Degree Properties in Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formaliz. Math. ![In: Formaliz. Math. 28(2), pp. 137-154, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Petr Jancar |
Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 109, pp. 22-44, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Göller, Pawel Parys |
Bisimulation Finiteness of Pushdown Systems Is Elementary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06285, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Manolis C. Tsakiris |
Finiteness of fibers in matrix completion via Plücker coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.05082, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Giovanni Panti, Davide Sclosa |
The finiteness conjecture holds in SL(2, Z>=0)^2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2006.16899, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Manolis C. Tsakiris |
An exposition to the finiteness of fibers in matrix completion via Plücker coordinates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.12430, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Nadir Murru, Lea Terracini |
On the finiteness and periodicity of the p-adic Jacobi-Perron algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 89(326), pp. 2913-2930, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Stefan Göller, Pawel Parys |
Bisimulation Finiteness of Pushdown Systems Is Elementary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Saarbrücken, Germany, July 8-11, 2020., pp. 521-534, 2020, ACM, 978-1-4503-7104-9. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | José Espírito Santo, Ralph Matthes, Luís Pinto 0001 |
Decidability of Several Concepts of Finiteness for Simple Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 170(1-3), pp. 111-138, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Petr Jancar, Jérôme Leroux, Grégoire Sutre |
Co-Finiteness and Co-Emptiness of Reachability Sets in Vector Addition Systems with States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 169(1-2), pp. 123-150, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Jules Chouquet |
Taylor Expansion, Finiteness and Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019, pp. 65-85, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Attila Pethö, Jörg M. Thuswaldner, Mario Weitzer |
The Finiteness Property for Shift Radix Systems With General Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integers ![In: Integers 19, pp. A50, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Mohammad Amin Sarafrazi, Ewa Pawluszewicz, Zbigniew Bartosiewicz, Ülle Kotta |
On the finiteness of accessibility test for nonlinear discrete-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.10154, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Ievgen V. Bondarenko, Jan Philipp Wächter |
On Orbits and the Finiteness of Bounded Automaton Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.06897, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Thomas A. Courtade, Jingbo Liu |
Euclidean Forward-Reverse Brascamp-Lieb Inequalities: Finiteness, Structure and Extremals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.12723, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Alberto Dennunzio, Enrico Formenti, Darij Grinberg, Luciano Margara |
Integrality of matrices, finiteness of matrix semigroups, and dynamics of linear cellular automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.08565, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Stefan Papadima, Alexander I. Suciu |
Infinitesimal finiteness obstructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 99(1), pp. 173-193, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott |
Finiteness Spaces and Generalized Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018, pp. 5-22, 2018, Elsevier. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Adrienn Csizmadia, Zsolt Csizmadia, Tibor Illés |
Finiteness of the quadratic primal simplex method when s-monotone index selection rules are applied. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Central Eur. J. Oper. Res. ![In: Central Eur. J. Oper. Res. 26(3), pp. 535-550, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Christine Tasson, Lionel Vaux |
Transport of finiteness structures and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(7), pp. 1061-1096, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Petr Jancar, Jérôme Leroux, Grégoire Sutre |
Co-finiteness and Co-emptiness of Reachability Sets in Vector Addition Systems with States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Application and Theory of Petri Nets and Concurrency - 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings, pp. 184-203, 2018, Springer, 978-3-319-91267-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Daniele D'Angeli, Emanuele Rodaro, Jan Philipp Wächter |
Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1712.07408, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
20 | Sukumar Das Adhikari, Luis Boza, Shalom Eliahou, Juan Manuel Marín, M. P. Revuelta, María Isabel Sanz Domínguez |
On the finiteness of some n-color Rado numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 340(2), pp. 39-45, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Tarmo Uustalu, Niccolò Veltri |
Finiteness and rational sequences, constructively. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 27, pp. e13, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | A. K. Das 0001, R. Jana, Deepmala |
Finiteness of Criss-Cross Method in Complementarity Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMC ![In: Mathematics and Computing - Third International Conference, ICMC 2017, Haldia, India, January 17-21, 2017, Proceedings, pp. 170-180, 2017, 978-981-10-4641-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Martin Delacourt, Nicolas Ollinger |
Permutive One-Way Cellular Automata and the Finiteness Problem for Automaton Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings, pp. 234-245, 2017, Springer, 978-3-319-58740-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Yilun Wu |
Simplicity and Finiteness of Discrete Spectrum of the Benjamin-Ono Scattering Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Math. Anal. ![In: SIAM J. Math. Anal. 48(2), pp. 1348-1367, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Kyriakos Keremedis |
Non-discrete metrics in and some notions of finiteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 62(4-5), pp. 383-390, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis |
Finiteness Classes and Small Violations of Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 57(3), pp. 375-388, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Michele Pagani, Christine Tasson, Lionel Vaux |
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.07218, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Siegfried Gottwald |
Local finiteness in t-norm bimonoids: Overlap cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 292, pp. 285-295, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Jihad Fahs, Ibrahim C. Abou-Faycal |
On the Finiteness of the Capacity of Continuous Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 64(1), pp. 166-173, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Christopher J. Hillar, Abraham Martín del Campo |
Corrigendum to "Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals" [J. Symb. Comput. 50(March 2013) 314-334]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 74, pp. 650-652, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ian Kiming, Nadim Rustom, Gabor Wiese |
On certain finiteness questions in the arithmetic of modular forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 94(2), pp. 479-502, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Michele Pagani, Christine Tasson, Lionel Vaux |
Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 408-423, 2016, Springer, 978-3-662-49629-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Petr Jancar |
Deciding Semantic Finiteness of Pushdown Processes and First-Order Grammars w.r.t. Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland, pp. 52:1-52:13, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-016-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Marc Bezem, Thierry Coquand, Keiko Nakata 0001, Erik Parmann |
Realizability at Work: Separating Two Constructive Notions of Finiteness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: 22nd International Conference on Types for Proofs and Programs, TYPES 2016, May 23-26, 2016, Novi Sad, Serbia, pp. 6:1-6:23, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-065-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Sebastian Rudolph |
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Description Logics ![In: Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016., 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
20 | Florian Lehner, Rögnvaldur G. Möller |
Local Finiteness, Distinguishing Numbers, and Tucker's Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 22(4), pp. 4, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Frédérique Bassino, Mathilde Bouvel, Adeline Pierrot, Dominique Rossin |
An algorithm for deciding the finiteness of the number of simple permutations in permutation classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Appl. Math. ![In: Adv. Appl. Math. 64, pp. 124-200, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Ken Dykema, Timo Heister, Kate Juschenko |
Finitely Presented Groups Related to Kaplansky's Direct Finiteness Conjecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 24(3), pp. 326-338, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Edward Hermann Haeusler |
Finiteness and Computation in Toposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCM ![In: Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015., pp. 61-77, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|