|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 79 occurrences of 53 keywords
|
|
|
Results
Found 137 publication records. Showing 137 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
58 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997, pp. 362-372, 1997, IEEE Computer Society, 0-8186-7925-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
satisfiability test, set-based program analysis, DEXPTIME-complete, complexity characterization, negative set constraints, negated conjuncts, negated inclusion, computability, decidability, intersection, inclusions, set constraints |
40 | Witold Charatonik, Leszek Pacholski |
Set constraints with projections are in NEXPTIME ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 642-653, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
negated set constraints, NEXPTIME, program analysis, projections, type inference, decidability, set constraints |
31 | Witold Charatonik, Jean-Marc Talbot |
Atomic Set Constraints with Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 311-325, 2002, Springer, 3-540-43916-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Joachim Niehren, Martin Müller 0001, Jean-Marc Talbot |
Entailment of Atomic Set Constraints is PSPACE-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 285-294, 1999, IEEE Computer Society, 0-7695-0158-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
27 | John Kodumal, Alex Aiken |
Regularly annotated set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 331-341, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
annotated inclusion constraints, pushdown model checking, flow analysis, set constraints, context-free language reachability |
25 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Solving Systems of Set Constraints with Negated Subset Relationships ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 372-380, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
systems of set constraints, negated subset relationships, tree automata techniques, satisfiability, decision procedure, regular tree languages |
22 | John Kodumal, Alexander Aiken |
The set constraint/CFL reachability connection in practice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004, pp. 207-218, 2004, ACM, 1-58113-807-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
flow analysis, type qualifiers, set constraints, context-free language reachability |
22 | Allan Cheng, Dexter Kozen |
A Complete Gentzen-Style Axiomatization for Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 23rd International Colloquium, ICALP96, Paderborn, Germany, 8-12 July 1996, Proceedings, pp. 134-145, 1996, Springer, 3-540-61440-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
21 | Guido Tack, Christian Schulte 0001, Gert Smolka |
Generating Propagators for Finite Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, CP 2006, Nantes, France, September 25-29, 2006, Proceedings, pp. 575-589, 2006, Springer, 3-540-46267-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Solving Systems of Set Constraints using Tree Automata. ![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. 505-514, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Agostino Dovier, Carla Piazza, Gianfranco Rossi |
Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998, pp. 43-56, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
20 | David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin |
Efficient field-sensitive pointer analysis of C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(1), pp. 4, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
pointer analysis, Set-constraints |
20 | Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch |
ACID-Unification Is NEXPTIME-Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2003, 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings, pp. 169-178, 2003, Springer, 3-540-40671-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
E-Unification, Dag automata, Complexity, Tree automata, Set constraints |
19 | Witold Charatonik, Andreas Podelski |
Co-definite Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings, pp. 211-225, 1998, Springer, 3-540-64301-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo ACU I Plus Homomorphisms/Distributivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 442-457, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
E-Unification, Rewrite reachability, Minskymachine, Complexity, Set constraints, Post correspondence problem |
18 | Roberto M. Amadio, Witold Charatonik |
On Name Generation and Set-Based Analysis in the Dolev-Yao Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 499-514, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
name generation, verification, cryptographic protocols, set constraints |
18 | Pawel Rychlikowski, Tomasz Truderung |
Set Constraints on Regular Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings, pp. 458-472, 2004, Springer, 3-540-23024-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Jean Goubault-Larrecq |
Higher-Order Positive Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 473-489, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Dexter Kozen |
Rational Spaces and Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 42-61, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Dexter Kozen |
Logical Aspects of Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 175-188, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Tomás E. Uribe |
Sorted Unification Using Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings, pp. 163-177, 1992, Springer, 3-540-55602-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A Constraint Solver for B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 188-204, 2002, Springer, 3-540-43419-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP |
15 | Franz Baader |
A New Description Logic with Set Constraints and Cardinality Constraints on Role Successors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FroCoS ![In: Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, pp. 43-59, 2017, Springer, 978-3-319-66166-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
15 | Leszek Pacholski, Andreas Podelski |
Set Constraints: A Pearl in Research on Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings, pp. 549-562, 1997, Springer. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Aiken, Dexter Kozen, Edward L. Wimmers |
Decidability of Systems of Set Constraints with Negative Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 122(1), pp. 30-44, October 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
15 | Kjartan Stefánsson |
Systems of Set Constraints with Negative Constraints are NEXPTIME-Complete ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), Paris, France, July 4-7, 1994, pp. 137-141, 1994, IEEE Computer Society, 0-8186-6310-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Hubert Comon, Véronique Cortier, John Mitchell |
Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 28th International Colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001, Proceedings, pp. 682-693, 2001, Springer, 3-540-42287-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Aiken, Dexter Kozen, Moshe Y. Vardi, Edward L. Wimmers |
The Complexity of Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993, Selected Papers, pp. 1-17, 1993, Springer, 3-540-58277-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
15 | Gianfranco Rossi |
From set unification to set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligenza Artificiale ![In: Intelligenza Artificiale 5(1), pp. 157-161, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
15 | Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi |
Integrating Finite Domain and Set Constraints into a Set-based Constraint Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 96(3), pp. 227-252, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Gianfranco Rossi |
From Set Unification to Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Il Milione ![In: Il Milione (i.e. 2^6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008., 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
15 | Agha Iqbal Ali |
Reformulation of the set partitioning problem as apure network with special order set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 81, pp. 233-250, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Nevin Heintze, Joxan Jaffar |
Set Constraints and Set-Based Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPCP ![In: Principles and Practice of Constraint Programming, Second International Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4, 1994, Proceedings, pp. 281-298, 1994, Springer, 3-540-58601-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
15 | Carmen Gervet |
Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, Proceedings of the Eleventh International Conference on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994, pp. 733, 1994, MIT Press, 0-262-72022-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
15 | Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner |
Staged information flow for javascript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 50-62, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
integrity, web applications, confidentiality, flow analysis, set constraints |
15 | Azzam Maraee, Mira Balaban |
Efficient Reasoning About Finite Satisfiability of UML Class Diagrams with Constrained Generalization Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 3rd European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings, pp. 17-31, 2007, Springer, 978-3-540-72900-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
finite satisfiability, reasoning about class diagram, generalization set constraints, class hierarchy structure, consistency, UML class diagram, cardinality constraints |
15 | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |
CLPS-B - A constraint solver to animate a B specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(2), pp. 143-157, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
B notation, Evaluation of specifications, Animation, Constraint logic programming, Set constraints |
15 | Siva Anantharaman, Paliath Narendran, Michaël Rusinowitch |
Unification Modulo ACUI Plus Distributivity Axioms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 33(1), pp. 1-28, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
equational unification, counter machines, complexity, decidability, rewriting, set constraints, Post correspondence problem |
15 | David J. Pearce 0001, Paul H. J. Kelly, Chris Hankin |
Efficient field-sensitive pointer analysis for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'04, Washington, DC, USA, June 7-8, 2004, pp. 37-42, 2004, ACM, 1-58113-910-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
pointer analysis, set-constraints |
15 | Thomas W. Reps |
Undecidability of context-sensitive data-independence analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(1), pp. 162-186, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
?, context-sensitive program-analysis, graph-reachability problem, linear matche-parenthesis language, structure-transmitted data-dependence, dependence analysis, control-flow analysis, set constraints, set-based analysis |
14 | V. Wiktor Marek, Jeffrey B. Remmel |
Set Constraints in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPNMR ![In: Logic Programming and Nonmonotonic Reasoning, 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings, pp. 167-179, 2004, Springer, 3-540-20721-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Pawel Mielniczuk, Leszek Pacholski |
Tarskian Set Constraints Are in NEXPTIME. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 589-596, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Francisco Azevedo |
Cardinal: A Finite Sets Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(1), pp. 93-129, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Constraint Logic Programming - PI, Primary Input - TG, Test Generation, CLP |
11 | Martin Müller 0001, Joachim Niehren, Andreas Podelski |
Inclusion Constraints over Non-empty Sets of Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings, pp. 345-356, 1997, Springer, 3-540-62781-2. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | John P. Gallagher, Germán Puebla |
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings, pp. 243-261, 2002, Springer, 3-540-43092-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Chang-Duo Liang, Ming-Feng Ge, Zhi-Wei Liu, Zhi-Wei Gu, Qian Chen |
Distributed Predefined-Time Optimization Control for Networked Marine Surface Vehicles Subject to Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 25(2), pp. 2129-2138, February 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Meng Luan, Guanghui Wen, Hongzhe Liu, Tingwen Huang, Guanrong Chen, Wenwu Yu |
Distributed Discrete-Time Convex Optimization With Closed Convex Set Constraints: Linearly Convergent Algorithm Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Cybern. ![In: IEEE Trans. Cybern. 54(4), pp. 2271-2283, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Hongli Wang, Yuqiang Feng, Liguo Fei |
Uncertain linear programming with cloud set constraints integrating fuzziness and randomness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 151, pp. 111157, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
10 | Nand Sharma, Joshua Millstein |
CausNet: generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 24(1), pp. 46, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Ping Zhan |
A Simple Characterization of Assignment Mechanisms on Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Forum ![In: Oper. Res. Forum 4(2), pp. 1-15, June 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Yao Zou, Kewei Xia, Bomin Huang, Ziyang Meng |
Distributed Optimization for Second-Order Discrete-Time Multiagent Systems With Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 34(9), pp. 5629-5639, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
10 | Nand Sharma, Joshua Millstein |
CausNet : Generational orderings based search for optimal Bayesian networks via dynamic programming with parent set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08365, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Chenyang Liu, Xiaohua Dou, Songsong Cheng, Yuan Fan |
A Gradient-free Penalty ADMM for Solving Distributed Convex Optimization Problems with Feasible Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 17th International Conference on Control, Automation, Robotics and Vision, ICARCV 2022, Singapore, Singapore, December 11-13, 2022, pp. 672-677, 2022, IEEE, 978-1-6654-7687-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
10 | Kaihong Lu, Qixin Zhu |
Distributed Algorithms Involving Fixed Step Size for Mixed Equilibrium Problems With Multiple Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks Learn. Syst. ![In: IEEE Trans. Neural Networks Learn. Syst. 32(11), pp. 5254-5260, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
10 | Ruidong Yan, Hongwei Du 0001, Yi Li 0030, Wenping Chen, Yongcai Wang, Yuqing Zhu 0002, Deying Li 0001 |
Target users' activation probability maximization with different seed set constraints in social networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 838, pp. 111-125, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
10 | Joseph Eremondi |
Set Constraints, Pattern Match Analysis, and SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.09423, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
10 | Joseph Eremondi |
Set Constraints, Pattern Match Analysis, and SMT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, pp. 121-141, 2019, Springer, 978-3-030-47146-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
10 | Catherine Dubois, Sulyvan Weppe |
Towards Coq Formalisation of {log} Set Constraints Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETS@ABZ ![In: Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018., pp. 32-37, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
10 | Michael Leuschel |
Solving Set Constraints in B and Event-B: Foundations and Applications (invited talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETS@ABZ ![In: Proceedings of the 3rd International Workshop on Sets and Tools co-located with the 6th International ABZ Conference, SETS@ABZ 2018, Southamptom, UK, June 5, 2018., pp. 1, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
10 | Shilp Dixit, Umberto Montanaro, Saber Fallah, Mehrdad Dianati, David Oxtoby, Tom Mizutani, Alexandros Mouzakitis |
Trajectory Planning for Autonomous High-Speed Overtaking using MPC with Terminal Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITSC ![In: 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018, pp. 1061-1068, 2018, IEEE, 978-1-7281-0321-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
10 | Sergey Dovgal, Vlady Ravelomanana |
Shifting the Phase Transition Threshold for Random Graphs Using Degree Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2018: Theoretical Informatics - 13th Latin American Symposium, Buenos Aires, Argentina, April 16-19, 2018, Proceedings, pp. 399-412, 2018, Springer, 978-3-319-77403-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
10 | Rintaro Ikeshita, Masahito Togami, Yohei Kawaguchi, Yusuke Fujita, Kenji Nagamatsu |
Local Gaussian model with source-set constraints in audio source separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLSP ![In: 27th IEEE International Workshop on Machine Learning for Signal Processing, MLSP 2017, Tokyo, Japan, September 25-28, 2017, pp. 1-6, 2017, IEEE, 978-1-5090-6341-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
10 | Huaxian Cai, Tian Tian, Yilin Cai |
Linear Programming Problem for Nonlinear Convex Set Constraints Based on Nonlinear Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Inf. Manag. ![In: J. Digit. Inf. Manag. 12(5), pp. 287-291, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
10 | Hao Han, Lihong Li 0002, Chaijie Duan, Hao Zhang 0026, Yang Zhao, Zhengrong Liang |
A unified EM approach to bladder wall segmentation with coupled level-set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 17(8), pp. 1192-1205, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Bodirsky, Martin Hils |
Tractable Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Intell. Res. ![In: J. Artif. Intell. Res. 45, pp. 731-759, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
10 | Franz Baader, Alexander Okhotin |
Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings, pp. 107-121, 2012, Springer, 978-3-642-28716-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
10 | Victor W. Marek, Jeffrey B. Remmel |
Disjunctive Programs with Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct Reasoning ![In: Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz, pp. 471-486, 2012, Springer, 978-3-642-30742-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Bodirsky, Martin Hils, Alex Krimkevitch |
Tractable Set Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1104.1045, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
10 | Justin Yip, Pascal Van Hentenryck |
Checking and Filtering Global Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings, pp. 819-833, 2011, Springer, 978-3-642-23785-0. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Bodirsky, Martin Hils, Alex Krimkevitch |
Tractable Set Constraints. ![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. 510-515, 2011, IJCAI/AAAI, 978-1-57735-516-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
10 | Witold Charatonik, Leszek Pacholski |
Set constraints with projections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 57(4), pp. 23:1-23:37, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo |
Towards Parameterized Regular Type Inference Using Set Constraints ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1002.1836, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
10 | Thomas Graf |
Reference-Set Constraints as Linear Tree Transductions via Controlled Optimality Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FG ![In: Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers, pp. 97-113, 2010, Springer, 978-3-642-32023-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Van Hentenryck, Justin Yip, Carmen Gervet, Grégoire Dooms |
Bound Consistency for Binary Length-Lex Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008, pp. 375-380, 2008, AAAI Press, 978-1-57735-368-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
10 | Christoph Schnörr |
Signal and image approximation with level-set constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 81(2-3), pp. 137-160, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications 68U10, 65K05, 65K10, 90C33 |
10 | Magnus Ågren 0002 |
Set Constraints for Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
10 | Hubert Comon, Véronique Cortier |
Tree automata with one memory set constraints and cryptographic protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 331(1), pp. 143-214, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Christian Rinderknecht |
An Algorithm for Validating ASN.1 (X.680) Specifications using Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 46(4), pp. 401-420, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak |
Using parametric set constraints for locating errors in CLP programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0202010, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
10 | Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak |
Using parametric set constraints for locating errors in CLP programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 2(4-5), pp. 549-610, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Robert Givan, David A. McAllester, Carl Witty, Dexter Kozen |
Tarskian Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 174(2), pp. 105-131, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Witold Charatonik, Andreas Podelski |
Set Constraints with Intersection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 179(2), pp. 213-229, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Franck Seynhaeve |
Set constraints and topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 80(3), pp. 145-150, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Mitchell Wand, William D. Clinger |
Set constraints for destructive array update optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 11(3), pp. 319-346, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Marc Talbot |
The forall-exists2 fragment of the first-order theory of atomic set constraints is Pi01-hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 74(1-2), pp. 27-33, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | David Melski, Thomas W. Reps |
Interconvertibility of a class of set constraints and context-free-language reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 248(1-2), pp. 29-98, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Marc Talbot, Philippe Devienne, Sophie Tison |
Generalized Definite Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 5(1/2), pp. 161-202, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Azevedo, Pedro Barahona |
Modelling Digital Circuits Problems with Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Logic ![In: Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings, pp. 414-428, 2000, Springer, 3-540-67797-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Rémi Gilleron, Sophie Tison, Marc Tommasi |
Set Constraints and Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 149(1), pp. 1-41, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Witold Charatonik |
An Undecidable Fragment of the Theory of Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 68(3), pp. 147-151, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Thomas Drakengren, Peter Jonsson |
Reasoning About Set Constraints Applied to Tractable Inference in Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 8(6), pp. 855-875, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Witold Charatonik |
Set Constraints in Some Equational Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 142(1), pp. 40-75, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Dexter Kozen |
Set Constraints and Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 142(1), pp. 2-25, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
Co-definite Set Constraints with Membership Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCSLP ![In: Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, Manchester, UK, June 15-19, 1998, pp. 25-39, 1998, MIT Press, 0-262-60031-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
10 | Mitchell Wand, William D. Clinger |
Set Constraints for Destructive Array Update Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 184-195, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Gilles Richard, Frédéric Saubion, A. Tellez-Arenas |
Intensional Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997, pp. 479-490, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
10 | David Melski, Thomas W. Reps |
Interconveritibility of Set Constraints and Context-Free Language Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 74-89, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Manuel Fähndrich, Alexander Aiken |
Program Analysis Using Mixed Term and Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, pp. 114-126, 1997, Springer, 3-540-63468-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Devienne, Jean-Marc Talbot, Sophie Tison |
Solving Classes of Set Constraints with Tree Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings, pp. 62-76, 1997, Springer. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Dexter Kozen |
Rational Spaces and Set Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 167(1&2), pp. 73-94, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 137 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|