Items where Research Area is "A. > School of Science and Technology > Computer Science > Foundations of Computing group"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Jump to: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2002
Number of items at this level: 217.

2020

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Poly, Guillaume and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2020) Describing and simulating concurrent quantum systems. Biere, Armin and Parker, David, eds. Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20), 27-30 Apr 2020, Dublin. ISBN 9783030452360, e-ISBN 9783030452377. ISSN 0302-9743 (doi:10.1007/978-3-030-45237-7_16)

Primiero, Giuseppe, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033 and Barn, Ravinder (2020) Value-sensitive co-design for resilient information systems. Studies in Logic, Grammar and Rhetoric . ISSN 0860-150X (Accepted/In press)

2019

Allo, Patrick and Primiero, Giuseppe (2019) Annotated natural deduction for adaptive reasoning. In: Graham Priest on Dialetheism and Paraconsistency. Baskent, Can and Ferguson, Thomas, eds. Outstanding Contributions in Logic, 18 . Springer, pp. 409-437. ISBN 9783030253646, e-ISBN 9783030253653. (doi:10.1007/978-3-030-25365-3_19)

Baskent, Can ORCID: https://orcid.org/0000-0001-6229-8699 and McCusker, Guy (2019) A history based logic for dynamic preference updates. Journal of Logic, Language and Information . ISSN 0925-8531 (Published online first) (doi:10.1007/s10849-019-09307-1)

Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei and Traytel, Dmitriy (2019) Bindings as bounded natural functors. Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL. In: 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019), 13-19 Jan 2019, Hotel Cascais Miragem, Cascais, Portugal. . (doi:10.1145/3290335)

Gkorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Peter, O'Hearn and Ilya, Sergey (2019) A true positives theorem for a static race detector. Proceedings of the ACM on Programming Languages, Volume 3 Issue POPL. In: POPL 2019, 12-19 Jan 2019, Cascais, Portugal. . ISSN 2475-1421 (doi:10.1145/3290370)

Perkov, Tin (2019) Tableau-based translation from first-order logic to modal logic. Technical Report. Cerrito, Serenella and Popescu, Andrei, eds. Middlesex University London, London, UK. . (Published online first)

2018

Angius, Nicola and Primiero, Giuseppe (2018) The logic of identity and copy for computational artefacts. Journal of Logic and Computation, 28 (6) . pp. 1293-1322. ISSN 0955-792X (doi:10.1093/logcom/exy012)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2018) Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic (TOCL), 19 (4) , 28. pp. 1-32. ISSN 1529-3785 (doi:10.1145/3231597)

Baskent, Can ORCID: https://orcid.org/0000-0001-6229-8699 (2018) A Yabloesque paradox in epistemic game theory. Synthese, 195 (1) . pp. 441-464. ISSN 0039-7857 (doi:10.1007/s11229-016-1231-9)

Baskent, Can ORCID: https://orcid.org/0000-0001-6229-8699 and Carrasqueira, Pedro Henrique (2018) A game theoretical semantics for a logic of formal inconsistency. Logic Journal of the IGPL . ISSN 1367-0751 (Published online first) (doi:10.1093/jigpal/jzy068)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4) . pp. 113-119. ISSN 0168-7433 (doi:10.1007/s10817-017-9443-3)

Blackshear, Sam, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, O'Hearn, Peter and Sergey, Ilya (2018) RacerD: compositional static race detection. Proceedings of the ACM on Programming Languages, 2 (OOPSLA) , 144. 144:1-144:28. ISSN 2475-1421 (doi:10.1145/3276514)

Bonnet, Edouard and Giannopoulos, Panos (2018) Orthogonal terrain guarding is NP-complete. 34th International Symposium on Computational Geometry (SoCG 2018). In: 34th International Symposium on Computational Geometry (SoCG 2018), 11-14 Jun 2018, Budapest, Hungary. ISBN 9783959770668. ISSN 1868-8969 (doi:10.4230/LIPIcs.SoCG.2018.11)

Bonnet, Edouard, Giannopoulos, Panos, Kim, Eun Jung, Rzążewski, Paweł and Sikora, Florian (2018) QPTAS and subexponential algorithm for maximum clique on disk graphs. 34th International Symposium on Computational Geometry. In: 34th International Symposium on Computational Geometry, 11-14 Jun 2018, Budapest, Hungary. ISBN 9783959770668. ISSN 1868-8969 (doi:10.4230/LIPIcs.SoCG.2018.12)

Bonnet, Edouard, Giannopoulos, Panos and Lampis, Michael (2018) On the parameterized complexity of red-blue points separation. Proceedings of the 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). In: 12th International Symposium on Parameterized and Exact Computation (IPEC 2017), 06-08 Sep 2017, Vienna, Austria. ISBN 9783959770514. ISSN 1868-8969 (doi:10.4230/LIPIcs.IPEC.2017.8)

Martorana, Agostino, Primiero, Giuseppe and Tagliabue, Jacopo (2018) Simulation of a trust and reputation based mitigation protocol for a black hole style attack on VANETs. 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: 2018 IEEE European Symposium on Security and Privacy Workshops - S4CIP’18: 3rd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 27 Apr 2018, London, United Kingdom. ISBN 9781538654453. (doi:10.1109/EuroSPW.2018.00025)

Pandey, Hari Mohan, Chaudhary, Ankit and Mehrotra, Deepti (2018) Bit mask-oriented genetic algorithm for grammatical inference and premature convergence. International Journal of Bio-Inspired Computation, 12 (1) . pp. 54-69. ISSN 1758-0366 (doi:10.1504/IJBIC.2018.10014202)

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516, Mengoni, Riccardo and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2018) Quantum error-correcting output codes. International Journal of Quantum Information, 16 (8) . p. 1840003. ISSN 1793-6918 (doi:10.1142/s0219749918400038)

2017

Alt, Helmut, Cabello, Sergio, Giannopoulos, Panos and Knauer, Christian (2017) Minimum cell connection in line segment arrangements. International Journal of Computational Geometry and Applications, 27 (3) . pp. 159-176. ISSN 1793-6357 (doi:10.1142/s0218195917500017)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 2017 IEEE Symposium on Security and Privacy (SP). In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA. ISBN 9781509055333. ISSN 2375-1207 (doi:10.1109/SP.2017.24)

Blanchette, Jasmin, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2017) Encoding monomorphic and polymorphic types. Logical Methods in Computer Science, 12 (4) . ISSN 1860-5974 (doi:10.2168/LMCS-12(4:13)2016)

Blanchette, Jasmin Christian, Bouzy, Aymeric, Lochbihler, Andreas, Popescu, Andrei and Traytel, Dmitriy (2017) Friends with benefits: implementing corecursion in foundational proof assistants. Programming Languages and Systems. ESOP 2017. Lecture Notes in Computer Science, vol 10201. In: 26th European Symposium on Programming, ESOP 2017, 22-29 Apr 2017, Uppsala, Sweden. ISBN 9783662544334. ISSN 0302-9743 (doi:10.1007/978-3-662-54434-1_5)

Blanchette, Jasmin Christian, Meier, Fabian, Popescu, Andrei and Traytel, Dmitriy (2017) Foundational nonuniform (co)datatypes for higher-order logic. Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 20-23 Jun 2017, Reykjavik, Iceland. ISBN 978-1-5090-3018-7. (doi:10.1109/LICS.2017.8005071)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2017) Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning, 58 (1) . pp. 149-179. ISSN 0168-7433 (doi:10.1007/s10817-016-9391-3)

Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Kanovich, Max (2017) Biabduction (and related problems) in array separation logic. Automated Deduction – CADE 26. In: International Conference on Automated Deduction, 8-11 August 2017, Gothenburg. ISBN 978-3-319-63046-5. ISSN 0302-9743 (doi:10.1007/978-3-319-63046-5_29)

