Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Hai-Long Yang, Zhi-Lian Guo |
Kernels and closures of soft set relations, and soft set relation mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 61(3), pp. 651-662, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit |
Closures in Formal Languages and Kuratowski's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Found. Comput. Sci. ![In: Int. J. Found. Comput. Sci. 22(2), pp. 301-321, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Luc Baril |
Cyclic and lift closures for k...21-avoiding permutations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 311(1), pp. 51-57, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Christian Sternagel, René Thiemann |
Executable Transitive Closures of Finite Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2011, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
18 | Dieter Probst, Thomas Strahm |
Admissible closures of polynomial time computable arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 50(5-6), pp. 643-660, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Amitabh Basu, Gérard Cornuéjols, Marco Molinaro 0001 |
A Probabilistic Analysis of the Strength of the Split and Triangle Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatoral Optimization - 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings, pp. 27-38, 2011, Springer, 978-3-642-20806-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Yangjun Chen, Yibin Chen |
Decomposing DAGs into spanning trees: A new way to compress transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 27th International Conference on Data Engineering, ICDE 2011, April 11-16, 2011, Hannover, Germany, pp. 1007-1018, 2011, IEEE Computer Society, 978-1-4244-8958-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Stavros Konstantinidis, Nicolae Santean |
Computing Maximal Kleene Closures That Are Embeddable in a Given Constrained DNA Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DNA ![In: DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings, pp. 115-129, 2011, Springer, 978-3-642-23637-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Sven Verdoolaege, Albert Cohen 0001, Anna Beletska |
Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings, pp. 216-232, 2011, Springer, 978-3-642-23701-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Marquis |
Existential Closures for Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pp. 996-1001, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Ronny Aboudi, Dominique Thon |
Characterizations of egalitarian binary relations as transitive closures with a special reference to Lorenz dominance and to single-crossing conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 35(4), pp. 575-593, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Manfred Schmidt-Schauß, David Sabel |
Closures of may-, should- and must-convergences for contextual equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 110(6), pp. 232-235, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Arto Salomaa |
Ordered Catenation Closures and Decompositions of Languages Related to a Language of Derick Wood. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 16(5), pp. 821-832, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Cory D. Hauck, Ryan G. McClarren |
Positive PN Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 32(5), pp. 2603-2626, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Bonami |
On optimizing over lift-and-project closures ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.5412, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Rémy-Robert Joseph |
Making choices with a binary relation: Relative choice axioms and transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 207(2), pp. 865-877, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Liming Xiong, Mingchu Li |
Supereulerian index is stable under contractions and closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ars Comb. ![In: Ars Comb. 97, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
18 | Sanjeeb Dash, Oktay Günlük, Andrea Lodi 0001 |
Erratum to: MIR closures of polyhedral sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 123(2), pp. 485-486, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Jaakko Järvi, John Freeman |
C++ lambda expressions and closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 75(9), pp. 762-772, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Jonathan de Halleux, Nikolai Tillmann |
Moles: Tool-Assisted Environment Isolation with Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (48) ![In: Objects, Models, Components, Patterns, 48th International Conference, TOOLS 2010, Málaga, Spain, June 28 - July 2, 2010. Proceedings, pp. 253-270, 2010, Springer, 978-3-642-13952-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
18 | Douglas A. Leonard |
A weighted module view of integral closures of affine domains of type I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Math. Commun. ![In: Adv. Math. Commun. 3(1), pp. 1-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Guo-Qiang Zhang 0001 |
Closures in Binary Partial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISDT ![In: Proceedings of the Fifth International Symposium on Domain Theory, ISDT 2009, Shanghai, China, September 12-14, 2009, pp. 3-18, 2009, Elsevier. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit |
Closures in Formal Languages and Kuratowski's Theorem ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0901.3761, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit |
Closures in Formal Languages: Concatenation, Separation, and Algorithms ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0901.3763, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
18 | Fu-Gui Shi |
L-fuzzy interiors and L-fuzzy closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 160(9), pp. 1218-1232, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Ainouche |
beta-neighborhood closures for graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(10), pp. 2961-2967, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Ainouche |
beta-degree closures for graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(10), pp. 2968-2973, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Tran Nam Trung |
Stability of associated primes of integral closures of monomial ideals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 116(1), pp. 44-54, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Janusz A. Brzozowski, Elyot Grant, Jeffrey O. Shallit |
Closures in Formal Languages and Kuratowski's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 13th International Conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009. Proceedings, pp. 125-144, 2009, Springer, 978-3-642-02736-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Dave Clarke 0001, Pascal Costanza, Éric Tanter |
How should context-escaping closures proceed? ![Search on Bibsonomy](Pics/bibsonomy.png) |
COP@ECOOP ![In: International Workshop on Context-Oriented Programming, COP 2009, Genova, Italy, July 7, 2009, pp. 1:1-1:6, 2009, ACM, 978-1-60558-538-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Laszlo Szathmary, Petko Valtchev, Amedeo Napoli, Robert Godin |
Efficient Vertical Mining of Frequent Closures and Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDA ![In: Advances in Intelligent Data Analysis VIII, 8th International Symposium on Intelligent Data Analysis, IDA 2009, Lyon, France, August 31 - September 2, 2009. Proceedings, pp. 393-404, 2009, Springer, 978-3-642-03914-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Guilong Liu |
Closures of Intuitionistic Fuzzy Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 281-288, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Intuitionistic fuzzy relation, Clustering analysis, Closure, Intuitionistic fuzzy set |
18 | Susan M. Mniszewski, Sara Y. Del Valle, Phillip D. Stroud, Jane M. Riese, Stephen J. Sydoriak |
Pandemic simulation of antivirals + school closures: buying time until strain-specific vaccine is available. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Organ. Theory ![In: Comput. Math. Organ. Theory 14(3), pp. 209-221, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ian Mahon, Stefan B. Williams, Oscar Pizarro, Matthew Johnson-Roberson |
Efficient View-Based SLAM Using Visual Loop Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(5), pp. 1002-1014, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | José A. Carrillo 0001, Thierry Goudon, Pauline Lafitte, Francesco Vecil |
Numerical Schemes of Diffusion Asymptotics and Moment Closures for Kinetic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 36(1), pp. 113-149, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Diffusion asymptotics, Moment closure, Asymptotic preserving schemes, Hyperbolic systems |
18 | Jorgen S. Frederiksen, Terence J. O'Kane |
Entropy, Closures and Subgrid Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 10(4), pp. 635-683, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Cory D. Hauck, C. David Levermore, André L. Tits |
Convex Duality and Entropy-Based Moment Closures: Characterizing Degenerate Densities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Control. Optim. ![In: SIAM J. Control. Optim. 47(4), pp. 1977-2015, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Chanki Kim, Wan Kyun Chung |
Delayed resampling in a Rao-Blackwellized particle filtering SLAM for consistent loop closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 2084-2090, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Robert Fraatz |
On the Computation of Integral Closures of Cyclic Extensions of Function Fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LMS J. Comput. Math. ![In: LMS J. Comput. Math. 10, pp. 141-160, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Fischetti, Andrea Lodi 0001 |
MIPping Closures: An Instant Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 23(Supplement-1), pp. 233-243, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Huiqun Deng, Douglas D. O'Shaughnessy |
Effect of incomplete glottal closures on estimates of glottal waves via inverse filtering of vowel sounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERSPEECH ![In: INTERSPEECH 2007, 8th Annual Conference of the International Speech Communication Association, Antwerp, Belgium, August 27-31, 2007, pp. 546-549, 2007, ISCA. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Jeffrey Mark Siskind, Barak A. Pearlmutter |
First-class nonstandard interpretations by opening closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 71-76, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lambda lifting, referential transparency |
18 | Ángel Mora 0001, Gabriel Aguilera 0001, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán |
A new closure algorithm based in logic: SLFD-Closure versus classical closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inteligencia Artif. ![In: Inteligencia Artif. 10(31), pp. 31-40, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Tomás Feder, Phokion G. Kolaitis |
Closures and dichotomies for quantified constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR06, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
18 | Daniel Bienstock, Mark Zuckerberg |
Approximate fixed-rank closures of covering problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 105(1), pp. 9-27, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Mike Brookes, Patrick A. Naylor, Jón Guðnason |
A quantitative assessment of group delay methods for identifying glottal closures in voiced speech. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Speech Audio Process. ![In: IEEE Trans. Speech Audio Process. 14(2), pp. 456-466, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Abhyudai Singh, João Pedro Hespanha |
Lognormal Moment Closures for Biochemical Reactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, December 13-15, 2006, pp. 2063-2068, 2006, IEEE, 1-4244-0171-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Guilong Liu |
The transitive closures of matrices over distributive lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2006 IEEE International Conference on Granular Computing, GrC 2006, Atlanta, Georgia, USA, May 10-12, 2006, pp. 63-66, 2006, IEEE, 1-4244-0134-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Anna Melnikov |
The Combinatorics of Orbital Varieties Closures of Nilpotent Order 2 in sln. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 12, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Bonami, Michel Minoux |
Using rank-1 lift-and-project closures to generate cuts for 0-1 MIPs, a computational investigation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Optim. ![In: Discret. Optim. 2(4), pp. 288-307, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Reinhard Diestel |
The Erdös-Menger conjecture for source/sink sets with disjoint closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 93(1), pp. 107-114, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Liming Xiong, Zdenek Ryjácek, Hajo Broersma |
On stability of the hamiltonian index under contractions and closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 49(2), pp. 104-115, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Krzysztof Goczyla, Teresa Grabowska, Wojciech Waloszek, Michal Zawadzki |
Designing World Closures for Knowledge-Based System Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering: Evolution and Emerging Technologies ![In: Software Engineering: Evolution and Emerging Technologies, pp. 271-282, 2005, IOS Press, 978-1-58603-559-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
18 | Jihua Wang, Chunjiang Zhao 0001, Wenjiang Huang, Liangyun Liu, Zhijie Wang, Changwei Tan |
Extraction of crop closures and structural types from canopy reflected spectrum in wheat and maize. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience & Remote Sensing Symposium, IGARSS 2005, July 25-29, 2005, Seoul, Korea, Proceedings, pp. 3040-3043, 2005, IEEE, 0-7803-9050-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Elmar Böhler |
Algebraic closures in complexity theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
18 | Imre Csiszár, Frantisek Matús |
On information closures of exponential families: a counterexample. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 50(5), pp. 922-924, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Roman Cada, Evelyne Flandrin, Hao Li 0002, Zdenek Ryjácek |
Cycles through given vertices and closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 276(1-3), pp. 65-80, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jeremy P. Spinrad |
A note on computing graph closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 276(1-3), pp. 327-329, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Yasushi Shinjo, Toshiyuki Kubo, Calton Pu |
Efficient mediators with closures for handling dynamic interfaces in an imperative language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 46(5), pp. 351-357, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Imre Csiszár, Frantisek Matús |
Information closures of exponential families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISIT ![In: Proceedings of the 2004 IEEE International Symposium on Information Theory, ISIT 2004, Chicago Downtown Marriott, Chicago, Illinois, USA, June 27 - July 2, 2004, pp. 30, 2004, IEEE, 0-7803-8280-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Bernard De Baets, Hans E. De Meyer |
On the existence and construction of T-transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 152, pp. 167-179, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Ainouche, Ingo Schiermeyer |
0-Dual Closures for Several Classes of Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 19(3), pp. 297-307, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Bernard De Baets, Hans E. De Meyer |
Transitive approximation of fuzzy relations by alternating closures and openings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(4), pp. 210-219, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Min-transitive approximation, Transitive opening, Transitivity, Transitive closure, Fuzzy relation, Copula, Triangular norm |
18 | Ulrich Bodenhofer, Martine De Cock, Etienne E. Kerre |
Openings and closures of fuzzy preorderings: theoretical basics and applications to fuzzy rule-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Gen. Syst. ![In: Int. J. Gen. Syst. 32(4), pp. 343-360, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Alexander K. Kelmans |
On graph closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 271(1-3), pp. 141-168, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Alexandros Sopasakis |
Formal Asymptotic Models of Vehicular Traffic. Model Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Appl. Math. ![In: SIAM J. Appl. Math. 63(5), pp. 1561-1584, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Benjamin G. Thengvall, Jonathan F. Bard, Gang Yu |
A Bundle Algorithm Approach for the Aircraft Schedule Recovery Problem During Hub Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transp. Sci. ![In: Transp. Sci. 37(4), pp. 392-407, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Yangjun Chen |
Graph Decomposition and Recursive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE Short Paper Proceedings ![In: The 15th Conference on Advanced Information Systems Engineering (CAiSE '03), Klagenfurt/Velden, Austria, 16-20 June, 2003, CAiSE Forum, Short Paper Proceedings, Information Systems for a Connected Society, 2003, CEUR-WS.org, 86-435-0549-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
18 | Helga Naessens, Hans E. De Meyer, Bernard De Baets |
Algorithms for the computation of T-transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 10(4), pp. 541-551, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Bernard De Baets, Hans E. De Meyer |
T-transitive closures, openings and approximations of similarity relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: Proceedings of the 2002 IEEE International Conference on Fuzzy Systems, FUZZ-IEEE'02, Honolulu, Hawaii, USA, May 12 - 17, 2002., pp. 1375-1380, 2002, IEEE, 0-7803-7280-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Ryoichi Wada, Kazutoshi Gohara |
Fractals and Closures of Linear Dynamical Systems excited stochastically by Temporal inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 11(3), pp. 755-780, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Ryoichi Wada, Kazutoshi Gohara |
Closures of Fractal Sets in nonlinear Dynamical Systems with switched inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bifurc. Chaos ![In: Int. J. Bifurc. Chaos 11(8), pp. 2205-2216, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gérard Cornuéjols, Yanjun Li |
Elementary closures for integer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 28(1), pp. 1-8, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Emmanuel Hallouin |
Computing Local Integral Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 32(3), pp. 211-230, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Hiroaki Kikuchi |
Closures of Fuzzy Linguitic Trugh Value With Regards to the Extension Principle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: Proceedings of the 10th IEEE International Conference on Fuzzy Systems, Melbourne, Australia, December 2-5, 2001, pp. 1416-1419, 2001, IEEE. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Gerald Penn |
Tractability and Structural Closures in Attribute Logic Type Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: Association for Computational Linguistic, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference, July 9-11, 2001, Toulouse, France., pp. 410-417, 2001, Morgan Kaufmann Publishers. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
18 | Andreas Baudisch |
Closures in Alef-Symbol0-Categorical Bilinear Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 65(2), pp. 914-922, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Marc Berthaud |
Time synchronization over networks using convex closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 8(2), pp. 265-277, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
continuous estimation from discrete samplings, network time synchronization, distributed processing, error propagation |
18 | Wolmer V. Vasconcelos |
Divisorial Extensions and the Computation of Integral Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 30(5), pp. 595-604, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Bengt Jonsson 0001, Marcus Nilsson |
Transitive Closures of Regular Relations for Verifying Infinite-State Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 220-234, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jean-François Boulicaut, Artur Bykowski |
Frequent Closures as a Concise Representation for Binary Data Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Knowledge Discovery and Data Mining, Current Issues and New Applications, 4th Pacific-Asia Conference, PADKK 2000, Kyoto, Japan, April 18-20, 2000, Proceedings, pp. 62-73, 2000, Springer, 3-540-67382-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Brent W. Benson Jr. |
Inner Classes: Closures for the Masses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 34(2), pp. 32-35, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Java |
18 | Francesco Ranzato |
Closures on CPOs Form Complete Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 152(2), pp. 236-249, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Leo Bachmair, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Ashish Tiwari 0001 |
Normalization via Rewrite Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 190-204, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Helga Naessens, Bernard De Baets, Hans E. De Meyer |
Generating Hasse trees of fuzzy preorder closures: an algorithmic approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSFLAT-ESTYLF Joint Conf. ![In: Proceedings of the EUSFLAT-ESTYLF Joint Conference, Palma de Mallorca, Spain, September 22-25, 1999, pp. 387-390, 1999, Universitat de les Illes Balears, Palma de Mallorca, Spain. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
18 | Roberto Giacobazzi, Francesco Ranzato |
Uniform Closures: Order-Theoretically Reconstructing Logic Program Semantics and Abstract Domain Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 145(2), pp. 153-190, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Kerstin Schwarz, Can Türker, Gunter Saake |
Transitive Dependencies in Transaction Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Proceedings of the 1998 International Database Engineering and Applications Symposium, IDEAS 1998, Cardiff, Wales, UK, July 8-10, 1998, pp. 34-43, 1998, IEEE Computer Society, 0-8186-8307-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Oleg Kiselyov |
Functional Style in C++: Closures, Late Binding, and Lambda Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 337, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
C++ |
18 | Kerstin Schwarz, Can Türker, Gunter Saake |
Execution Dependencies in Transaction Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS ![In: Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems, New York City, New York, USA, August 20-22, 1998, Sponsored by IFCIS, The Intn'l Foundation on Cooperative Information Systems, pp. 122-131, 1998, IEEE Computer Society, 0-8186-8380-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Kerstin Schwarz, Can Türker, Gunter Saake |
Extending Transaction Closures by N-ary Termination Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, Second East European Symposium, ADBIS'98, Poznan, Poland, Spetember 7-10, 1998, Proceedings, pp. 131-142, 1998, Springer, 3-540-64924-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Olaf Burkart |
Model checking rationally restricted right closures of recognizable graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFINITY ![In: Second International Workshop on Verification of Infinite State Systems, Infinity 1997, Bologna, Italy, July 11-12, 1997, pp. 25, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | S. Rooney |
Connection closures adding application-defined behaviour to network connections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 27(2), pp. 74-88, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Angelo Monti |
On the Computational Complexity of Graph Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 57(6), pp. 291-295, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Lin Lin Wang |
Thorough Investigation into "An Improved Algorithm Based on Subset Closures for Synthesizing a Relational Database Scheme''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(4), pp. 271-274, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
database scheme, left-right subset, Attribute, Hamiltonian cycle, equivalence class, representative |
18 | Stefan Rönn |
Invariants and Closures in the Theory of Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 8(4), pp. 463-478, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Andrew W. Appel, Zhong Shao |
Empirical and Analytic Study of Stack Versus Heap Cost for Languages with Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 6(1), pp. 47-74, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Tsuneo Yoshikawa |
Passive and active closures by constraining mechanisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 1996 IEEE International Conference on Robotics and Automation, Minneapolis, Minnesota, USA, April 22-28, 1996, pp. 1477-1484, 1996, IEEE, 0-7803-2988-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Mokhtar Aboelaze, Benjamin W. Wah |
A Processor Array with Bounded I/O Ports for Computing Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 29(1), pp. 84-90, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Erich Grädel, Gregory L. McColm |
On the Power of Deterministic Transitive Closures ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 119(1), pp. 129-135, May 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Mitsunori Ogihara |
Equivalence of NC^k and AC^k-1 closures of NP and Other Classes ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 120(1), pp. 55-58, July 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|