共 50 条
- [1] Extended partial orders:A unifying structure for abstract choice theory Annals of Operations Research, 1998, 80 : 27 - 48
- [2] Efficiently mining frequent closed partial orders (Extended abstract) Fifth IEEE International Conference on Data Mining, Proceedings, 2005, : 753 - 756
- [4] Unifying verification paradigms (extended abstract) FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 22 - 39
- [5] Unifying Framework for Optimizations in CASP; SMT ILP (Extended Abstract) ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 80 - 81
- [6] A Theory of Monitors (Extended Abstract) FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2016), 2016, 9634 : 145 - 161
- [7] Abstract Gestures: A Unifying Concept in Mathematical Music Theory MATHEMATICS AND COMPUTATION IN MUSIC, MCM 2017, 2017, 10527 : 183 - 200
- [8] A UNIFYING THEORY FOR JUDICIAL JURISDICTION AND CHOICE OF LAW AMERICAN JOURNAL OF COMPARATIVE LAW, 1991, 39 (02): : 249 - 292
- [9] Unifying Duality Theorems for Width Parameters in Graphs and Matroids (Extended Abstract) GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2014, 8747 : 1 - 14
- [10] Lagrangian relaxation and partial cover (extended abstract) STACS 2008: PROCEEDINGS OF THE 25TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 2008, : 539 - 550