Chen, Taolue, Song, Fu and Wu, Zhilin (2017) Formal reasoning on infinite data values: an ongoing quest. Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures. In: SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures, 28 Mar - 02 Apr 2016, Chongqing, China. ISBN 9783319568409. ISSN 0302-9743 (doi:10.1007/978-3-319-56841-6_6)

Gheri, Lorenzo and Popescu, Andrei (2017) A formalized general theory of syntax with bindings. Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil September 26-29, 2017, Proceedings. In: 8th International Conference Interactive Theorem Proving (ITP), 26-29 Sept 2017, Brasília, Brazil. ISBN 9783319661063. ISSN 0302-9743 (doi:10.1007/978-3-319-66107-0_16)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia. ISBN 9780999241103. (doi:10.24963/ijcai.2017/30)

Martin, Barnaby, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Martin, Jos (2017) The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics, 225 . pp. 136-142. ISSN 0166-218X (doi:10.1016/j.dam.2017.03.013)

Primiero, Giuseppe (2017) Algorithmic iteration for computational intelligence. Minds and Machines, 27 (3) . pp. 521-543. ISSN 0924-6495 (doi:10.1007/s11023-017-9423-8)

Primiero, Giuseppe and Boender, Jaap (2017) Managing software uninstall with negative trust. Trust Management XI: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, Gothenburg, Sweden, June 12-16, 2017, Proceedings. In: 11th IFIP WG 11.11 International Conference, IFIPTM 2017, 12-16 Jun 2017, Gothenburg, Sweden. ISBN 9783319591704. ISSN 1868-4238 (doi:10.1007/978-3-319-59171-1_7)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Bottone, Michele and Tagliabue, Jacopo (2017) Trust and distrust in contradictory information transmission. Applied Network Science, 2 (1) . ISSN 2364-8228 (doi:10.1007/s41109-017-0029-0)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) A proof-theoretic trust and reputation model for VANET. 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. ISBN 9781538622445. (doi:10.1109/EuroSPW.2017.64)

Su, Guoxin, Chen, Taolue, Feng, Yuan and Rosenblum, David S. (2017) ProEva: runtime proactive performance evaluation based on continuous-time markov chains. ICSE '17 Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 (doi:10.1109/ICSE.2017.51)

Tirunagari, Santosh, Poh, Norman, Wells, Kevin, Bober, Miroslaw, Gorden, Isky and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (2017) Movement correction in DCE-MRI through windowed and reconstruction dynamic mode decomposition. Machine Vision and Applications, 28 (3-4) . pp. 393-407. ISSN 0932-8092 (doi:10.1007/s00138-017-0835-5)

Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) Quantum Bootstrap Aggregation. Quantum Interaction: 10th International Conference, QI 2016, San Francisco, CA, USA, July 20-22, 2016, Revised Selected Papers. In: Quantum Interaction, 20-22 Jul 2016, San Francisco, CA, USA. ISBN 9783319-522883. ISSN 0302-9743 (doi:10.1007/978-3-319-52289-0_9)

Yu, Lin ORCID: https://orcid.org/0000-0003-0038-9266, Norton, Sam, Almarzooqi, Sarah and McCracken, Lance M. (2017) Preliminary investigation of self-as-context in people with fibromyalgia. British Journal of Pain, 11 (3) . pp. 134-143. ISSN 2049-4637 (doi:10.1177/2049463717708962)

Zhou, Yu, Gu, Ruihang, Chen, Taolue, Huang, Zhiqiu, Panichella, Sebastiano and Gall, Harald C. (2017) Analyzing APIs documentation and code to detect directive defects. ICSE '17: Proceedings of the 39th International Conference on Software Engineering. In: 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 20-28 May 2017, Buenos Aires, Argentina. ISBN 9781538638682. ISSN 1558-1225 (doi:10.1109/ICSE.2017.11)

Zhou, Yu, Tong, Yanxiang, Chen, Taolue and Han, Jin (2017) Augmenting bug localization with part-of-speech and invocation. International Journal of Software Engineering and Knowledge Engineering, 27 (06) . pp. 925-949. ISSN 0128-1940 (doi:10.1142/s0218194017500346)

2016

Baskent, Can ORCID: https://orcid.org/0000-0001-6229-8699 (2016) Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics, 26 (3) . pp. 208-239. ISSN 1166-3081 (doi:10.1080/11663081.2016.1225488)

Baskent, Can ORCID: https://orcid.org/0000-0001-6229-8699 (2016) Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, Jean-Yves, Chakraborty, Mihir and Dutta, Soma, eds. New directions in paraconsistent logic,Part IV. Springer Proceedings in Mathematics & Statistics (PROMS, volume 152). In: 5th World Congress on Paraconsistency (WCP 2014), 13-17 Feb 2014, Kolkata, India. ISBN 9788132227175, pbk-ISBN 9788132238232, e-ISBN 9788132227199. (doi:10.1007/978-81-322-2719-9_19)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_6)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Alglave, Jade and Parkinson, Matthew (2016) New lace and arsenic: adventures in weak memory with a program logic (v2). Arxiv . (Published online first)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and De Florio, Vincenzo (2016) A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). In: 2016 12th International Conference on Intelligent Environments (IE), 14-16 Sept 2016, London, United Kingdom. ISBN 9781509040568. ISSN 2472-7571 (doi:10.1109/IE.2016.37)

Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and Rowe, Reuben (2016) Model checking for symbolic-heap separation logic with inductive predicates. Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL 2016. In: POPL 2016: 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 20-22 Jan 2016, St. Petersburg, FL, USA. ISBN 978-1-4503-3549-2. ISSN 1523-2867 (doi:10.1145/2837614.2837621)

Cabello, Sergio and Giannopoulos, Panos (2016) The complexity of separating points in the plane. Algorithmica, 74 (2) . pp. 643-663. ISSN 0178-4617 (doi:10.1007/s00453-014-9965-6)

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 (doi:10.1007/s11225-015-9621-4)

Chen, Taolue, Song, Fu and Wu, Zhilin (2016) Verifying pushdown multi-agent systems against strategy logics. Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). In: IJCAI 2016: 25th International Joint Conferences on Artificial Intelligence (IJCAI), 09-15 Jul 2016, New York, New York, USA. ISBN 9781577357704 (volumes 1-3), 9781577357711 (volumes 4-6).

Gu, Xincai, Chen, Taolue and Wu, Zhilin (2016) A complete decision procedure for linearly compositional separation logic with data constraints. Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings. In: IJCAR 2016: 8th International Joint Conference on Automated Reasoning, 27 Jun - 02 Jul 2016, University of Coimbra, Portugal. ISBN 9783319402284. ISSN 0302-9743 (doi:10.1007/978-3-319-40229-1_36)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2016) Isabelle Modelchecking for insider threats. Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. In: 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016, 26-27 Sept 2016, Heraklion, Crete, Greece. ISBN 9783319470719. ISSN 0302-9743 (doi:10.1007/978-3-319-47072-6_13)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2016) Refactoring preserves security. Data Privacy Management and Security Assurance: 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings. In: 11th DPM International Workshop on Data Privacy Management (DPM 2016) co-located with ESORICS 2016, 26-27 Sept 2016, Heraklion, Crete, Greece. ISBN 9783319470719. ISSN 0302-9743 (doi:10.1007/978-3-319-47072-6_17)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Kerber, Manfred and Probst, Christian (2016) Towards formal analysis of insider threats for auctions. Proceedings of the 8th ACM CCS International Workshop on Managing Insider Security Threats (MIST '16). In: ACM-CCS Workshop on Management of Security of Insider Threats, 28 Oct 2016, Vienna, Austria. ISBN 9781450345712. (doi:10.1145/2995959.2995963)

Kunčar, Ondřej and Popescu, Andrei (2016) From types to sets by local type definitions in higher-order logic. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_13)

