Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
91 | Christopher H. Broadbent, C.-H. Luke Ong |
On Global Model Checking Trees Generated by Higher-Order Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 107-121, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Collapsible Pushdown Automaton, Parity Game, Model Checking, Game Semantics, Recursion Scheme |
86 | Eric L. Hill, Mikko H. Lipasti |
Transparent mode flip-flops for collapsible pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 25th International Conference on Computer Design, ICCD 2007, 7-10 October 2007, Lake Tahoe, CA, USA, Proceedings, pp. 553-560, 2007, IEEE, 1-4244-1258-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Kivanc Zorlu, Candan Gokceoglu |
Prediction of the Collapse Index by a Mamdani Fuzzy Inference System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part I, pp. 74-81, 2008, Springer, 978-3-540-85562-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
caliche, collapsible ground, collapse index, fuzzy inference system |
46 | Frank H. Lutz, Bruno Benedetti |
Knots in Collapsible and Non-Collapsible Balls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 20(3), pp. 31, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
46 | Bruno Benedetti, Frank H. Lutz |
Knots in collapsible and non-collapsible balls ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.2070, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
44 | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Automata and Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the Twenty-Third Annual IEEE Symposium on Logic in Computer Science, LICS 2008, 24-27 June 2008, Pittsburgh, PA, USA, pp. 452-461, 2008, IEEE Computer Society, 978-0-7695-3183-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Higher-order pushdown automata, game semantics, higher-order recursion schemes |
44 | Syed H. Masood, V. Satyanarayana, U. Erbulut |
Design and Development of Large Collapsible PET Water Cooler Bottles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGIV ![In: Third International Conference on Computer Graphics, Imaging and Visualization (CGIV 2006), 26-28 July 2006, Sydney, Australia, pp. 528-533, 2006, IEEE Computer Society, 0-7695-2606-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Raimund Dachselt, Jürgen Ebert |
Collapsible Cylindrical Trees: A Fast Hierarchical Navigation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOVIS ![In: IEEE Symposium on Information Visualization 2001 (INFOVIS'01), San Diego, CA, USA, October 22-23, 2001., pp. 79-86, 2001, IEEE Computer Society, 0-7695-1342-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
interactive tree, XML, visualization, VRML, hierarchy, 3D graphics, web navigation, sitemap |
28 | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
Recursion Schemes and Logical Reflection. ![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. 120-129, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes |
28 | Lan Lei, Xiao-Min Li, Bin Wang |
On (s, t)-Supereulerian Locally Connected Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 384-388, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
(s, t)-supereulerian, Collapsible graph, Locally connected graphs, Reduction |
28 | Bin Wang, Xiao-Min Li, Lan Lei |
A Degree-Condition for ( s , t )-Supereulerian Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part III, pp. 381-383, 2007, Springer, 978-3-540-72587-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
(s, t)-supereulerian, Reduced Graph, Edge-disjoint Spanning Trees, Collapsible |
23 | Anton Savostianov, Francesco Tudisco, Nicola Guglielmi |
Cholesky-like Preconditioner for Hodge Laplacians via Heavy Collapsible Subcomplex. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.15492, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Ruiyuan Zhao, Xiaotong Li, Jian Chen |
Eagle-inspired manipulator with adaptive grasping and collapsible mechanism and modular DOF for UAV operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electron. Agric. ![In: Comput. Electron. Agric. 215, pp. 108344, December 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Nictor Mwamba, Jeconia Okelo Abonyo, Kennedy Otieno Awuor |
Effects of Thermal Radiation and Chemical Reaction on Hydromagnetic Fluid Flow in a Cylindrical Collapsible Tube with an Obstacle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Math. Math. Sci. ![In: Int. J. Math. Math. Sci. 2023, pp. 9991376:1-9991376:15, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Chirag Falor, Shu Ge, Anand Natarajan |
A Collapsible Polynomial Hierarchy for Promise Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.12228, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Xiao Xiong, Xinyu Zhang, Huanhao Huang, Kangyao Huang |
Bionic Collapsible Wings in Aquatic-aerial Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.04302, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Lailu Li, Flynn Loh Jian Long, Irvin Lim, Tianyu Sun, Hongliang Ren 0001 |
An Overhead Collapsible Origami-Based Mount for Medical Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics ![In: Robotics 12(1), pp. 21, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Alfredo Lopes Saab, André Luís de Carvalho Rodrigues, Breno Padovezi Rocha, Roger Augusto Rodrigues, Heraldo Luiz Giacheti |
Suction Influence on Load-Settlement Curves Predicted by DMT in a Collapsible Sandy Soil. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(3), pp. 1429, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Ye Zhuo, Zerui Liu, Deming Meng, Pan Hu, Wenhao Song, Yunxiang Wang, Ruoyu Zhao, Tse-Hsien Ou, Sushmit Hossain, Alyna Xinxia Tang, J. Joshua Yang, Wei Wu |
Early Prevention of Heart Attacks Using Memristor-Based Machine Learning and Surface Enhanced Raman Spectroscopy with Collapsible Nanofinger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MetroXRAINE ![In: IEEE International Conference on Metrology for eXtended Reality, Artificial Intelligence and Neural Engineering, MetroXRAINE 2023, Milano, Italy, October 25-27, 2023, pp. 1122-1127, 2023, IEEE, 979-8-3503-0080-2. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Dibei Chen, Tairan Zhang, Yi Huang, Jianfeng Zhu 0001, Yang Liu 0326, Pengfei Gou, Chunyang Feng, Binghua Li, Shaojun Wei, Leibo Liu |
Orinoco: Ordered Issue and Unordered Commit with Non-Collapsible Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 50th Annual International Symposium on Computer Architecture, ISCA 2023, Orlando, FL, USA, June 17-21, 2023, pp. 11:1-11:14, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Yibo He, Zhenqi Hu, Yaokun Fu, Kun Yang, Rui Wang, Guomou Shi, Zhanjie Feng, Qirang Yang, Liang Yu |
Underground Morphological Detection of Ground Fissures in Collapsible Loess Area Based on Three-Dimensional Laser Scanning Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 14(2), pp. 424, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Xia Liu, Liming Xiong |
Forbidden subgraphs for collapsible graphs and supereulerian graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 42(2), pp. 417-442, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Michal Jerzy Kukiela, Bernd S. W. Schröder |
Fixed points of group actions on link collapsible simplicial complexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 187, pp. 105562, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jacob Rogatinsky, Kiran Gomatam, Zi Heng Lim, Megan Lee, Lorenzo Kinnicutt, Christian Duriez, Perry Thomson, Kevin J. McDonald, Tommaso Ranzani |
A Collapsible Soft Actuator Facilitates Performance in Constrained Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Intell. Syst. ![In: Adv. Intell. Syst. 4(10), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jacob Rogatinsky, Kiran Gomatam, Zi Heng Lim, Megan Lee, Lorenzo Kinnicutt, Christian Duriez, Perry Thomson, Kevin J. McDonald, Tommaso Ranzani |
A Collapsible Soft Actuator Facilitates Performance in Constrained Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Intell. Syst. ![In: Adv. Intell. Syst. 4(10), 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Garen Haddeler, Hari P. Palanivelu, Yung Chuen Ng, Fabien Colonnier, Albertus H. Adiwahono, Zhibin Li, Chee-Meng Chew, Meng Yee Chuah |
Real-time Digital Double Framework to Predict Collapsible Terrains for Legged Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.09508, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Garen Haddeler, Hari P. Palanivelu, Yung Chuen Ng, Fabien Colonnier, Albertus H. Adiwahono, Zhibin Li, Chee-Meng Chew, Meng Yee Chuah |
Real-time Digital Double Framework to Predict Collapsible Terrains for Legged Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022, Kyoto, Japan, October 23-27, 2022, pp. 10387-10394, 2022, IEEE, 978-1-6654-7927-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Li Wang, Dong Li 0025, Lu Tian, Yi Shan |
Efficient Image Super-Resolution with Collapsible Linear Blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR Workshops ![In: IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops, CVPR Workshops 2022, New Orleans, LA, USA, June 19-20, 2022, pp. 816-822, 2022, IEEE, 978-1-6654-8739-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Kartikeya Bhardwaj, Milos Milosavljevic, Liam O'Neil, Dibakar Gope, Ramon Matas Navarro, Alex Chalfin, Naveen Suda, Lingchuan Meng, Danny Loh |
Collapsible Linear Blocks for Super-Efficient Super Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLSys ![In: Proceedings of Machine Learning and Systems 2022, MLSys 2022, Santa Clara, CA, USA, August 29 - September 1, 2022, 2022, mlsys.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
Higher-order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 22(2), pp. 12:1-12:37, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 22(3), pp. 16:1-16:51, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Javier Murillo, Pilar García-Navarro |
A Solution of the Junction Riemann Problem for 1D Hyperbolic Balance Laws in Networks including Supersonic Flow Conditions on Elastic Collapsible Tubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 13(9), pp. 1658, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Kartikeya Bhardwaj, Milos Milosavljevic, Alex Chalfin, Naveen Suda, Liam O'Neil, Dibakar Gope, Lingchuan Meng, Ramon Matas Navarro, Danny Loh |
Collapsible Linear Blocks for Super-Efficient Super Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2103.09404, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | M. Amin F. Zarandi, Kevin Garman, John S. Rhee, B. Tucker Woodson, Guilherme J. M. Garcia |
Effect of tube length on the buckling pressure of collapsible tubes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 136, pp. 104693, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.06361, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
Higher-Order Recursion Schemes and Collapsible Pushdown Automata: Logical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.06366, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Bastien Maubert, Aniello Murano, Olivier Serre |
Reasoning about strategies on collapsible pushdown arenas with imperfect information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2007.15458, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Karim A. Adiprasito, Bruno Benedetti |
Barycentric Subdivisions of Convex Complexes are Collapsible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 64(3), pp. 608-626, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | |
Experimental study on deformation characteristics of collapsible loess under isotropic stress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Methods Sci. Eng. ![In: J. Comput. Methods Sci. Eng. 20(3), pp. 697-713, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Yue Liu, Zhuangyan Fang, Yangbo He, Zhi Geng |
Collapsible IDA: Collapsing Parental Sets for Locally Estimating Possible Causal Effects. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
UAI ![In: Proceedings of the Thirty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2020, virtual online, August 3-6, 2020, pp. 290-299, 2020, AUAI Press. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Ran Gu, Hong-Jian Lai, Yanting Liang, Zhengke Miao, Meng Zhang 0005 |
Collapsible subgraphs of a 4-edge-connected graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 260, pp. 272-277, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Feltey, Ben Greenman, Christophe Scholliers, Robert Bruce Findler, Vincent St-Amour |
Collapsible contracts: fixing a pathology of gradual typing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(OOPSLA), pp. 133:1-133:27, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Meng Zhao, Liyi Chen, Honggang Wu, Wei Guo, Changwen Ye |
Computer microscopic test study on the suitability of modified polyimide grease used to improve collapsible loess railway subgrade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 30(24), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Hague, Roland Meyer 0001, Sebastian Muskalla, Martin Zimmermann 0002 |
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.02963, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Matthew Hague, Roland Meyer 0001, Sebastian Muskalla, Martin Zimmermann 0002 |
Parity to Safety in Polynomial Time for Pushdown and Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK, pp. 57:1-57:15, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-086-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Hague, Andrzej S. Murawski, C.-H. Luke Ong, Olivier Serre |
Collapsible Pushdown Automata and Recursion Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 18(3), pp. 25:1-25:42, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
C-SHORe: Higher-Order Verification via Collapsible Pushdown System Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1703.04429, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Karim A. Adiprasito, Bruno Benedetti, Frank H. Lutz |
Extremal Examples of Collapsible Complexes and Random Discrete Morse Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 57(4), pp. 824-853, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Sylvain Salvati, Igor Walukiewicz |
Simply typed fixpoint calculus and collapsible pushdown automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 26(7), pp. 1304-1350, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Ping Li 0023, Hao Li, Ye Chen, Herbert Fleischner, Hong-Jian Lai |
Supereulerian graphs with width s and s-collapsible graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 200, pp. 79-94, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Martin Tancer |
Recognition of Collapsible Complexes is NP-Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 55(1), pp. 21-38, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Benavides, Sergio Rajsbaum |
The Read/Write Protocol Complex Is Collapsible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2016: Theoretical Informatics - 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings, pp. 179-191, 2016, Springer, 978-3-662-49528-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Eric Goubault, Samuel Mimram, Christine Tasson |
Iterated Chromatic Subdivisions are Collapsible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 23(6), pp. 777-818, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Benavides, Sergio Rajsbaum |
The read/write protocol complex is collapsible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1512.05427, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Xiangwen Li, Yan Xiong |
Collapsible graphs and Hamilton cycles of line graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 194, pp. 132-142, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Jessica S. Lee, Ronald S. Fearing |
Anisotropic collapsible leg spines for increased millirobot traction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pp. 4547-4553, 2015, IEEE, 978-1-4799-6923-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Johannes Harms, Martina Kratky, Christoph Wimmer, Karin Kappel, Thomas Grechenig |
Navigation in Long Forms on Smartphones: Scrolling Worse than Tabs, Menus, and Collapsible Fieldsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INTERACT (3) ![In: Human-Computer Interaction - INTERACT 2015 - 15th IFIP TC 13 International Conference, Bamberg, Germany, September 14-18, 2015, Proceedings, Part III, pp. 333-340, 2015, Springer, 978-3-319-22697-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Weihua Yang, Hong-Jian Lai, Hao Li, Xiaofeng Guo |
Collapsible Graphs and Hamiltonicity of Line Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 30(2), pp. 501-510, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Lorenzo Clemente |
Unified Analysis of Collapsible and Ordered Pushdown Automata via Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4065, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Karim A. Adiprasito, Bruno Benedetti, Frank H. Lutz |
Extremal examples of collapsible complexes and random discrete Morse theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.4239, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Antonio J. Reina, Jorge L. Martínez, Anthony Mandow, Jesús Morales, Alfonso García-Cerezo |
Collapsible cubes: Removing overhangs from 3D point clouds to build local navigable elevation maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIM ![In: IEEE/ASME International Conference on Advanced Intelligent Mechatronics, AIM 2014, Besancon, France, July 8-11, 2014, pp. 1012-1017, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Gregory Stevens, David Ilba, Stuart Wildy, Paul Gardner-Stephen, Matthew Lloyd |
Low-cost, open-source, collapsible, air-transportable, field-manufacturable telecommunications tower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GHTC ![In: IEEE Global Humanitarian Technology Conference, GHTC 2014, San Jose, CA, USA, October 10-13, 2014, pp. 249-256, 2014, IEEE, 978-1-4799-7193-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Umakant Mishra |
10 Inventions on collapsible keyboards: A TRIZ based analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.3268, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Matthew Hague |
Saturation of Concurrent Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1310.2631, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Alexander Kartzow |
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 9(1), 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Max Kemman, Martijn Kleppe, Jim Maarseveen |
Eye Tracking the Use of a Collapsible Facets Panel in a Search Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPDL ![In: Research and Advanced Technology for Digital Libraries - International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013. Proceedings, pp. 405-408, 2013, Springer, 978-3-642-40500-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Lueck, Chris W. Gregory, Dean Malta, Alan Huffman, John M. Lannon, Dorota Temple |
High density interconnect bonding of heterogeneous materials using non-collapsible microbumps at 10 μm pitch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIC ![In: 2013 IEEE International 3D Systems Integration Conference (3DIC), San Francisco, CA, USA, October 2-4, 2013, pp. 1-5, 2013, IEEE, 978-1-4673-6484-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Luke Ong |
Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications - 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings, pp. 13-41, 2013, Springer, 978-3-642-37063-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
C-SHORe: a collapsible approach to higher-order verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013, pp. 13-24, 2013, ACM, 978-1-4503-2326-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Hague |
Saturation of Concurrent Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India, pp. 313-325, 2013, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-64-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kartzow, Pawel Parys |
Strictness of the Collapsible Pushdown Hierarchy ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1201.3250, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Martin Tancer |
Recognition of collapsible complexes is NP-complete ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.6254, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Weihua Yang, Hong-Jian Lai, Hao Li, Xiaofeng Guo |
Collapsible graphs and Hamiltonian connectedness of line graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 160(12), pp. 1837-1844, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Hao Li, Weihua Yang |
A note on collapsible graphs and super-Eulerian graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(15), pp. 2223-2227, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Arnaud Carayol, Olivier Serre |
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pp. 165-174, 2012, IEEE Computer Society, 978-1-4673-2263-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent |
Prefix Rewriting for Nested-Words and Collapsible Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II, pp. 153-164, 2012, Springer, 978-3-642-31584-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
A Saturation Method for Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II, pp. 165-176, 2012, Springer, 978-3-642-31584-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kartzow, Pawel Parys |
Strictness of the Collapsible Pushdown Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2012 - 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012. Proceedings, pp. 566-577, 2012, Springer, 978-3-642-32588-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Sylvain Salvati, Igor Walukiewicz |
Recursive Schemes, Krivine Machines, and Collapsible Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings, pp. 6-20, 2012, Springer, 978-3-642-33511-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Parys |
Variants of Collapsible Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France, pp. 500-515, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-42-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Jin Wei, Zhe Li |
Study on large-scale in-situ immersion static load test for bearing behavior of collapsible loess pile foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMEIT ![In: International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011, pp. 2544-2547, 2011, IEEE, 978-1-61284-087-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kartzow |
A Pumping Lemma for Collapsible Pushdown Graphs of Level 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings, pp. 322-336, 2011, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-32-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Christopher H. Broadbent |
On collapsible pushdown automata, their graphs and the power of links. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
23 | C.-H. Luke Ong |
Models of Higher-Order Computation: Recursion Schemes and Collapsible Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logics and Languages for Reliability and Security ![In: Logics and Languages for Reliability and Security, pp. 263-299, 2010, IOS Press, 978-1-60750-099-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Jinha Lee, Hiroshi Ishii 0001 |
Beyond: collapsible tools and gestures for computational design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 28th International Conference on Human Factors in Computing Systems, CHI 2010, Extended Abstracts Volume, Atlanta, Georgia, USA, April 10-15, 2010, pp. 3931-3936, 2010, ACM, 978-1-60558-930-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
tactile UI, augmented reality, tangible UI, 3D interaction, pen input, haptic UI |
23 | Alexander Kartzow |
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France, pp. 501-512, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-16-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Jinha Lee, Surat Teerapittayanon, Hiroshi Ishii 0001 |
Beyond: collapsible input device for direct 3D manipulation beyond the screen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST (Adjunct Volume) ![In: Adjunct proceedings of the 23nd annual ACM symposium on User interface software and technology, UIST '10, New York, New York, USA, October 3-6, 2010, pp. 393-394, 2010, ACM, 978-1-4503-0462-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Matthew Hague, Anthony Widjaja To |
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, pp. 228-239, 2010, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-23-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Zhi-Hong Chen, Peter C. B. Lam, Wai-Chee Shiu |
Collapsible graphs and reductions of line graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 309(10), pp. 3173-3184, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Olli Nousiainen, L. Lehtiniemi, T. Kangasvieri, Risto Rautioaho, J. Vähäkangas |
Thermal fatigue endurance of collapsible 95.5Sn4Ag0.5Cu spheres in LTCC/PWB assemblies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 48(4), pp. 622-630, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Nilmini S. Wijeratne, Karlene A. Hoo |
An analytical approach to identify fluid flow separation and re-attachment in a collapsible channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 31(4), pp. 346-360, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Hong-Jian Lai, Xiangjuan Yao |
Erratum to "Collapsible biclaw-free graphs": [Discrete Math 306 (2006) 2115-2117]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 307(9-10), pp. 1217, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Michael A. Sek |
Numerical Simulation of Impacts involving a Collapsible Nonlinear Multilayer Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Engineering ![In: Proceedings of the World Congress on Engineering, WCE 2007, London, UK, 2-4 July, 2007, pp. 1367-1372, 2007, Newswood Limited, 978-988-98671-5-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Stephen Brooks, Jacqueline L. Whalley |
Visualizing collapsible 3D data in a hybrid gis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPP (AS/IE) ![In: GRAPP 2007, Proceedings of the Second International Conference on Computer Graphics Theory and Applications, Barcelona, Spain, March 8-11, 2007, Volume AS/IE, pp. 171-178, 2007, INSTICC - Institute for Systems and Technologies of Information, Control and Communication, 978-972-8865-72-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
23 | Célestin Wafo Soh, Olusegun J. Ilegbusi |
Semi-analytical solution of a constrained fourth-order integro-differential equation of steady flow-structure interaction in a model collapsible tube. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 174(2), pp. 1564-1575, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Hong-Jian Lai, Xiangjuan Yao |
Collapsible biclaw-free graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 306(17), pp. 2115-2117, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Apostolico, Yongwook Choi |
Compressing with Collapsible Tries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITW ![In: 2006 IEEE Information Theory Workshop, ITW 2006, Punta del Este, Uruguay, March 13-17, 2006, pp. 92-96, 2006, IEEE, 1-4244-0036-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Apostolico, Yongwook Choi |
Textual Compression by Collapsible Tries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCC ![In: 2006 Data Compression Conference (DCC 2006), 28-30 March 2006, Snowbird, UT, USA, pp. 437, 2006, IEEE Computer Society, 0-7695-2545-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Shu Beng Tor, Stephen Siang Guan Lee, Sun-Woh Lye, S. H. Chung Yee Hian |
Design automation of two-stage collapsible core using design prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Integr. Manuf. ![In: Int. J. Comput. Integr. Manuf. 13(1), pp. 31-39, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Martin R. Frank, Pedro A. Szekely |
Collapsible User Interfaces for Information Retrieval Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 4th International Conference on Intelligent User Interfaces, IUI 1999, Los Angeles, CA, USA, January 5-8, 1999, pp. 15-22, 1999, ACM, 1-58113-098-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
information retrieval, human-computer interaction, graphical user interfaces, software agents, model-based user interfaces |