Search results for "caret"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
138	Rajeev Alur, Kousha Etessami, P. Madhusudan	A Temporal Logic of Nested Calls and Returns.	TACAS	2004	DBLP DOI BibTeX RDF
69	Riccardo Pucella	The finite and the infinite in temporal logic.	SIGACT News	2005	DBLP DOI BibTeX RDF
59	Huu-Vu Nguyen	On CARET model-checking of pushdown systems: application to malware detection. (CARET model-checking d'automates à piles: application à la détection de malware).		2018	RDF
53	Laura Bozzelli	The Complexity of CaRet + Chop.	TIME	2008	DBLP DOI BibTeX RDF
48	Colin R. Caret, Teresa Kouri Kissel	Pluralistic perspectives on logic: an introduction.	Synth.	2021	DBLP DOI BibTeX RDF
48	Colin R. Caret	Why logical pluralism?	Synth.	2021	DBLP DOI BibTeX RDF
46	Robert M. McGraw, Gary Shao, Dean C. Mumme	An agent-based course of action (COA) analysis with radio effects toolbox.	SpringSim	2009	DBLP BibTeX RDF	cognitive reasoning, mission analysis, simulation, network analysis, distributed agents
46	Rajeev Alur, Swarat Chaudhuri, P. Madhusudan	A fixpoint calculus for local and global program flows.	POPL	2006	DBLP DOI BibTeX RDF	infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems
46	Hideo Shimazu	A Textual Case-Based Reasoning System Using XML on the World-Wide Web.	EWCBR	1998	DBLP DOI BibTeX RDF
33	Russell Beale, William H. Edmondson	Multiple carets, multiple screens and multi-tasking: new behaviours with multiple computers.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	caret, multiple computers, design, cognition, multi-tasking, task switching, multiple displays
33	DaeHyuck Park, Euisun Kang, Younghwan Lim	An Automatic Mobile Web Generation Method from PC Web Using DFS and W-DFS.	ICCSA (2)	2007	DBLP DOI BibTeX RDF	MobileGate System, Image Service, Hyperlink Caret, Automatic DFS, Mobile Webpage, Mobile Web
30	Jinghui Hu, John J. Dudley, Per Ola Kristensson	An Evaluation of Caret Navigation Methods for Text Editing in Augmented Reality.	ISMAR Adjunct	2022	DBLP DOI BibTeX RDF
30	Takahisa Kuboichi, Atsushi Hasegawa, Bo Peng, Keita Miura, Kenji Funaoka, Shinpei Kato, Takuya Azumi	CARET: Chain-Aware ROS 2 Evaluation Tool.	EUC	2022	DBLP DOI BibTeX RDF
30	Lik Hang Lee, Yiming Zhu, Yui-Pan Yau, Pan Hui 0001, Susanna Pirttikangas	Press-n-Paste: Copy-and-Paste Operations with Pressure-sensitive Caret Navigation for Miniaturized Surface in Mobile Augmented Reality.	Proc. ACM Hum. Comput. Interact.	2021	DBLP DOI BibTeX RDF
30	Yang Li 0105, Sayan Sarcar, Yilin Zheng, Xiangshi Ren	Exploring Text Revision with Backspace and Caret in Virtual Reality.	CHI	2021	DBLP DOI BibTeX RDF
30	Chandranath Adak, Bidyut B. Chaudhuri, Chin-Teng Lin, Michael Blumenstein	Text-line-up: Don't Worry About the Caret.	ICDAR (3)	2021	DBLP DOI BibTeX RDF
30	Jianwei Lai, Navid Rajabi, Elahe Javadi	A Shortcut for Caret Positioning on Touch-Screen Phones.	MobileHCI	2019	DBLP DOI BibTeX RDF
30	Jens Oliver Gutsfeld, Markus Müller-Olm, Benedikt Nordhoff	A Branching Time Variant of CaRet.	SPIN	2018	DBLP DOI BibTeX RDF
30	Huu-Vu Nguyen, Tayssir Touili	CARET analysis of multithreaded programs.	CoRR	2017	DBLP BibTeX RDF
30	Huu-Vu Nguyen, Tayssir Touili	CARET model checking for pushdown systems.	SAC	2017	DBLP DOI BibTeX RDF
30	Huu-Vu Nguyen, Tayssir Touili	CARET model checking for malware detection.	SPIN	2017	DBLP DOI BibTeX RDF
30	Dmitry Nurmuradov, Renée C. Bryce	Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering.	ISSTA	2017	DBLP DOI BibTeX RDF
30	Huu-Vu Nguyen, Tayssir Touili	CARET Analysis of Multithreaded Programs.	LOPSTR	2017	DBLP DOI BibTeX RDF
30	Kenji Suzuki, Kazumasa Okabe, Ryuuki Sakamoto, Daisuke Sakamoto	Fix and slide: caret navigation with movable background.	MobileHCI	2016	DBLP DOI BibTeX RDF
30	Kenji Suzuki, Kazumasa Okabe, Ryuuki Sakamoto, Daisuke Sakamoto	Fix and Slide: Caret Navigation with Movable Background.	UIST (Adjunct Volume)	2015	DBLP DOI BibTeX RDF
30	Alexander Keith Eady, Audrey Girouard	Caret Manipulation using Deformable Input in Mobile Devices.	TEI	2015	DBLP DOI BibTeX RDF
30	Jean-Baptiste Scheibel, Cyril Pierson, Benoît Martin, Nathan Godard, Vittorio Fuccella, Poika Isokoski	Virtual Stick in Caret Positioning on Touch Screens.	IHM	2013	DBLP DOI BibTeX RDF
30	David C. Van Essen	Cortical cartography and Caret software.	NeuroImage	2012	DBLP DOI BibTeX RDF
30	Ilaria De Crescenzo, Salvatore La Torre	Winning CaRet Games with Modular Strategies.	CILC	2011	DBLP BibTeX RDF
30	Laura Bozzelli, Ruggero Lanotte	Hybrid and First-Order Complete Extensions of CaRet.	TABLEAUX	2011	DBLP DOI BibTeX RDF
30	Jidan Zhong, Desiree Yee-Ling Phua, Anqi Qiu	Quantitative evaluation of LDDMM, FreeSurfer, and CARET for cortical surface mapping.	NeuroImage	2010	DBLP DOI BibTeX RDF
30	Laura Bozzelli	CaRet With Forgettable Past.	M4M	2007	DBLP DOI BibTeX RDF
30	Eugene E. McDonnell	The caret functions: Efficient algorithms for scans and reductions of eight Boolean functions.	APL	1974	DBLP DOI BibTeX RDF
23	Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin	First-Order and Temporal Logics for Nested Words.	LICS	2007	DBLP DOI BibTeX RDF
23	Laura Bozzelli	Alternating Automata and a Temporal Fixpoint Calculus for Visibly Pushdown Languages.	CONCUR	2007	DBLP DOI BibTeX RDF
23	Christof Löding, P. Madhusudan, Olivier Serre	Visibly Pushdown Games.	FSTTCS	2004	DBLP DOI BibTeX RDF