Primiero, Giuseppe (2016) A calculus for distrust and mistrust. Trust Management X: 10th IFIP WG 11.11 International Conference, IFIPTM 2016, Darmstadt, Germany, July 18-22, 2016, Proceedings. In: Tenth IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2016, 18-22 Jul 2016, Darmstadt, Germany. ISBN 9783319413532. ISSN 1868-4238 (doi:10.1007/978-3-319-41354-9_15)

Primiero, Giuseppe, Bottone, Michele, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Tagliabue, Jacopo (2016) Contradictory information flow in networks with trust and distrust. Complex Networks & Their Applications V: Proceedings of the 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). In: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), 01-06 Dec 2016, Milan. ISBN 9783319509006. ISSN 1860-949X (doi:10.1007/978-3-319-50901-3_29)

Primiero, Giuseppe (2016) Information in the philosophy of computer science. In: The Routledge Handbook of Philosophy of Information. Floridi, Luciano, ed. Routledge, pp. 90-106. ISBN 9781138796935.

Primiero, Giuseppe and Laszlo, Kosolosky (2016) The semantics of untrustworthiness. Topoi, 35 (1) . ISSN 0167-7411 (doi:10.1007/s11245-013-9227-2)

Su, Guoxin, Chen, Taolue, Feng, Yuan, Rosenblum, David S. and Thiagarajan, P. S. (2016) An iterative decision-making scheme for Markov decision processes and its application to self-adaptive systems. Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. In: 19th International Conference Fundamental Approaches to Software Engineering (FASE 2016), 02-08 Apr 2016, Eindhoven, The Netherlands. ISBN 9783662496640. ISSN 0302-9743 (doi:10.1007/978-3-662-49665-7_16)

Su, Guoxin, Feng, Yuan, Chen, Taolue and Rosenblum, David S. (2016) Asymptotic perturbation bounds for probabilistic model checking with empirically determined probability parameters. IEEE Transactions on Software Engineering, 42 (7) . pp. 623-639. ISSN 0098-5589 (Published online first) (doi:10.1109/TSE.2015.2508444)

2015

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) On the role of value sensitive concerns in software engineering practice. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. In: 37th International Conference on Software Engineering, ICSE 2015, 16-24 May 2015, Florence, Italy. ISBN 9781479919345. ISSN 0270-5257 (doi:10.1109/ICSE.2015.182)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Primiero, Giuseppe and Barn, Ravinder (2015) An approach to early evaluation of informational privacy requirements. SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied Computing. In: 30th ACM Symposium on Applied Computing 2015, 13-17 Apr 2015, Salamanca, Spain. ISBN 9781450331968. (doi:10.1145/2695664.2695788)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2015) Foundational extensible corecursion: a proof assistant perspective. Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming - ICFP 2015. In: 20th ACM SIGPLAN International Conference on Functional Programming (ICFP), 31 Aug - 02 Sept 2015, Vancouver, Canada. ISBN 9781450336697. (doi:10.1145/2784731.2784732)

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2015) Witnessing (co)datatypes. Programming languages and systems : 24th European Symposium on Programming, ESOP 2015, held as art of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. In: 24th European Symposium on Programming (ESOP 2015), 11-18 Apr 2015, London, UK. ISBN 9783662466681. ISSN 0302-9743

Bodirsky, Manuel, Martin, Barnaby and Mottet, Antoine (2015) Constraint satisfaction problems over the integers with successor. Automata, Languages, and Programming: 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I. In: 42nd International Colloquium Automata, Languages, and Programming (ICALP 2015), 1-10 Jul 2015, Kyoto, Japan. ISBN 9783662476710. ISSN 0302-9743

Boender, Jaap, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2015) Formalization of quantum protocols using Coq. EPTCS 195: Proceedings 12th International Workshop on Quantum Physics and Logic. In: The 12th International Workshop on Quantum Physics and Logic (QPL 2015), 15-17 Jul 2015, Oxford, United Kingdom. . ISSN 2075-2180

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Minimizing transitive trust threats in software management systems. 2015 13th Annual Conference on Privacy, Security and Trust (PST). In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey. ISBN 9781467378284. (doi:10.1109/PST.2015.7232973)

Bordoni, Mirco, Bottone, Michele, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Margolis, Michael, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy. ISBN 9781467370882. (doi:10.1109/SEsCPS.2015.18)

Brotherston, James and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2015) Disproving inductive entailments in separation logic via base pair approximation. Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings. In: TABLEAUX 2015: 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 21-24 Sep 2015, Wroclaw, Poland. ISBN 9783319243115. ISSN 0302-9743 (doi:10.1007/978-3-319-24312-2_20)

Carvalho, Catarina, Madelaine, Florent R. and Martin, Barnaby (2015) From complexity to algebra and back: digraph classes, collapsibility and the PGP. 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). In: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 6-10 Jul 2015, Kyoto, Japan. . ISSN 1043-6871

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob J. (2015) On the axiomatizability of impossible futures. Logical Methods in Computer Science, 11 (3) . pp. 1-30. ISSN 1860-5974 (doi:10.2168/LMCS-11(3:17)2015)

Chen, Taolue, Song, Fu and Wu, Zhilin (2015) On the satisfiability of indexed linear temporal logics. 26th International Conference on Concurrency Theory, {CONCUR} 2015, Madrid, Spain, September 1.4, 2015. In: 26th International Conference on Concurrency Theory, CONCUR 2015, 1-4 Sept 2015, Madrid, Spain. ISBN 9783939897910. ISSN 1868-8969 (doi:10.4230/LIPIcs.CONCUR.2015.254)

De Florio, Vincenzo and Primiero, Giuseppe (2015) A framework for trustworthiness assessment based on fidelity in cyber and physical domains. Procedia Computer Science, Volume 52. In: 2nd International Workshop on Computational Antifragility and Antifragile Engineering (ANTIFRAGILE 2015), 2-5 Jun 2015, London, UK. . ISSN 1877-0509 (doi:10.1016/j.procs.2015.05.092)

De Mol, Liesbeth and Primiero, Giuseppe (2015) When logic meets engineering: introduction to logical issues in the history and philosophy of computer science. History and Philosophy of Logic, 36 (3) . pp. 195-204. ISSN 0144-5340 (doi:10.1080/01445340.2015.1084183)

Floridi, Luciano, Fresco, Nir and Primiero, Giuseppe (2015) On malfunctioning software. Synthese, 192 (4) . pp. 1199-1220. ISSN 1573-0964 (doi:10.1007/s11229-014-0610-3)

Gu, Jiayi, Zhou, Yu, Wu, Weigang and Chen, Taolue (2015) Analyzing eventual leader election protocols for dynamic systems by probabilistic model checking. Cloud Computing and Security: First International Conference, ICCCS 2015, Nanjing, China, August 13-15, 2015. Revised Selected Papers. In: First International Conference on Cloud Computing and Security (ICCCS 2015), 13-15 Aug 2015, Nanjing, China. ISBN 9783319270500. ISSN 0302-9743 (doi:10.1007/978-3-319-27051-7_17)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2015) Confinement for active objects. International Journal of Advanced Computer Science and Applications, 6 (2) . pp. 246-261. ISSN 2158-107X (doi:10.14569/IJACSA.2015.060236)

Kunčar, Ondřej and Popescu, Andrei (2015) A consistent foundation for Isabelle/HOL. Interactive Theorem Proving. ITP 2015. In: 6th conference on Interactive Theorem Proving (ITP), 24-27 Aug 2015, Nanjing, China. ISBN 9783319221014. ISSN 0302-9743 (doi:10.1007/978-3-319-22102-1_16)

