Search results for "HOL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
35	Stephen H. Brackin	Deciding Cryptographic Protocol Adequacy with HOL.	TPHOLs	1995	DBLP DOI BibTeX RDF
35	Catia M. Angelo, Luc J. M. Claesen, Hugo De Man	Reasoning About a Class of Linear Systems of Equations in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
35	Stephen H. Brackin	Providing Tractable Security Analysis in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
35	Joakim von Wright	Representing Higher-Order Logic Proofs in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
35	Sten Agerholm	LCF Examples in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
35	Don Syme	Reasoning with the Formal Definition of Standard ML in HOL.	HUG	1993	DBLP DOI BibTeX RDF
35	Cui Zhang, Robert J. Shaw, Ronald A. Olsson, Karl N. Levitt, Myla Archer, Mark R. Heckman, Gregory D. Benson	Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL.	HUG	1993	DBLP DOI BibTeX RDF
35	Sten Agerholm	Domain Theory in HOL.	HUG	1993	DBLP DOI BibTeX RDF
31	Margaret Hamilton 0001, Ana Hol, Joan Richardson, James McGovern	Computer Science Undergraduate Programs in Australia.	Inroads	2024	DBLP DOI BibTeX RDF
31	Ana Hol, Joan Richardson, Margaret Hamilton 0001, Jim McGovern	Strengthening Undergraduate Information Systems Education in an Increasingly Complex Computing Disciplines Landscape.	Commun. Assoc. Inf. Syst.	2024	DBLP BibTeX RDF
31	Ana Hol, Joan Richardson, James McGovern, Margaret Hamilton 0001	A New Sustainable Model for Aligning Industry Requirements and University Programs.	Inroads	2023	DBLP DOI BibTeX RDF
31	Yun Hol Chan, Kelven Weijing Chen, Qinghui Wu, Edmund Chiong, Hongliang Ren 0001	Pre-Clinical Proof-of-Concept Study of a Bladder Irrigation Feedback System for Gross Haematuria in a Lab Setup.	Multimodal Technol. Interact.	2020	DBLP DOI BibTeX RDF
31	William Odom, Ron Wakkary, Jeroen Hol, Bram Naus, Pepijn Verburg, Tal Amram, Amy Yo Sue Chen	Investigating Slowness as a Frame to Design Longer-Term Experiences with Personal Data: A Field Study of Olly.	CHI	2019	DBLP DOI BibTeX RDF
31	Jesse Tran, Quang Vinh Nguyen, Ana Hol, Simeon Simoff	Reduction of Cognitive Overload in Online Reviews Using Data Visualisation.	ACSW	2019	DBLP DOI BibTeX RDF
31	Mousa Abu Kashef, Athula Ginige, Ana Hol	Framework for enhancing online working-together relations.	J. Inf. Commun. Ethics Soc.	2018	DBLP DOI BibTeX RDF
31	Joan Richardson, Frada Burstein, Ana Hol, Rodney J. Clarke, Jim McGovern	Australian Undergraduate Information Systems Curricula: a Comparative Study.	ISD	2018	DBLP BibTeX RDF
31	Joan Richardson, Frada Burstein, Ana Hol, Robert J. Clarke, James McGovern	Australian Undergraduate Information Systems Curricula: A Comparative Study.	ISD (Selected Papers)	2018	DBLP DOI BibTeX RDF
31	William Odom, Ron Wakkary, Ishac Bertran, Matthew Harkness, Garnet D. Hertz, Jeroen Hol, Henry W. J. Lin, Bram Naus, Perry Tan, Pepijn Verburg	Attending to Slowness and Temporality with Olly and Slow Game: A Design Inquiry Into Supporting Longer-Term Relations with Everyday Computational Objects.	CHI	2018	DBLP DOI BibTeX RDF
31	Manon Kok, Jeroen D. Hol, Thomas B. Schön	Using Inertial Sensors for Position and Orientation Estimation.	Found. Trends Signal Process.	2017	DBLP DOI BibTeX RDF
31	Manon Kok, Jeroen D. Hol, Thomas B. Schön	Using Inertial Sensors for Position and Orientation Estimation.	CoRR	2017	DBLP BibTeX RDF
31	Fabian Girrbach, Jeroen D. Hol, Giovanni Bellusci, Moritz Diehl	Optimization-Based Sensor Fusion of GNSS and IMU Using a Moving Horizon Approach.	Sensors	2017	DBLP DOI BibTeX RDF
31	Yun Hol Chan, Zion Tse, Hongliang Ren 0001	Design evolution and pilot study for a kirigami-inspired flexible and soft anthropomorphic robotic hand.	ICAR	2017	DBLP DOI BibTeX RDF
31	Marie D. Fernando, Athula Ginige, Ana Hol	Social Computing: New Pervasive Computing Paradigm to Enhance Triple Bottom Line.	GPC	2017	DBLP DOI BibTeX RDF
31	Jesse Tran, Ana Hol, Quang Vinh Nguyen, Simeon J. Simoff	Fine Dining Restaurant Framework Development and Survey.	ICE-B	2017	DBLP DOI BibTeX RDF
31	Kim Mathiassen, Jørgen Enger Fjellin, Kyrre Glette, Per Kristian Hol, Ole Jakob Elle	An Ultrasound Robotic System Using the Commercial Robot UR5.	Frontiers Robotics AI	2016	DBLP DOI BibTeX RDF
31	François Rummens, Stéphane Ygorra, Hol C. Mayiss Boussamba, Sylvie Renaud, Noëlle Lewis	Theoretical study and optimisation of a standard deviation estimator circuit for adaptive threshold spike detection.	Int. J. Circuit Theory Appl.	2016	DBLP DOI BibTeX RDF
31	Manon Kok, Sina Khoshfetrat Pakazad, Thomas B. Schön, Anders Hansson, Jeroen D. Hol	A Scalable and Distributed Solution to the Inertial Motion Capture Problem.	CoRR	2016	DBLP BibTeX RDF
31	Marie D. Fernando, Athula Ginige, Ana Hol	Structural and Behavioural Model for Social Computing Applications.	ACIS	2016	DBLP BibTeX RDF
31	Muriel Hol, Aysenur Bilgin	Design of a Fuzzy Logic Based Framework for Comprehensive Anomaly Detection in Real-World Energy Consumption Data.	BNCAI	2016	DBLP DOI BibTeX RDF
31	Ana Hol	Context Specific, Networked and Feedback Enhanced eTransformation Business Model.	ICE-B	2016	DBLP DOI BibTeX RDF
31	Manon Kok, Sina Khoshfetrat Pakazad, Anders Hansson, Jeroen D. Hol	A scalable and distributed solution to the inertial motion capture problem.	FUSION	2016	DBLP BibTeX RDF
31	Manon Kok, Jeroen D. Hol, Thomas B. Schön	Indoor Positioning Using Ultrawideband and Inertial Measurements.	IEEE Trans. Veh. Technol.	2015	DBLP DOI BibTeX RDF
31	Ana Hol	Sustainable Farm System for Peri-urban Sydney SMEs.	ICE-B	2015	DBLP DOI BibTeX RDF
31	Abubakr Eldirdiri, Frédéric Courivaud, Rafael Palomar, Per Kristian Hol, Ole Jakob Elle	Catheter tip tracking for MR-guided interventions using discrete Kalman filter and mean shift localization.	Int. J. Comput. Assist. Radiol. Surg.	2014	DBLP DOI BibTeX RDF
31	Jacky C. K. Chow, Derek D. Lichti, Jeroen D. Hol, Giovanni Bellusci, Henk Luinge	IMU and Multiple RGB-D Camera Fusion for Assisting Indoor Stop-and-Go 3D Terrestrial Laser Scanning.	Robotics	2014	DBLP DOI BibTeX RDF
31	Ana Hol, Omar Mubin, Athula Ginige	Proposed Business Model for SME Farmers in Peri-Urban Sydney Region.	ICE-B	2014	DBLP DOI BibTeX RDF
31	Ashini Wesumperuma, Athula Ginige, Anupama Ginige, Ana Hol	Green Activity Based Management (ABM) for Organisations.	ACIS	2013	DBLP BibTeX RDF
31	Felix J. H. Hol, Xin Wang, Juan E. Keymer	Population structure increases the evolvability of genetic algorithms.	Complex.	2012	DBLP DOI BibTeX RDF
31	Manon Kok, Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson, Henk Luinge	Calibration of a magnetometer in combination with inertial sensors.	FUSION	2012	DBLP BibTeX RDF
31	Ana Hol	CRM for SMEs.	ISD	2011	DBLP DOI BibTeX RDF
31	Miao Zhang, Jeroen D. Hol, Laurens Slot, Henk Luinge	Second order nonlinear uncertainty modeling in strapdown integration using MEMS IMUs.	FUSION	2011	DBLP BibTeX RDF
31	Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson	Modeling and Calibration of Inertial and Vision Sensors.	Int. J. Robotics Res.	2010	DBLP DOI BibTeX RDF
31	Ana Hol, Athula Ginige	Bridging the Gaps between eTransforming SMEs and SME - ICT Providers.	I3E	2010	DBLP DOI BibTeX RDF
31	Mahesha Kapurubandara, Ana Hol, Athula Ginige	SMEs in Developed and Developing Countries Treading Similar Paths Towards eTransformation.	ICE-B	2010	DBLP BibTeX RDF
31	Wesley C. Van Voorhis, Wim G. J. Hol, Peter J. Myler, Lance J. Stewart	The Role of Medical Structural Genomics in Discovering New Drugs for Infectious Diseases.	PLoS Comput. Biol.	2009	DBLP DOI BibTeX RDF
31	Ana Hol, Athula Ginige	eTransformation Journey for SMEs.	ICE-B	2009	DBLP BibTeX RDF
31	Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson	Relative pose calibration of a spherical camera and an IMU.	ISMAR	2008	DBLP DOI BibTeX RDF
31	Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson	A new algorithm for calibrating a combined camera and IMU sensor unit.	ICARCV	2008	DBLP DOI BibTeX RDF
31	Suzan Hol	The influence of the business cycle on bankruptcy probability.	Int. Trans. Oper. Res.	2007	DBLP DOI BibTeX RDF
31	Jeroen D. Hol, Thomas B. Schön, Henk Luinge, Per J. Slycke, Fredrik Gustafsson	Robust real-time tracking by fusing measurements from inertial and vision sensors.	J. Real Time Image Process.	2007	DBLP DOI BibTeX RDF
31	Robyn Lawson, Ana Hol, Tim Hall	Challenges of eCollaboration among SMEs.	Bled eConference	2007	DBLP BibTeX RDF
31	Gustaf Hendeby, Jeroen D. Hol, Rickard Karlsson, Fredrik Gustafsson	A graphics processing unit implementation of the particle filter.	EUSIPCO	2007	DBLP BibTeX RDF
31	Carsten W. Scherer, Camile W. J. Hol	Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs.	Math. Program.	2006	DBLP DOI BibTeX RDF
31	Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson, Per J. Slycke	Sensor Fusion for Augmented Reality.	FUSION	2006	DBLP DOI BibTeX RDF
31	Shiromi Arunatileka, Athula Ginige, Ana Hol, Robyn Lawson	A Pilot Project on eCollaboration in the Australian Toolmaking Industry.	Bled eConference	2005	DBLP BibTeX RDF
31	Camile W. J. Hol, Carsten W. Scherer	Fixed order ℋ∞-synthesis: computing optimal values by robust performance analysis.	ACC	2004	DBLP DOI BibTeX RDF
31	Camile W. J. Hol, Carsten W. Scherer	Computing optimal fixed order H∞-synthesis values by matrix sum of squares relaxations.	CDC	2004	DBLP DOI BibTeX RDF
31	M. J. Zandvliet, Carsten W. Scherer, Camile W. J. Hol, Marc M. J. van de Wal	Multi-objective H∞ control applied to a wafer stage model.	CDC	2004	DBLP DOI BibTeX RDF
31	Ana Hol, Robyn Lawson	Role of social and human capital in virtual collaboration.	ICWI	2004	DBLP BibTeX RDF
31	Camile W. J. Hol, Carsten W. Scherer, Okko H. Bosgra	A Nonlinear SDP Approach to Fixed-Order Controller Synthesis and Comparison with Two Other Methods Applied to an Active Suspension System.	Eur. J. Control	2003	DBLP DOI BibTeX RDF
31	Camile W. J. Hol, Gerard van Willigenburg, Eldert J. van Henten, Gerrit van Straten	A New Optimization Algorithm for Singular and Non-Singular Digital Time-optimal Control of Robots.	ICRA	2001	DBLP DOI BibTeX RDF
31	Erik Hollnagel, Jon Øyen Hol	Twenty-Five Years of Operator-Process Communication: Lessons Learned and Problems Solved?	HCI (2)	1997	DBLP BibTeX RDF
31	Wen-June Wang, Gin-Hol Wu, Dah-Ching Yang	Variable structure control design for uncertain discrete-time systems.	IEEE Trans. Autom. Control.	1994	DBLP DOI BibTeX RDF
31	Norbert A. Streitz, Jörg Geißler, Jörg M. Haake, Jeroen Hol	DOLPHIN: Integrated Meeting Support Across Local and Remote Desktop Environments and LiveBoards.	CSCW	1994	DBLP DOI BibTeX RDF	collaborative writing/drawing, document-based cooperation, electronic meeting rooms, planning, hypermedia, shared workspaces, brainstorming, pen-based interaction, interactive whiteboards
31	Deng-Jyi Chen, Ruey-Shun Chen, W. C. Hol, Kuo-Lung Ku	A Heuristic Algorithm for the Reliability-Oriented File Assignment in a Distributed Computing System.	ICPADS	1994	DBLP DOI BibTeX RDF
31	Christophe L. M. J. Verlinde, Gabrielle Rudenko, Wim G. J. Hol	In search of new lead compounds for trypanosomiasis drug design: A protein structure-based linked-fragment approach.	J. Comput. Aided Mol. Des.	1992	DBLP DOI BibTeX RDF
31	Xavier Parent, Christoph Benzmüller	Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset).	Arch. Formal Proofs	2024	DBLP BibTeX RDF
31	Benoît Ballenghien, Safouan Taha, Burkhart Wolff	HOL-CSPM - Architectural operators for HOL-CSP.	Arch. Formal Proofs	2023	DBLP BibTeX RDF
31	Albert Rizaldi	Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL) (PDF / PS)		2020	RDF
31	Ondrej Kuncar, Andrei Popescu 0001	Safety and conservativity of definitions in HOL and Isabelle/HOL.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
31	Cezary Kaliszyk, Josef Urban	HOL(y)Hammer: Online ATP Service for HOL Light.	Math. Comput. Sci.	2015	DBLP DOI BibTeX RDF
31	Fahd Arshad, Hassan Mehmood, Fauzan Raza, Osman Hasan	g-HOL: A Graphical User Interface for the HOL Proof Assistant.	FTSCS	2015	DBLP DOI BibTeX RDF
31	Cezary Kaliszyk, Josef Urban	HOL(y)Hammer: Online ATP Service for HOL Light.	CoRR	2013	DBLP BibTeX RDF
31	Ramana Kumar	Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4.	PxTP@CADE	2013	DBLP DOI BibTeX RDF
31	Dina Taiwé Kolyang	HOL-Z, an integrated formal support environment for Z in Isabelle/HOL.		1999	RDF
31	Otmane Aït Mohamed	La théorie du pi-calcul dans le système HOL. (The pi-calculus theory in the HOL system).		1996	RDF
31	Elsa L. Gunter	Why we can't have SML-style datatype Declarations in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Saraswati Kalvala, Myla Archer, Karl N. Levitt	Implementation and Use of Annotations in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Phillip J. Windley	Abstract Theories in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Richard J. Boulton	Boyer-Moore Automation for the HOL System.	TPHOLs	1992	DBLP BibTeX RDF
31	Sreeranga P. Rajan	Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic.	TPHOLs	1992	DBLP BibTeX RDF
31	John Harrison 0001	Constructing the real numbers in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	William L. Harrison, Myla Archer, Karl N. Levitt	A HOL Mechanisation of the Axiomatic Semantics of a Simple Distributed Programming Language.	TPHOLs	1992	DBLP BibTeX RDF
31	Myla Archer, George Fink, Lie Yang	Linking Other Theorem Provers to HOL Using PM: Proof Manager.	TPHOLs	1992	DBLP BibTeX RDF
31	Rachel Cardell-Oliver, Roger Hale, John Herbert	An Embedding of Timed Transition Systems in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Mark van der Voort	Introducing well-founded function definitions in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Monica Nesi	Formalizing a Modal Logic for CSS in the HOL Theorem Prover.	TPHOLs	1992	DBLP BibTeX RDF
31	Jim Alves-Foss	Modelling Non-Deterministic System in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Ching-Tsun Chou	A Sequent Formulation of a Logic of Predicates in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Catia M. Angelo, Luc J. M. Claesen, Hugo De Man	The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.	TPHOLs	1992	DBLP BibTeX RDF
31	Thomas F. Melham	The HOL Logic Extended with Quantification over Type Variables.	TPHOLs	1992	DBLP BibTeX RDF
31	Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001	First Steps Towards Automating Hardware Proofs in HOL.	TPHOLs	1991	DBLP BibTeX RDF
31	Michael J. C. Gordon	Introduction to the HOL System.	TPHOLs	1991	DBLP BibTeX RDF
31	E. de Barros Lucena	Reasoning about Petri Nets in HOL.	TPHOLs	1991	DBLP BibTeX RDF
31	Joakim von Wright	Mechanising the Temporal Logic of Actions in HOL.	TPHOLs	1991	DBLP BibTeX RDF
31	David Shepherd	Using HOL to produce custom verification tools.	TPHOLs	1991	DBLP BibTeX RDF
31	Richard Gerber 0001, Elsa L. Gunter, Insup Lee 0001	Implementing a Real-Time Process Algebra in HOL.	TPHOLs	1991	DBLP BibTeX RDF
31	Sara Kalvala	HOL Around the World.	TPHOLs	1991	DBLP BibTeX RDF
31	Thomas F. Melham	A Package for Inductive Relation Definitions in HOL.	TPHOLs	1991	DBLP BibTeX RDF
31	David F. Martin, R. J. Toal	Case Studies in Compiler Correctness Using HOL.	TPHOLs	1991	DBLP BibTeX RDF