Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
35 | Stephen H. Brackin |
Deciding Cryptographic Protocol Adequacy with HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 90-105, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 33-48, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Stephen H. Brackin |
Providing Tractable Security Analysis in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 65-80, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Joakim von Wright |
Representing Higher-Order Logic Proofs in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 456-470, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Sten Agerholm |
LCF Examples in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 7th International Workshop, Valletta, Malta, September 19-22, 1994, Proceedings, pp. 1-16, 1994, Springer, 3-540-58450-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Don Syme |
Reasoning with the Formal Definition of Standard ML in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 43-60, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 29-42, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Sten Agerholm |
Domain Theory in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 295-309, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
31 | Margaret Hamilton 0001, Ana Hol, Joan Richardson, James McGovern |
Computer Science Undergraduate Programs in Australia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inroads ![In: Inroads 15(1), pp. 18-26, March 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. Assoc. Inf. Syst. ![In: Commun. Assoc. Inf. Syst. 54, pp. 5, 2024. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inroads ![In: Inroads 14(1), pp. 30-39, March 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimodal Technol. Interact. ![In: Multimodal Technol. Interact. 4(3), pp. 59, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019, pp. 34, 2019, ACM, 978-1-4503-5970-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSW ![In: Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2019, Sydney, NSW, Australia, January 29-31, 2019, pp. 48:1-48:9, 2019, ACM, 978-1-4503-6603-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Mousa Abu Kashef, Athula Ginige, Ana Hol |
Framework for enhancing online working-together relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Commun. Ethics Soc. ![In: J. Inf. Commun. Ethics Soc. 16(4), pp. 357-380, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development: Designing Digitalization, ISD 2018 Proceedings, Lund, Sweden August 22-24, 2018., 2018, Lund University / Association for Information Systems, 978-91-7753-876-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
31 | Joan Richardson, Frada Burstein, Ana Hol, Robert J. Clarke, James McGovern |
Australian Undergraduate Information Systems Curricula: A Comparative Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD (Selected Papers) ![In: Advances in Information Systems Development - Designing Digitalization, Selected Papers from ISD 2018, the 27th Information Systems Development conference, Lund, Sweden, August 22-24, 2018., pp. 19-34, 2018, Springer, 978-3-030-22992-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, QC, Canada, April 21-26, 2018, pp. 77, 2018, ACM, 978-1-4503-5620-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Manon Kok, Jeroen D. Hol, Thomas B. Schön |
Using Inertial Sensors for Position and Orientation Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Trends Signal Process. ![In: Found. Trends Signal Process. 11(1-2), pp. 1-153, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Manon Kok, Jeroen D. Hol, Thomas B. Schön |
Using Inertial Sensors for Position and Orientation Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1704.06053, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 17(5), pp. 1159, 2017. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAR ![In: 18th International Conference on Advanced Robotics, ICAR 2017, Hong Kong, China, July 10-12, 2017, pp. 432-437, 2017, IEEE, 978-1-5386-3157-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Marie D. Fernando, Athula Ginige, Ana Hol |
Social Computing: New Pervasive Computing Paradigm to Enhance Triple Bottom Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Green, Pervasive, and Cloud Computing - 12th International Conference, GPC 2017, Cetara, Italy, May 11-14, 2017, Proceedings, pp. 656-671, 2017, 978-3-319-57185-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Jesse Tran, Ana Hol, Quang Vinh Nguyen, Simeon J. Simoff |
Fine Dining Restaurant Framework Development and Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017) - Volume 2: ICE-B, Madrid, Spain, July 24-26, 2017., pp. 83-90, 2017, SciTePress, 978-989-758-257-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Robotics AI ![In: Frontiers Robotics AI 3, pp. 1, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Circuit Theory Appl. ![In: Int. J. Circuit Theory Appl. 44(9), pp. 1742-1757, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1603.06443, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
31 | Marie D. Fernando, Athula Ginige, Ana Hol |
Structural and Behavioural Model for Social Computing Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS ![In: Australasian Conference on Information Systems, ACIS 2016, Wollongong, NSW, Australia, 5-7 December 2016., pp. 63, 2016. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCAI ![In: BNAIC 2016: Artificial Intelligence - 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016, Revised Selected Papers, pp. 121-136, 2016, Springer, 978-3-319-67467-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Ana Hol |
Context Specific, Networked and Feedback Enhanced eTransformation Business Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: Proceedings of the 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016) - Volume 2: ICE-B, Lisbon, Portugal, July 26-28, 2016., pp. 98-105, 2016, SciTePress, 978-989-758-196-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 19th International Conference on Information Fusion, FUSION 2016, Heidelberg, Germany, July 5-8, 2016, pp. 1348-1355, 2016, IEEE, 978-0-9964-5274-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
31 | Manon Kok, Jeroen D. Hol, Thomas B. Schön |
Indoor Positioning Using Ultrawideband and Inertial Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 64(4), pp. 1293-1303, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Ana Hol |
Sustainable Farm System for Peri-urban Sydney SMEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2015 - Proceedings of the 12th International Conference on e-Business, Colmar, Alsace, France, 20-22 July, 2015., pp. 257-262, 2015, SciTePress, 978-989-758-113-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 9(2), pp. 313-322, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotics ![In: Robotics 3(3), pp. 247-280, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Ana Hol, Omar Mubin, Athula Ginige |
Proposed Business Model for SME Farmers in Peri-Urban Sydney Region. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2014 - Proceedings of the 11th International Conference on e-Business, Vienna, Austria, 28-30 August, 2014, pp. 137-144, 2014, SciTePress, 978-989-758-043-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
31 | Ashini Wesumperuma, Athula Ginige, Anupama Ginige, Ana Hol |
Green Activity Based Management (ABM) for Organisations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS ![In: Australasian Conference on Information Systems, ACIS 2013, Melbourne, VIC, Australia, 4-6 December 2013., pp. 144, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
31 | Felix J. H. Hol, Xin Wang, Juan E. Keymer |
Population structure increases the evolvability of genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex. ![In: Complex. 17(5), pp. 58-64, 2012. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 15th International Conference on Information Fusion, FUSION 2012, Singapore, July 9-12, 2012, pp. 787-793, 2012, IEEE, 978-0-9824438-5-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
31 | Ana Hol |
CRM for SMEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISD ![In: Information Systems Development, Reflections, Challenges and New Directions [Proceedings of ISD 2011, Heriot-Watt University, Edinburgh, Scotland, UK, August 24 - 26, 2011], pp. 657-668, 2011, Springer, 978-1-4614-4950-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: Proceedings of the 14th International Conference on Information Fusion, FUSION 2011, Chicago, Illinois, USA, July 5-8, 2011, pp. 1-7, 2011, IEEE, 978-1-4577-0267-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
31 | Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson |
Modeling and Calibration of Inertial and Vision Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 29(2-3), pp. 231-244, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Ana Hol, Athula Ginige |
Bridging the Gaps between eTransforming SMEs and SME - ICT Providers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
I3E ![In: Software Services for e-World - 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings, pp. 61-69, 2010, Springer, 978-3-642-16282-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Mahesha Kapurubandara, Ana Hol, Athula Ginige |
SMEs in Developed and Developing Countries Treading Similar Paths Towards eTransformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2010 - Proceedings of the International Conference on e-Business, Athens, Greece, July 26 - 28, 2010, ICE-B is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 128-132, 2010, SciTePress, 978-989-8425-17-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 5(10), 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Ana Hol, Athula Ginige |
eTransformation Journey for SMEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE-B ![In: ICE-B 2009 - Proceedings of the International Conference on e-Business, Milan, Italy, July 7-10, 2009, ICE-B is part of ICETE - The International Joint Conference on e-Business and Telecommunications, pp. 115-120, 2009, INSTICC Press, 978-989-674-006-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
31 | Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson |
Relative pose calibration of a spherical camera and an IMU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMAR ![In: 7th IEEE and ACM International Symposium on Mixed and Augmented Reality, ISMAR 2008, Cambridge, UK, 15-18th September 2008, pp. 21-24, 2008, IEEE Computer Society, 978-1-4244-2840-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 10th International Conference on Control, Automation, Robotics and Vision, ICARCV 2008, Hanoi, Vietnam, 17-20 December 2008, Proceedings, pp. 1857-1862, 2008, IEEE, 978-1-4244-2286-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Suzan Hol |
The influence of the business cycle on bankruptcy probability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Trans. Oper. Res. ![In: Int. Trans. Oper. Res. 14(1), pp. 75-90, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Real Time Image Process. ![In: J. Real Time Image Process. 2(2-3), pp. 149-160, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Robyn Lawson, Ana Hol, Tim Hall |
Challenges of eCollaboration among SMEs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bled eConference ![In: 20th Bled eConference: eMergence: Merging and Emerging Technologies, Processes, and Institutions, Bled, Slovenia, June 3-6, 2007, pp. 14, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Gustaf Hendeby, Jeroen D. Hol, Rickard Karlsson, Fredrik Gustafsson |
A graphics processing unit implementation of the particle filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 15th European Signal Processing Conference, EUSIPCO 2007, Poznan, Poland, September 3-7, 2007, pp. 1639-1643, 2007, IEEE, 978-839-2134-04-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Carsten W. Scherer, Camile W. J. Hol |
Matrix Sum-of-Squares Relaxations for Robust Semi-Definite Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 107(1-2), pp. 189-211, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jeroen D. Hol, Thomas B. Schön, Fredrik Gustafsson, Per J. Slycke |
Sensor Fusion for Augmented Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 9th International Conference on Information Fusion, FUSION 2006, Florence, Italy, July 10-13, 2006, pp. 1-6, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Shiromi Arunatileka, Athula Ginige, Ana Hol, Robyn Lawson |
A Pilot Project on eCollaboration in the Australian Toolmaking Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bled eConference ![In: 18th Bled eConference: eIntegration in Action, Bled, Slovenia, June 6-8, 2005, pp. 4, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Camile W. J. Hol, Carsten W. Scherer |
Fixed order ℋ∞-synthesis: computing optimal values by robust performance analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: Proceedings of the 2004 American Control Conference, ACC 2004, Boston, MA, USA, June 30 - July 2, 2004, pp. 3285-3290, 2004, IEEE, 0-7803-8335-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 43rd IEEE Conference on Decision and Control, CDC 2004, Nassau, Bahamas, December 14-17, 2004, pp. 3147-3153, 2004, IEEE, 0-7803-8682-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 43rd IEEE Conference on Decision and Control, CDC 2004, Nassau, Bahamas, December 14-17, 2004, pp. 796-802, 2004, IEEE, 0-7803-8682-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Ana Hol, Robyn Lawson |
Role of social and human capital in virtual collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWI ![In: Proceedings of the IADIS International Conference WWW/Internet 2004, Madrid, Spain, 2 Volumes, pp. 1035-1038, 2004, IADIS, 972-99353-0-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Control ![In: Eur. J. Control 9(1), pp. 13-28, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea, pp. 1136-1141, 2001, IEEE, 0-7803-6578-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Erik Hollnagel, Jon Øyen Hol |
Twenty-Five Years of Operator-Process Communication: Lessons Learned and Problems Solved? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Design of Computing Systems: Social and Ergonomic Considerations, Proceedings of the Seventh International Conference on Human-Computer Interaction, (HCI International '97), San Francisco, California, USA, August 24-29, 1997, Volume 2, pp. 221-224, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
31 | Wen-June Wang, Gin-Hol Wu, Dah-Ching Yang |
Variable structure control design for uncertain discrete-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 39(1), pp. 99-102, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 345-358, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Proceedings 1994 International Conference on Parallel and Distributed Systems, December 19-21, 1994, Hsinchu, Taiwan, Republic of China, pp. 454-459, 1994, IEEE Computer Society, 0-8186-6555-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Aided Mol. Des. ![In: J. Comput. Aided Mol. Des. 6(2), pp. 131-147, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Xavier Parent, Christoph Benzmüller |
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2024, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
31 | Benoît Ballenghien, Safouan Taha, Burkhart Wolff |
HOL-CSPM - Architectural operators for HOL-CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
RDF |
|
31 | Ondrej Kuncar, Andrei Popescu 0001 |
Safety and conservativity of definitions in HOL and Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 24:1-24:26, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Cezary Kaliszyk, Josef Urban |
HOL(y)Hammer: Online ATP Service for HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 9(1), pp. 5-22, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTSCS ![In: Formal Techniques for Safety-Critical Systems - Fourth International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, pp. 265-269, 2015, Springer, 978-3-319-29509-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Cezary Kaliszyk, Josef Urban |
HOL(y)Hammer: Online ATP Service for HOL Light. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1309.4962, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
31 | Ramana Kumar |
Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PxTP@CADE ![In: Third International Workshop on Proof Exchange for Theorem Proving, PxTP 2013, Lake Placid, NY, USA, June 9-10, 2013, pp. 110-116, 2013, EasyChair. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Dina Taiwé Kolyang |
HOL-Z, an integrated formal support environment for Z in Isabelle/HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
31 | Elsa L. Gunter |
Why we can't have SML-style datatype Declarations in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 561-568, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Saraswati Kalvala, Myla Archer, Karl N. Levitt |
Implementation and Use of Annotations in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 407-426, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Phillip J. Windley |
Abstract Theories in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 197-210, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Richard J. Boulton |
Boyer-Moore Automation for the HOL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 133-142, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Sreeranga P. Rajan |
Executing HOL Specifications: Towards an Evaluation Semantics for Classical Higher Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 527-536, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | John Harrison 0001 |
Constructing the real numbers in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 145-164, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 347-356, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Myla Archer, George Fink, Lie Yang |
Linking Other Theorem Provers to HOL Using PM: Proof Manager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 539-548, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Rachel Cardell-Oliver, Roger Hale, John Herbert |
An Embedding of Timed Transition Systems in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 263-278, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Mark van der Voort |
Introducing well-founded function definitions in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 117-131, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Monica Nesi |
Formalizing a Modal Logic for CSS in the HOL Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 279-294, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Jim Alves-Foss |
Modelling Non-Deterministic System in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 295-304, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Ching-Tsun Chou |
A Sequent Formulation of a Logic of Predicates in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 71-80, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 375-394, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Thomas F. Melham |
The HOL Logic Extended with Quantification over Type Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and its Applications, Proceedings of the IFIP TC10/WG10.2 Workshop HOL'92, Leuven, Belgium, 21-24 September 1992, pp. 3-17, 1992, North-Holland/Elsevier, 0-444-89880-8. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
31 | Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001 |
First Steps Towards Automating Hardware Proofs in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 190-193, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | Michael J. C. Gordon |
Introduction to the HOL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 2-3, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | E. de Barros Lucena |
Reasoning about Petri Nets in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 384-394, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | Joakim von Wright |
Mechanising the Temporal Logic of Actions in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 155-159, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | David Shepherd |
Using HOL to produce custom verification tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 162-169, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | Richard Gerber 0001, Elsa L. Gunter, Insup Lee 0001 |
Implementing a Real-Time Process Algebra in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 144-154, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | Sara Kalvala |
HOL Around the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 4-12, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | Thomas F. Melham |
A Package for Inductive Relation Definitions in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 350-357, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
31 | David F. Martin, R. J. Toal |
Case Studies in Compiler Correctness Using HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USA, pp. 242-252, 1991, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|