Popescu, Andrei and Roşu, Grigore (2015) Term-generic logic. Theoretical Computer Science, 577 . pp. 1-24. ISSN 0304-3975 (doi:10.1016/j.tcs.2015.01.047)

Tong, Yanxiang, Zhou, Yu, Fang, Lisheng and Chen, Taolue (2015) Towards a novel approach for defect localization based on part-of-speech and invocation. Internetware '15: Proceedings of the 7th Asia-Pacific Symposium on Internetware. In: Internetware 2015: 7th Asia-Pacific Symposium on Internetware, 06 Nov 2016, Wuhan, China. ISBN 978-1-4503-3641-3. (doi:10.1145/2875913.2875919)

2014

Amadio, Roberto M., Ayache, Nicolas, Bobot, Francois, Boender, Jaap, Campbell, Brian, Garnier, Ilias, Madet, Antoine, McKinna, James, Mulligan, Dominic P., Piccolo, Mauro, Pollack, Randy, Régis-Gianas, Yann, Sacerdoti Coen, Claudio, Stark, Ian and Tranquilli, Paolo (2014) Certified Complexity (CerCo). Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers. In: Third International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA 2013), 29-31 Aug 2013, Bertinoro, Italy. ISBN 9783319124650. ISSN 0302-9743 (doi:10.1007/978-3-319-12466-7_1)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Varsani, Puja, Weldin, N. and Zivanovic, Aleksandar ORCID: https://orcid.org/0000-0003-3354-754X (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France. .

Antonopoulos, Timos, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Haase, Christoph, Kanovich, Max and Ouaknine, Joël (2014) Foundations for decision problems in separation logic with general inductive predicates. Foundations of Software Science and Computation Structures: 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. In: 17th International Conference on the Foundations of Software Science and Computation Structures, FOSSACS 2014, 5-13 Apr 2014, Grenoble, France. ISBN 9783642548291. ISSN 0302-9743 (doi:10.1007/978-3-642-54830-7_27)

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2014) Verification of concurrent quantum protocols by equivalence checking. Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. In: TACAS 2014: 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,, 5-13 Apr 2014, Grenoble, France. ISBN 9783642548611, e-ISBN 9783642548628. ISSN 0302-9743 (doi:10.1007/978-3-642-54862-8_42)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Primiero, Giuseppe (2014) The role of resilience and value for effective co-design of information systems. In: Proceedings of the Conference of the International Association for Computing and Philosophy (IACAP 14). Springer Synthese Library. . (Accepted/In press)

Blanchette, Jasmin Christian, Hölzl, Johannes, Lochbihler, Andreas, Panny, Lorenz, Popescu, Andrei and Traytel, Dmitriy (2014) Truly modular (co)datatypes for Isabelle/HOL. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. In: 5th International Conference on Interactive Theorem Proving (ITP), 14-17 Jul 2014, Vienna, Austria. ISBN 9783319089690. ISSN 0302-9743

Blanchette, Jasmin Christian, Popescu, Andrei and Taytel, Dmitriy (2014) Cardinals in Isabelle/HOL. Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. In: 5th International Conference on Interactive Theorem Proving, 14-17 Jul 2014, Vienna, Austria. ISBN 9783319089690. ISSN 0302-9743

Blanchette, Jasmin Christian, Popescu, Andrei and Traytel, Dmitriy (2014) Unified classical logic completeness: a coinductive pearl. Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. In: 7th International Joint Conference on Automated Reasoning (IJCAR), 19-22 Jul 2014, Vienna, Austria. ISBN 9783319085869. ISSN 0302-9743

Boender, Jaap and Fernandes, Sara (2014) Small world characteristics of FLOSS distributions. In: Software Engineering and Formal Methods : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Counsell, Steve and Núñez, Manuel, eds. Lecture Notes in Computer Science . Springer International Publishing, pp. 417-429. ISBN 9783319050317.

Boender, Jaap, Ivanova, Marieta Georgieva, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Primiero, Giuseppe (2014) Modeling human behaviour with higher order logic: insider threats. 2014 Workshop on Socio-Technical Aspects in Security and Trust (STAST). In: 4th Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014), 18 Jul 2014, Vienna, Austria. ISBN 9781479979011. (doi:10.1109/STAST.2014.13)

Boender, Jaap and Sacerdoti Coen, Claudio (2014) On the correctness of a branch displacement algorithm. In: Tools and Algorithms for the Construction and Analysis of Systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings. Ábrahám, Erika and Havelund, Klaus, eds. Lecture Notes in Computer Science (8413) . Springer, pp. 605-619. ISBN 9783642548611. (doi:10.1007/978-3-642-54862-8_53)

Brotherston, James, Fuhs, Carsten, Pérez, Juan A. Navarro and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2014) A decision procedure for satisfiability in separation logic with inductive predicates. Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS '14. In: Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - CSL-LICS 2014, 14-18 Jul 2014, Vienna, Austria. ISBN 9781450328869. (doi:10.1145/2603088.2603091)

Brotherston, James and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2014) Cyclic abduction of inductively defined safety and termination preconditions. Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings. In: 21st International Static Analysis Symposium, SAS 2014, 11-13 Sept 2014, Munich, Germany. ISBN 9783319109350. ISSN 0302-9743 (doi:10.1007/978-3-319-10936-7_5)

Chen, Taolue, Diciolla, Marco, Kwiatkowska, Marta Z. and Mereacre, Alexandru (2014) Quantitative verification of implantable cardiac pacemakers over hybrid heart models. Information and Computation, 236 . pp. 87-101. ISSN 0890-5401 (doi:10.1016/j.ic.2014.01.014)

Chen, Taolue and Han, Tingting (2014) On the complexity of computing maximum entropy for Markovian models. 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014). In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, 15-17 Dec 2014, New Delhi, India. ISBN 9783939897774. ISSN 1868-8969

Dapić, Petar, Marković, Petar and Martin, Barnaby (2014) QCSP on semicomplete digraphs. Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I. In: 41st International Colloquium on Automata, Languages and Programming, ICALP 2014, 8-11 Jul 2014, Copenhagen, Denmark. ISBN 9783662439470. ISSN 0302-9743

De Mol, Liesbeth and Primiero, Giuseppe (2014) Facing computing as technique: towards a history and philosophy of computing. Philosophy & Technology, 27 (3) . pp. 321-326. ISSN 2210-5433 (doi:10.1007/s13347-014-0169-4)

Giannopoulos, Panos, Konzack, Maximilian and Mulzer, Wolfgang (2014) Low-crossing spanning trees: an alternative proof and experiments. In: European Workshop on Computational Geometry, 03-05 Mar 2014, Ein-Gedi, Israel. .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Probst, Christian (2014) Invalidating policies using structural information. Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 5 (2) . pp. 59-79. ISSN 2093-5374 (doi:10.22667/JOWUA.2014.06.31.059)

Martin, Barnaby and Stacho, Juraj (2014) Constraint satisfaction with counting quantifiers 2. Computer Science - Theory and Applications: 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings. In: 9th International Computer Science Symposium in Russia, CSR 2014, 7-11 Jun 2014, Moscow, Russia. ISBN 9783319066851. ISSN 0302-9743

Nipkow, Tobias and Popescu, Andrei (2014) Making security type systems less ad hoc. Information Technology, 56 (6) . pp. 267-272. ISSN 1611-2776 (doi:10.1515/itit-2014-1060)

Pouliasis, Konstantinos and Primiero, Giuseppe (2014) J-Calc: a typed lambda calculus for intuitionistic justification logic. Electronic Notes in Theoretical Computer Science, 300 . pp. 71-87. ISSN 1571-0661 (doi:10.1016/j.entcs.2013.12.012)

