King's College London

Research portal

Research Outputs

  1. 2020
  2. A Certified Functional Nominal C-Unification Algorithm

    Ayala-Rincón, M., Fernández, M., Silva, G. F. & Nantes-Sobrinho, D., 1 Jan 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). SPRINGER, p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  3. A Port Graph Rewriting Approach to Relational Database Modelling

    Fernández, M., Pinaud, B. & Varga, J., 1 Jan 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). SPRINGER, p. 211-227 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  4. 2019
  5. Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting

    Domínguez, J. & Fernández, M., 10 Jul 2019, Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Proceedings. Gąsieniec, L. A., Jansson, J. & Levcopoulos, C. (eds.). Springer Verlag, p. 64-79 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11651 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  6. Privacy-preserving architecture for cloud-IoT platforms

    Fernandez, M., Jaimunk, J. & Thuraisingham, B., 1 Jul 2019, Proceedings - 2019 IEEE International Conference on Web Services, ICWS 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Damiani, E., Goul, M. & Oyama, K. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 11-19 9 p. 8818306

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  7. Specification and analysis of ABAC policies via the category-based metamodel

    Fernández, M., Mackie, I. & Thuraisingham, B., 13 Mar 2019, CODASPY 2019 - Proceedings of the 9th ACM Conference on Data and Application Security and Privacy. Association for Computing Machinery, Inc, p. 173-184 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  8. 2018
  9. Graph-based data-collection policies for the internet of things

    Fernández, M., Jaimunk, J. & Thuraisingham, B., 4 Dec 2018, Proceedings - 4th Annual Industrial Control System Security Workshop, ICSS 2018. Association for Computing Machinery, p. 9-16 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  10. Haptic Information Gain in Remote Soft Tissue Examination Using a Controllable Stiffness Robotic Probe

    Weheliye, A., Sornkarn, N., Dasgupta, P. & Nanayakkara, T., 1 Dec 2018, 2018 IEEE 9th International Conference on Information and Automation for Sustainability, ICIAfS 2018. Institute of Electrical and Electronics Engineers Inc., 8913340

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  11. Towards a privacy-aware quantified self data management framework

    Thuraisingham, B., Kantarcioglu, M., Bertino, E., Bakdash, J. Z. & Fernandez, M., 7 Jun 2018, SACMAT 2018 - Proceedings of the 23rd ACM Symposium on Access Control Models and Technologies. Association for Computing Machinery, p. 173-184 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  12. A category-based model for ABAC

    Fernández, M. & Thuraisingham, B., 14 Mar 2018, ABAC 2018 - Proceedings of the 3rd ACM Workshop on Attribute-Based Access Control, Co-located with CODASPY 2018. Association for Computing Machinery, Inc, Vol. 2018-January. p. 32-34 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  13. Nominal C-unification

    Ayala-Rincón, M., de Carvalho-Segundo, W., Fernández, M. & Nantes-Sobrinho, D., 1 Jan 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer Verlag, p. 235-251 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  14. 2017
  15. A Framework for Secure Data Collection and Management for Internet of Things

    Fernandez, M. I., Kantarcioglu, M. & Thuraisingham, B., 15 Jan 2017, ICSS '16: Proceedings of the 2nd Annual Industrial Control System Security Workshop. ACM Press

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  16. 2016
  17. Towards safer obstacle avoidance for continuum-style manipulator in dynamic environments

    Rizqi, A., Qi, P., Shiva, A., Shafti, A., Wurdemann, H., Dasgupta, P. & Althoefer, K., 28 Jul 2016, Proceedings of the IEEE RAS and EMBS International Conference on Biomedical Robotics and Biomechatronics. IEEE Computer Society Press, Vol. 2016-July. p. 600-605 6 p. 7523691

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  18. Checking Overlaps of Nominal Rewriting Rules

    Ayala-Rincon, M., Fernandez, M. I., Gabbay, M. J. & Rocha-Oliveira, A. C., 11 Jul 2016, Electronic Notes in Theoretical Computer Science. Elsevier, Vol. 323. p. 39-56 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  19. Completeness in PVS of a Nominal Unification Algorithm

    Ayala-Rincon, M., Fernandez, M. I. & Rocha-Oliveira, A. C., 11 Jul 2016, Electronic Notes in Theoretical Computer Science. Elsevier, Vol. 323. p. 57-74 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  20. Nominal narrowing

    Ayala-Rincón, M., Fernández, M. & Nantes-Sobrinho, D., Jun 2016, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 52. 17 p. 11

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  21. 2015
  22. From nominal to higher-order and back again

    Dominguez, J. & Fernandez, M. I., 11 Dec 2015, Logical methods in computer science. arXhiv.org, Vol. 11. p. 1-41 41 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  23. Dependent types for nominal terms with atom substitutions

    Fairweather, E., Fernández, M., Szasz, N. & Tasistro, A., 1 Jul 2015, Leibniz International Proceedings in Informatics, LIPIcs. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 38. p. 180-195 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  24. A new privacy-preserving web metering scheme using third-party-centric analytics

    Alarifi, F. & Fernandez, M., 2015, Proceedings - International Conference on Computer Vision and Image Analysis Applications, ICCVIA 2015. Institute of Electrical and Electronics Engineers Inc., 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  25. 2014
  26. Endoscopic add-on stiffness probe for real-time soft surface characterisation in MIS

    Faragasso, A., Stilli, A., Bimbo, J., Noh, Y., Liu, H., Nanayakkara, T., Dasgupta, P., Wurdemann, H. A. & Althoefer, K., 2 Nov 2014, 2014 36th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2014. Institute of Electrical and Electronics Engineers Inc., p. 6517-6520 4 p. 6945121

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  27. Bio-inspired tactile sensor sleeve for surgical soft manipulators

    Sareh, S., Jiang, A., Faragasso, A., Noh, Y., Nanayakkara, T., Dasgupta, P., Seneviratne, L. D., Wurdemann, H. A. & Althoefer, K., 22 Sep 2014, Proceedings - IEEE International Conference on Robotics and Automation. Institute of Electrical and Electronics Engineers Inc., p. 1454-1459 6 p. 6907043

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  28. The granular jamming integrated actuator

    Jiang, A., Adejokun, S., Faragasso, A., Althoefer, K., Nanayakkara, T. & Dasgupta, P., 2014, 2014 International Conference on Advanced Robotics and Intelligent Systems, ARIS 2014. IEEE Computer Society Press, p. 12-17 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  29. 2013
  30. A Two Party Haptic Guidance Controller Via a Hard Rein

    Dissanayake Mudiyanselage, A., Penders, J., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 4 Nov 2013, 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . Tokyo, Japan, p. 116 122 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  31. Force-velocity modulation strategies for soft tissue examination

    Konstantinova, J., Li, M., Aminzadeh, V., Dasgupta, P., Althoefer, K. & Nanayakkara, T., Nov 2013, Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on. Institute of Electrical and Electronics Engineers Inc., p. 1998-2003 6 p. 6696622

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  32. An optimal state dependent haptic guidance controller via a hard rein

    Ranasinghe, A., Althoefer, K., Nanayakkara, T., Penders, J. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 2322-2327 6 p. 6722150

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  33. Evaluating manual palpation trajectory patterns in tele-manipulation for soft tissue examination

    Konstantinova, J., Li, M., Aminzadeh, V., Althoefer, K., Nanayakkara, T. & Dasgupta, P., Oct 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. IEEE, p. 4190-4195 6 p. 6722467

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  34. Granular jamming with hydraulic control

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 8 Aug 2013, Proceedings of the ASME Design Engineering Technical Conference. American Society of Mechanical Engineers, Vol. 6 A. 7 p. V06AT07A021

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  35. Granular Jamming Transitions for a Robotic Mechanism

    Jiang, A., Aste, T., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2013, POWDERS AND GRAINS 2013: Proceedings of the 7th International Conference on Micromechanics of Granular Media. Yu, A., Dong, K., Yang, R. & Luding, S. (eds.). MELVILLE: Amer Inst Physics, p. 385-388 4 p. (AIP Conference Proceedings; vol. 1542).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  36. 2012
  37. Adaptive grip control on an uncertain object

    Jiang, A., Bimbo, J., Goulder, S., Liu, H., Song, X., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 7 Oct 2012, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2012 . IEEE, p. 1161 - 1166 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  38. Design of a Variable Stiffness Flexible Manipulator with Composite Granular Jamming and Membrane Coupling

    Jiang, A., Xynogalas, G., Dasgupta, P., Althoefer, K. & Nanayakkara, T., 2012, 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 2922-2927 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  39. Nominal Completion for Rewrite Systems with Binders

    Fernandez, M. & Rubio, A., 2012, Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Springer Berlin Heidelberg, p. 201-213 13 p. (Lecture Notes in Computer Science; vol. 7392).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  40. 2010
  41. Category-Based Authorisation Models: Operational Semantics and Expressive Power

    Bertolissi, C. & Fernandez, M., 2010, Lecture Notes in Computer Science, 2010, Volume 5965, Engineering Secure Software and Systems. Unknown Publisher, Vol. 5965 LNCS. p. 283 - 301 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  42. Miniaturized Triaxial Optical Fiber Force Sensor for MRI-Guided Minimally Invasive Surgery

    Puangmali, P., Dasgupta, P., Seneviratne, L. D. & Althoefer, K., 2010, Unknown. NEW YORK: IEEE, p. 2592 - 2597 6 p. (2010 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA)).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  43. 2009
  44. A Haptic Probe for Soft Tissue Abnormality Identification during Minimally Invasive Surgery

    Liu, H., Elhage, O., Dasgupta, P., Challacombe, B., Murphy, D., Seneviratne, L. & Althoefer, K., 2009, Reconfigurable mechanisms and robots: International conference, 2009. GENOVA: KC Edizioni, p. 436 - 441 6 p. (RECONFIGURABLE MECHANISMS AND ROBOTS).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  45. 2008
  46. A rewriting framework for the composition of access control policies

    Bertolissi, C. & Fernandez, M., 2008, PPDP '08 Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming. Unknown Publisher, p. 217 - 225 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  47. An algebraic-functional framework for distributed access control

    Bertolissi, C. & Fernandez, M., 2008, 3rd International Conference on Risk and Security of Internet Systems (CRISIS'08). Unknown Publisher, p. 1 - 8 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  48. Nominal matching and alpha-equivalence

    Calves, C. & Fernandez, M., 2008, Logic, Language, Information and Computation. BERLIN: Springer, Vol. 5110 LNAI. p. 111 - 122 12 p. (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  49. Time and Location Based Services with Access Control

    Bertolissi, C. & Fernandez, M., 2008, 2nd IFIP International Conference on New Technologies, Mobility and Security. Unknown Publisher, p. 1 - 6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  50. Wheel/Tissue Force Interaction: A New Concept for Soft Tissue Diagnosis during MIS

    Zbyszewski, D., Liu, H., Puangmali, P., Althoefer, K., Nunes, C. S., Seneviratne, L. D., Challacombe, B., Murphy, D. & Dasgupta, P., 2008, Engineering in Medicine and Biology Society, 2008. EMBS 2008. 30th Annual International Conference of the IEEE. NEW YORK: IEEE, p. 5556 - 5559 4 p. (2008 30TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-8).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  51. 2007
  52. Curry-Style Types for Nominal Terms

    Fernandez, M. & Gabbay, M. J., 2007, Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Altenkirch, T. & McBride, C. (eds.). BERLIN: Springer, Vol. 4502 LNCS. p. 125 - 139 15 p. (LECTURE NOTES IN COMPUTER SCIENCE; vol. 4502).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  53. Dynamic Event-Based Access Control as Term Rewriting

    Bertolissi, C., Fernandez, M. & Barker, S., 2007, Proceedings, Data and Applications Security, Lecture Notes in Computer Science. Springer, Vol. 4602 LNCS. p. ?? - ?? 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  54. Iterator Types

    Alves, S., Fernandez, M., Florido, M. & Mackie, I., 2007, FOSSACS 2007, Proceedings, Lecture Notes in Computer Science. Springer, p. ?? - ?? (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  55. Linear Recursive Functions

    Alves, S., Fernandez, M., Florido, M. & Mackie, I., 2007, Lecture Notes in Computer Science, 2007, Volume 4600, Rewriting, Computation and Proof. Unknown Publisher, Vol. 4600 LNCS. p. 182 - 195 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  56. 2006
  57. A historic functional and object-oriented calculus

    Fernandez, M. & Fleutot, F., 2006, Proceedings of the Eighth ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. ACM Press, Vol. 2006. p. 145 - 156 12 p. (ACM SIGPLAN).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  58. Term Rewriting for Access Control

    Barker, S. & Fernandez, M., 2006, 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Lecture Notes in Computer Science. Springer, Vol. 4127 LNCS. p. 179 - 193 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  59. The Power of Linear Functions

    Alves, S., Fernandez, M. I., Florido, M. & Mackie, I., 2006, Proceedings of the 15th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science. Springer, Vol. 4207 LNCS. p. 119 - 134 16 p. (EACSL Annual Conference on Computer Science Logic).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  60. 2005
  61. Nominal Rewriting with Name Generation:Abstraction vs. Locality

    Fernandez, M. & Gabbay, M., 2005, PPDP'05, 7th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. ACM Press, Vol. 2005. p. 47 - 58 12 p. (ACM SIGPLAN ).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  62. 2004
  63. Nominal Rewriting Systems

    Fernandez, M., Gabbay, M. & Mackie, I., 2004, Proceedings of the 6th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. Unknown Publisher, p. 108 - 119 12 p. (International Conference on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  64. 2003
  65. An Operational Approach to Program Extraction in the Calculus of Constructions

    Fernandez, M. & Severi, P., 2003, Lecture Notes in Computer Science, 2003, Volume 2664, Logic Based Program Synthesis and Transformation . Unknown Publisher, p. 957 - ?

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  66. Efficient reductions with director strings

    Sinot, F. R., Fernandez, M. & Mackie, I., 2003, LECT NOTE COMPUT SCI. BERLIN: Springer, p. 46 - 60 15 p. (LECTURE NOTES IN COMPUTER SCIENCE).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

  67. 2002
  68. A Higher-order Calculus for Graph Transformation

    Fernández, M., Mackie, I. & Pinto, J. S., 2002, Proceedings of the First International Workshop on Term Graph Rewriting: TERMGRAPH 2002. Plump, D. (ed.). N/A ed. Amsterdam: Elsevier, Vol. N/A. (Electronic Notes in Theoretical Computer Science, Vol. 72 (1)).

    Research output: Chapter in Book/Report/Conference proceedingConference paper

Previous 1 2 Next

Export:RIS BibTex Word PDF - will at most contain 500 items

Refine results Clear filters

Language

Language

Publication year

Publication year

Full text

Full text

Meeting and poster abstracts

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454