Primiero, Giuseppe (2014) On the ontology of the computing process and the epistemology of the computed. Philosophy & Technology, 27 (3) . pp. 485-489. ISSN 2210-5433 (doi:10.1007/s13347-014-0174-7)

Primiero, Giuseppe (2014) A taxonomy of errors for information systems. Minds and Machines, 24 (3) . pp. 249-273. ISSN 0924-6495 (doi:10.1007/s11023-013-9307-5)

Primiero, Giuseppe (2014) Algorithmic check of standards for information quality dimensions. In: The philosophy of information quality. Floridi, Luciano and Illari, Phyllis, eds. Synthese Library (358) . Springer, pp. 107-134. ISBN 9783319071206. (doi:10.1007/978-3-319-07121-3_7)

Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual International Conference on Privacy, Security and Trust (PST). In: 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST), 23-24 Jul 2014, Toronto, Canada. ISBN 9781479935024. (doi:10.1109/PST.2014.6890963)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), May 5-9, 2014, Paris, France. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 5-9 May 2014, Paris, France. ISBN 9781450327381.

Raheem, Ali, Lasebae, Aboubaker ORCID: https://orcid.org/0000-0003-2312-9694 and Loo, Jonathan (2014) A secure authentication protocol for IP-based wireless sensor communications using the location/ID split protocol (LISP). 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom). In: 2014 IEEE 13th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 24-26 Sept. 2014, Beijing, China. ISBN 9781479965137. ISSN 2324-898X (doi:10.1109/TrustCom.2014.135)

2013

Ardeshir-Larijani, Ebrahim, Gay, Simon J. and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2013) Equivalence checking of quantum protocols. In: Tools and Algorithms for the Construction and Analysis of Systems : 19th International Conference Proceedings (TACAS 2013). Piterman, Nir and Smolka, Scott A., eds. Lecture Notes in Computer Science (7795) . Springer, Berlin, pp. 478-492. ISBN 9783642367410. (doi:10.1007/978-3-642-36742-7_33)

Blanchette, Jasmin Christian, Böhme, Sascha, Popescu, Andrei and Smallbone, Nicholas (2013) Encoding monomorphic and polymorphic types. Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. In: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 16-24 Mar 2013, Rome. ISBN 9783642367410. ISSN 0302-9743

Blanchette, Jasmin Christian and Popescu, Andrei (2013) Mechanizing the metatheory of sledgehammer. Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. In: 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), 18-20 Sept 2013, Nancy, France. ISBN 9783642408847. ISSN 0302-9743

Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, Parker, David and Simaitis, Aistis (2013) Automatic verification of competitive stochastic systems. Formal Methods in System Design, 43 (1) . pp. 61-92. ISSN 0925-9856 (doi:10.1007/s10703-013-0183-7)

Dantchev, Stefan and Martin, Barnaby (2013) Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. Computational Complexity, 22 (1) . pp. 191-213. ISSN 1016-3328 (doi:10.1007/s00037-012-0049-1)

Ivanova, Marieta Georgieva, Probst, Christian, Hansen, R. R. and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2013) Externalizing behaviour for analysing system models. In: 5th International Workshop on Managing Insider Security Threats, MIST, 2013.. .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2013) A semi-lattice model for multi-lateral security. In: Data privacy management and autonomous spontaneous security. Lecture Notes in Computer Science (7731) . Springer, Berlin, Germany, pp. 118-132. ISBN 9783642358890. (doi:10.1007/978-3-642-35890-6_9)

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Formal verification of language-based concurrent noninterference. Journal of Formalized Reasoning, 6 (1) . pp. 1-30. ISSN 1972-5787 (doi:10.6092/issn.1972-5787/3690)

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Formalizing probabilistic noninterference. Certified Programs and Proofs: Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. In: 3rd International Conference on Certified Programs and Proofs (CPP 2013), 11-13 Dec 2013, Melbourne, VIC, Australia. ISBN 9783319035444. ISSN 0302-9743

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2013) Noninterfering schedulers: when possibilistic noninterference implies probabilistic noninterference. Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings. In: 5th Conference on Algebra and Coalgebra in Computer Science (CALCO), 3-6 Sep 2013, Warsaw, Poland. ISBN 9783642402050. ISSN 0302-9743

Schropp, Andreas and Popescu, Andrei (2013) Nonfree datatypes in Isabelle/HOL: animating a many-sorted metatheory. Certified Programs and Proofs: third international conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceeding. In: Certified Programs and Proofs (CPP), 11-13 Dec 2013, Melbourne, Australia. ISBN 9783319035444. ISSN 0302-9743 (doi:10.1007/978-3-319-03545-1_8)

2012

Blanchette, Jasmin Christian, Popescu, Andrei, Wand, Daniel and Weidenbach, Cristoph (2012) More SPASS with Isabelle: superposition with hard sorts and configurable simplification. Interactive Theorem Proving: third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. In: Interactive Theorem Proving (ITP), Third International Conference, 13-15 Aug 2012, Princeton, New Jersey, US. ISBN 9783642323461. ISSN 0302-9743

Bodirsky, Manuel, Kara, Jan and Martin, Barnaby (2012) The complexity of surjective homomorphism problems - a survey. Discrete Applied Mathematics, 160 (12) . pp. 1680-1690. ISSN 0166-218X

Brotherston, James, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Petersen, Rasmus L. (2012) A generic cyclic theorem prover. Programming Languages and Systems. In: APLAS 2012. . ISSN 0302-9743 (doi:10.1007/978-3-642-35182-2_25)

Cipolla Ficarra, F. V., Veltman, K., Verber, D., Cipolla-Ficarra, M. and Kammueller, Florian, eds. (2012) Advances in new technologies, interactive interfaces and communicability. Lecture Notes in Computer Science, 7547 . Springer-Verlag. ISBN 9783642340109.

Davidson, Tim, Gay, Simon J., Mlnařík, Hynek, Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos K. (2012) Model checking for communicating quantum processes. International Journal of Unconventional Computing, 8 (1) . pp. 73-98. ISSN 1548-7199

Golovach, Petr A., Lidický, Bernard, Martin, Barnaby and Paulusma, Daniël (2012) Finding vertex-surjective graph homomorphisms. Computer Science -- Theory and Applications. In: 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia. ISBN 9783642306419. ISSN 0302-9743 (doi:10.1007/978-3-642-30642-6_16)

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Lutz, Bianca (2012) ASPfun: a typed functional active object calculus. Science of Computer Programming, 77 (7-8) . pp. 823-847. ISSN 0167-6423 (doi:10.1016/j.scico.2010.12.008)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2012) Review for the American Mathematical Society (AMS): A. Francalanza et al. Permission-based separation logic for message-passing concurrency. Logical methods in computer science, 7: 1-47, 2011. Mathematical Reviews (283123) . ISSN 21675163

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2012) Reviews for the American Mathematical Society (AMS): Russell O’Connor. Classical mathematics for a constructive world. MSCS (21): 861–882, Cambridge University Press. 2010. Mathematical Reviews (281788) .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2012) A security model for functional active objects. In: Communicability, computer graphics and innovative design for interactive systems. Francisco, Cipolla-Ficarra, Kim, Veltman, Miguel, Cipolla-Ficarra and Andreas, Kratky, eds. Lecture Notes in Computer Science (7545) . Springer, Berlin, pp. 42-50. ISBN 9783642337598. (doi:10.1007/978-3-642-33760-4_4)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Mapp, Glenford E. ORCID: https://orcid.org/0000-0002-0539-5852, Patel, Sandip and Sani, Abubaker Sadiq (2012) Engineering security protocols with modelchecking – Radius-SHA256 and secured simple protocol. In: International Conference on Internet Monitoring and Protection (ICIMP 2012), 27 May - 01 Jun 2012, Stuttgart, Germany. .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Probst, Christian and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2012) Application of verification techniques to security: model checking insider attacks. In: 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability, 28-29 Mar 2012, Venice, Italy. .

Madelaine, Florent and Martin, Barnaby (2012) The complexity of positive first-order logic without equality. ACM Transactions on Computational Logic (TOCL), 13 (1) . ISSN 1529-3785 (doi:10.1145/2071368.2071373)

Madelaine, Florent, Martin, Barnaby and Stacho, Juraj (2012) Constraint satisfaction with counting quantifiers. Computer Science - Theory and Applications. In: The 7th International Computer Science Symposium (CSR 2012), 3-7 Jul 2012, Nizhny Novgorod, Russia. ISBN 9783642306419. ISSN 0302-9743 (doi:10.1007/978-3-642-30642-6_24)

Popescu, Andrei, Hölzl, Johannes and Nipkow, Tobias (2012) Proving concurrent noninterference. Certified Programs and Proofs: second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012. Proceedings. In: 2nd International Conference on Certified Programs and Proofs (CPP 2012), 13-15 Dec 2012, Kyoto, Japan. ISBN 9783642353079. ISSN 0302-9743

Primiero, Giuseppe and Taddeo, Mariarosaria (2012) A modal type theory for formalizing trusted communications. Journal of Applied Logic, 10 (1) . pp. 92-114. ISSN 1570-8683 (doi:10.1016/j.jal.2011.12.002)

Traytel, Dmitriy, Popescu, Andrei and Blanchette, Jasmin (2012) Foundational, compositional (co)datatypes for higher-order logic: category theory applied to theorem proving. 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS). In: 27th Annual IEEE Symposium on Logic in Computer Science (LICS), 25-28 June 2012, Dubrovnik, Croatia. ISBN 9781467322638. ISSN 1043-6871 (doi:10.1109/LICS.2012.75)

2011

Aceto, Luca, Chen, Taolue, Ingolfsdottir, Anna, Luttik, Bas and Van de Pol, Jaco (2011) On the axiomatizability of priority II. Theoretical Computer Science, 412 (28) . pp. 3035-3044. ISSN 0304-3975 (doi:10.1016/j.tcs.2011.02.033)

Boender, Jaap (2011) Efficient computation of dominance in component systems (short paper). In: Software engineering and formal methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Lecture Notes in Computer Science (7041) . Springer, Berlin and Heidelberg, Germany, pp. 399-406. ISBN 9783642246890. (doi:10.1007/978-3-642-24690-6_27)

Boender, Jaap (2011) Formal verification of a theory of packages. ECEASST, 48 .

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2011) Explanation of two non-blocking shared-variable communication algorithms. Formal Aspects of Computing . ISSN 0934-5043 (doi:10.1007/s00165-011-0213-4)

Chen, Taolue, Han, Tingting, Katoen, Joost-Pieter, Mereacre, Alexandru and Jagadeesan, Radha (2011) Model checking of continuous-time Markov chains against timed automata specifications. Logical Methods in Computer Science, 7 (1) . ISSN 1860-5974 (doi:10.2168/LMCS-7(1:12)2011)

Dantchev, Stefan and Martin, Barnaby (2011) Cutting planes and the parameter cutwidth. Theory of Computing Systems, 51 (1) . pp. 50-64. ISSN 1432-4350 (doi:10.1007/s00224-011-9373-0)

Dantchev, Stefan and Martin, Barnaby (2011) The limits of tractability in resolution-based propositional proof systems. Annals of Pure and Applied Logic, 163 (6) . pp. 656-668. ISSN 0168-0072 (doi:10.1016/j.apal.2011.11.001)

Dantchev, Stefan, Martin, Barnaby and Szeider, Stefan (2011) Parameterized proof complexity. Computational Complexity, 20 (1) . pp. 51-85. ISSN 1016-3328 (doi:10.1007/s00037-010-0001-1)

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2011) A security model for functional active objects with an implementation in Erlang. In: Computational informatics, social factors and new information technologies: hypermedia perspectives and avant-garde experiences in the era of communicability expansion. Ficarra, Francisco V. C., Kratky, Andreas, Veltman, Kim H., Ficarra, Miguel C., Nicol, Emma and Brie, Mary, eds. Computational Science and Engineering Collection (I) . Blue Herons, Bergamo, Italy, pp. 105-120. ISBN 9788896471043.

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Kanovich, Max and O’Hearn, Peter W. (2011) The complexity of abduction for separated heap abstractions. Static Analysis. In: SAS 2011. . ISSN 0302-9743 (doi:10.1007/978-3-642-23702-7_7)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2011) Mechanical analysis of finite idempotent relations. Fundamenta Informaticae, 107 (1) . pp. 43-65. ISSN 1875-8681

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2011) Privacy enforcement and analysis for functional active objects. Lecture Notes in Computer Science, 6514 . pp. 93-107. ISSN 0302-9743 (doi:10.1007/978-3-642-19348-4_8)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Patel, Sandip (2011) Radius-SHA256 – verified remote authentication with secure hashing. In: First Global Conference on Communication, Science and Information Engineering, CCSIE’11, 25 - 27 July 2011, Middlesex University. .

Madelaine, Florent and Martin, Barnaby (2011) A tetrachotomy for positive first-order logic without equality. In: Logic in Computer Science (LICS), 2011 26th Annual IEEE Symposium on. IEEE, pp. 311-320. ISBN 9781457704512. (doi:10.1109/LICS.2011.27)

Martin, Barnaby (2011) Low-level dichotomy for quantified constraint satisfaction problems. Information Processing Letters, 111 (20) . pp. 999-1003. ISSN 0020-0190 (doi:10.1016/j.ipl.2011.07.010)

Martin, Barnaby (2011) QCSP on partially reflexive forests. Principles and Practice of Constraint Programming – CP 2011. In: The 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), 12-16 September 2011, Perugia, Italy. ISBN 9783642237850. ISSN 0302-9743 (doi:10.1007/978-3-642-23786-7_42)

Martin, Barnaby and Paulusma, Daniël (2011) The computational complexity of disconnected cut and 2K2-partition. Principles and Practice of Constraint Programming – CP 2011. In: The 17th International Conference on Principles and Practice of Constraint Programming (CP 2011), 12-16 Sep 2011, Perugia, Italy. ISBN 9783642237850. ISSN 0302-9743 (doi:10.1007/978-3-642-23786-7_43)

Popescu, Andrei and Gunter, Elsa (2011) Recursion principles for syntax with bindings and substitution. Proceedings of the 16th ACM SIGPLAN international conference on Functional programming. In: The 16th ACM SIGPLAN International Conference on Functional Programming, 19-21 Sep 2011, Tokyo. ISBN 9781450308656.

Roda, Fabio, Liberti, Leo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2011) Evaluation of collaborative filtering algorithms using a small dataset. In: WEBIST 2011, http://www.webist.org/WEBIST2011/. .

2010

Bodirsky, Manuel, Dalmau, Victor, Martin, Barnaby and Pinsker, Michael (2010) Distance constraint satisfaction problems. Mathematical Foundations of Computer Science 2010. In: 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010), 23-27 August 2010, Brno, Czech Republic. ISBN 9783642151545. ISSN 0302-9743 (doi:10.1007/978-3-642-15155-2_16)

Bodirsky, Manuel, Hils, Martin and Martin, Barnaby (2010) On the scope of the universal-algebraic approach to constraint satisfaction. In: Logic in Computer Science (LICS), 2010 25th Annual IEEE Symposium on. Institute of Electrical and Electronics Engineers, pp. 90-99. ISBN 9781424475889. (doi:10.1109/LICS.2010.13)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Amjad, Hasan (2010) Inter-process buffers in separation logic with rely-guarantee. Formal Aspects of Computing, 22 (6) . pp. 735-772. ISSN 0934-5043 (doi:10.1007/s00165-009-0141-8)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 (2010) Separation logic and concurrency. In: Formal Methods: State of the Art and New Directions. Boca, Paul, Bowen, Jonathan P. and Siddiqi, Jawed, eds. Springer-Verlag, London, pp. 217-248. ISBN 9781848827356. (doi:10.1007/978-1-84882-736-3_7)

Dantchev, Stefan and Martin, Barnaby (2010) The limits of tractability in resolution-based propositional proof systems. In: 6th International Conference on Computability in Europe: Programs, Proofs, Processes (CIE 2010), 30 June - 4 July 2010, Portugal. .

Di Cosmo, Roberto and Boender, Jaap (2010) Using strong conflicts to detect quality issues in component-based complex systems. In: ISEC '10 Proceedings of the 3rd India software engineering conference. ISEC '10 . ACM, New York, pp. 163-172. ISBN 9781605589220.

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Implementing privacy with Erlang active objects. In: Internet Monitoring and Protection (ICIMP), 2010 Fifth International Conference. IEEE, pp. 141-146. ISBN 9781424467266. (doi:10.1109/ICIMP.2010.27)

Fleck, Andreas and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Privacy by flexible parameterization with Erlang active objects. International Journal on Advances in Software, 3 (3-4) . pp. 461-473. ISSN 1942-2628

Helke, Steffen and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Formalizing statecharts using hierarchical automata. Archive of Formal Proof . ISSN 2150-914X

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Khan, Muhammad Uzair (2010) A framework for reasoning on component composition. Lecture Notes in Computer Science, 6286 . pp. 1-20. ISSN 0302-9743 (doi:10.1007/978-3-642-17071-3_1)

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry (2010) Locally nameless sigma calculus. Archive of Formal Proof . ISSN 2150-914X

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Lutz, Bianca and Sudhof, Henry (2010) A locally nameless theory of objects. In: SAFA Annual Workshop on Formal Techniques (SAFA’2010), October 6th and 7th, 2010, 2229 Route des Crêtes, 06560, Valbonne, Provence-Alpes-Côte d'Azur, France. .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2010) Using functional active objects to enforce privacy. In: 5th Conference on Network Architectures and Information Systems Security, 18-21 May, 2010, Menton, France. .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Rein, Alexander and Reiser, Mark-Oliver (2010) Feature link propagation across variability representations with Isabelle/HOL. In: Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering. Rubin, Julia, Botterweck, Goetz, Mezini, Mira, Maman, Itay and Lero, Andreas, eds. ACM, New York, pp. 48-53. ISBN 9781605589688.

Martin, Barnaby (2010) The lattice structure of sets of surjective hyper-operations. In: Principles and practice of constraint programming – CP 2010. Lecture Notes in Computer Science (6308) . Springer-Verlag, pp. 368-382. ISBN 9783642153952. (doi:10.1007/978-3-642-15396-9_31)

Martin, Barnaby and Martin, Jos (2010) The complexity of positive first-order logic without equality II: the four-element case. Computer Science Logic. In: 24th International Workshop (CSL 2010), 19th Annual Conference of the EACSL, 23-27 August 2010, Brno, Czech Republic. ISBN 9783642152047. ISSN 0302-9743 (doi:10.1007/978-3-642-15205-4_33)

Popescu, Andrei and Gunter, Elsa (2010) Incremental pattern-based coinduction for process algebra and its Isabelle formalization. Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. In: Foundations of Software Science and Computation Structures (FOSSACS), 20-28 Mar 2010, Paphos, Cyprus. ISBN 9783642120312. ISSN 0302-9743

Popescu, Andrei, Gunter, Elsa and Osborn, Christopher J. (2010) Strong normalization for System F by HOAS on top of FOAS. 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS). In: 25th Annual IEEE Symposium on Logic in Computer Science (LICS), 11-14 July 2010, Edinburgh, United Kingdom. ISBN 9781424475889. ISSN 1043-6871

Sama, Michele, Elbaum, Sebastian, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Rosenblum, David S. and Wang, Zhimin (2010) Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36 (5) . pp. 644-661. ISSN 0098-5589 (doi:10.1109/TSE.2010.35)

Skene, James, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2) . pp. 288-304. ISSN 0098-5589 (doi:10.1109/TSE.2009.55)

2009

Abate, Pietro, Di Cosmo, Roberto, Boender, Jaap and Zacchiroli, Stefano (2009) Strong dependencies between software components. In: 2009 3rd International Symposium on Empirical Software Engineering and Measurement (ESEM 2009). IEEE, 89 -99. ISBN 9781424448425. (doi:10.1109/ESEM.2009.5316017)

Amjad, Hasan and Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 (2009) Towards automatic stability analysis for rely-guarantee proofs. In: Verification, model checking, and abstract interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings. Jones, Neil D. and Müller-Olm, Markus, eds. Lecture Notes in Computer Science (5403) . Springer, pp. 14-28. ISBN 9783540938996. (doi:10.1007/978-3-540-93900-9_6)

Bettinelli, Andrea, Liberti, Leo, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Savourey, David (2009) The Anonymous subgraph problem. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris. .

Cubo, Javier, Sama, Michele, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rosenblum, David (2009) A model to design and verify context-aware adaptive service composition. In: 6th IEEE International Conference on Services Computing (SCC 2009), September 21-25, 2009, Bangalore. .

Dantchev, Stefan, Martin, Barnaby and Rhodes, Mark (2009) Tight rank lower bounds for the Sherali–Adams proof system. Theoretical Computer Science, 410 (21-23) . pp. 2054-2063. ISSN 0304-3975 (doi:10.1016/j.tcs.2009.01.002)

Henrio, Ludovic and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2009) Functional active objects: typing and formalisation. Electronic Notes in Theoretical Computer Science, 255 . pp. 83-101. ISSN 1571-0661 (doi:10.1016/j.entcs.2009.10.026)

Henrio, Ludovic, Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Rivera, Marcela (2009) An asynchronous distributed component model and its semantics. Lecture Notes in Computer Science, 5751 . pp. 159-179. ISSN 0302-9743 (doi:10.1007/978-3-642-04167-9_9)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kammueller, Reiner (2009) Enhancing privacy implementations of database enquiries. In: Internet Monitoring and Protection, 2009. ICIMP '09. Fourth International Conference. IEEE, pp. 45-50. ISBN 9781424438396. (doi:10.1109/ICIMP.2009.15)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Kammueller, Reiner (2009) Security analysis of private data enquiries in Erlang. International Journal on Advances in Security, 2 (2&3) . pp. 242-255. ISSN 1942-2636

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743 (doi:10.1007/978-3-642-02658-4_55)

Müller, Markus, Rogers, Caroline and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2009) Lossless quantum prefix compression for communication channels that are always open. Physical Review A, 79 (1) . ISSN 1050-2947 (doi:10.1103/PhysRevA.79.012302)

Pecheur, Charles, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389. (doi:10.1145/1572272.1572279)

Popescu, Andrei (2009) Weak bisimilarity coalgebraically. Algebra and Coalgebra in Computer Science : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, 7-10 Sep 2009, Udine, Italy. ISBN 9783642037405. ISSN 0302-9743

Popescu, Andrei, Şerbănuţă, Traian Florin and Roşu, Grigore (2009) A semantic approach to interpolation. Theoretical Computer Science, 410 (12-13) . pp. 1109-1128. ISSN 0304-3975 (doi:10.1016/j.tcs.2008.09.038)

Primiero, Giuseppe (2009) Proceeding in abstraction. From concepts to types and the recent perspective on information. History and Philosophy of Logic, 30 (3) . pp. 257-282. ISSN 0144-5340 (doi:10.1080/01445340902872630)

Primiero, Giuseppe (2009) An epistemic logic for becoming informed. Synthese, 167 (2) . pp. 363-389. ISSN 0039-7857 (doi:10.1007/s11229-008-9413-8)

Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece. .

Roda, Fabio, Liberti, Leo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2009) Combinatorial optimization based recommender systems. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris. .

2008

Brotherston, James, Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233 and Calcagno, Cristiano (2008) Cyclic proofs of program termination in separation logic. ACM SIGPLAN Notices - POPL '08, 43 (1) . pp. 101-112. ISSN 0362-1340 (doi:10.1145/1328897.1328453)

Chen, Hubie, Madelaine, Florent and Martin, Barnaby (2008) Quantified constraints and containment problems. 2008 23rd Annual IEEE Symposium on Logic in Computer Science. In: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, PA, USA. ISBN 9780769531830. ISSN 1043-6871 (doi:10.1109/LICS.2008.15)

Chen, Taolue, Fokkink, Wan, Luttik, Bas and Nain, Sumit (2008) On finite alphabets and infinite bases. Information and Computation, 206 (5) . pp. 492-519. ISSN 0890-5401 (doi:10.1016/j.ic.2007.09.003)

Chen, Taolue, Fokkink, Wan and Van Glabbeek, Rob (2008) Ready to preorder: the case of weak process semantics. Information Processing Letters, 109 (2) . pp. 104-111. ISSN 0020-0190 (doi:10.1016/j.ipl.2008.09.003)

Gay, Simon J., Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 and Papanikolaou, Nikolaos (2008) QMC: a model checker for quantum systems. In: Computer Aided Verification : 20th International Conference, (CAV 2008) Proceedings. Gupta, Aarti and Malik, Sharad, eds. Lecture Notes in Computer Science (5123) . Springer, Berlin, pp. 543-547. ISBN 9783540705437. (doi:10.1007/978-3-540-70545-1_51)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Formalizing non-interference for a simple bytecode language in Coq. Formal Aspects of Computing, 20 (3) . pp. 259-275. ISSN 0934-5043

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Interactive theorem proving in software engineering. VDM Verlag Dr. Mueller, Saarbrücken, Germany. ISBN 9783836457699.

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Preibusch, Sören (2008) Modelchecking non-functional requirements for interface specifications. In: European Joint Conference on Theory and Practice of Software, 2008, (Foundations of Interface technologies), 29th March - 6th April, 2008, Budapest. .

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry (2008) Composing safely: a type system for aspects. Lecture Notes in Computer Science, 4954 . pp. 231-247. ISSN 0302-9743 (doi:10.1007/978-3-540-78789-1_18)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 and Sudhof, Henry (2008) Compositionality of aspect weaving. In: Autonomous systems: self-organisation, management, and control. Mahr, Bernd and Sheng, Huanye, eds. Springer-Verlag, pp. 87-96. ISBN 9781402088889.

Liberti, Leo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743 (doi:10.1007/978-3-540-68880-8_26)

Martin, Barnaby (2008) First-order model checking problems parameterized by the model. Logic and Theory of Algorithms. In: The 4th Conference on Computability in Europe: Logic and Theory of Algorithms (CiE 2008), 15-20 June, 2008, University of Athens, Greece. ISBN 9783540694052. ISSN 0302-9743 (doi:10.1007/978-3-540-69407-6_45)

Preibusch, Sören and Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488 (2008) Checking the TWIN elevator system by translating object-Z to SMV. Lecture Notes in Computer Science, 4916 . pp. 38-55. ISSN 0302-9743 (doi:10.1007/978-3-540-79707-4)

Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Skene, James and Emmerich, Wolfgang (2008) Efficient online monitoring of web-service SLAs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Harrold, Jean and Murphy, Gail, eds. Association for Computing Machinery, pp. 170-180. ISBN 9781595939951. (doi:10.1145/1453101.1453125)

Sama, Michele, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Rosenblum, David and Emmerich, Wolfgang (2008) Algorithms for efficient symbolic detection of faults in context-aware applications. In: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers, pp. 1-8. ISBN 9781424427765. (doi:10.1109/ASEW.2008.4686287)

2007

Boender, Jaap (2007) Sound tools for package dependency management in free and open source software distributions. In: Open source development, adoption and innovation: IFIP Working Group 2.13 on Open Source Software, June 11-14, 2007, Limerick, Ireland. Feller, Joseph, Fitzgerald, Brian, Scacchi, Walt and Sillitti, Alberto, eds. IFIP Advances in Information and Communication Technology (234) . Springer, Berlin and Heidelberg, Germany, p. 391. ISBN 9780387724850.

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Parkinson, Matthew and O'Hearn, Peter (2007) Modular verification of a non-blocking stack. 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '07), Nice, France. Proceedings. . pp. 297-302. ISSN 0362-1340 (doi:10.1145/1190216.1190261)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark (2007) Minimal refinements of specifications in modal and temporal logics. Formal Aspects of Computing, 19 (4) . pp. 417-444. ISSN 0934-5043 (doi:10.1007/s00165-007-0040-9)

Martin, Barnaby and Madelaine, Florent (2007) Hierarchies in fragments of monadic strict NP. In: Computation and logic in the real world: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Cooper, Barry S., Löwe, Benedikt and Sorbi, Andrea, eds. Lecture Notes in Computer Science, 4497 . Springer Berlin Heidelberg, pp. 542-550. ISBN 9783540730002. (doi:10.1007/978-3-540-73001-9_56)

2006

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano and Parkinson, Matthew (2006) Variables as resource in Hoare logic. In: 21st Annual IEEE Symposium on Logic in Computer Science (LICS 2006), Seattle, Washington. Proceedings. IEEE Computer Society., pp. 137-146. ISBN 0-7695-2631-4. (doi:10.1109/LICS.2006.52)

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano and Yang, Hongseok (2006) Variables as resources in separation logic. 21st Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXI), Birmingham, UK. Proceedings in Electronic Notes in Theoretical Computer Science. Elsevier B.V., 155 . pp. 247-276. ISSN 1571-0661 (doi:10.1016/j.entcs.2005.11.059)

Mancinelli, Fabio, Boender, Jaap, Di Cosmo, Roberto, Vouillon, Jérôme, Durak, Berke, Leroy, Xavier and Treinen, Ralf (2006) Managing the complexity of large free and open source package-based software distributions. Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on . pp. 199-208. ISSN 1938-4300 (doi:10.1109/ASE.2006.49)

2005

Bornat, Richard ORCID: https://orcid.org/0000-0002-7261-0233, Calcagno, Cristiano, Parkinson, Matthew and O'Hearn, Peter (2005) Permission accounting in separation logic. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '05), Long Beach, California, USA. Proceedings . pp. 259-270. ISSN 0362-1340 (doi:10.1145/1047659.1040327)

2002

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark (2002) Requirements, specifications, and minimal refinement. Electronic Notes in Theoretical Computer Science. Volume 67: WoLLIC'2002, 9th Workshop on Logic, Language, Information and Computation. In: WoLLIC 2002: 9th Workshop on Logic, Language, Information and Computation, 30 Jul - 2 Aug 2002, Rio de Janeiro, Brazil. . ISSN 1571-0661 (doi:10.1016/S1571-0661(04)80550-4)

This list was generated on Fri Sep 18 04:52:33 2020 BST.