Foundations of Computing group
| Title | Foundations of Computing group |
|---|
Latest research outputs
Sort by Date Title
An examination of counterexamples in proofs and refutations
Bagce, S. and Baskent, C. 2009. An examination of counterexamples in proofs and refutations. Philosophia Scientiae. https://doi.org/10.4000/philosophiascientiae.228Article
A formal approach to lakatosian heuristics
Baskent, C. 2012. A formal approach to lakatosian heuristics. Logique et Analyse. 55 (217), pp. 23-46.Article
Towards paraconsistent inquiry
Baskent, C. 2016. Towards paraconsistent inquiry. The Australian Journal of Logic. 13 (2), pp. 21-40. https://doi.org/10.26686/ajl.v13i2.2102Article
A non-classical logical approach to social software
Baskent, C. 2017. A non-classical logical approach to social software. in: Baskent, C., Moss, L. and Ramanujam, R. (ed.) Rohit Parikh on Logic, Language and Society Springer.Book chapter
Digital twin as risk-free experimentation aid for techno-socio-economic systems
Barat, S., Kulkarni, V., Clark, T. and Barn, B. 2022. Digital twin as risk-free experimentation aid for techno-socio-economic systems. ACM / IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS). Montreal, Canada 23 - 28 Oct 2022 Association for Computing Machinery (ACM). pp. 66-75 https://doi.org/10.1145/3550355.3552409Conference paper
A game theoretical semantics for logics of nonsense
Baskent, C. 2020. A game theoretical semantics for logics of nonsense. Raskin, J. and Bresolin, D. (ed.) GandALF 2020. Brussels, Belgium [Online event] 21 - 22 Sep 2020 Open Publishing Association. pp. 66-81 https://doi.org/10.4204/EPTCS.326.5Conference paper
Value-sensitive co-design for resilient information systems
Primiero, G., Barn, B. and Barn, R. 2020. Value-sensitive co-design for resilient information systems. Studies in Logic, Grammar and Rhetoric. 63 (1), pp. 141-164. https://doi.org/10.2478/slgr-2020-0032Article
A true positives theorem for a static race detector
Gkorogiannis, N., O'Hearn, P. and Sergey, I. 2019. A true positives theorem for a static race detector. POPL 2019. Cascais, Portugal 12 - 19 Jan 2019 Association for Computing Machinery (ACM). pp. 1-29 https://doi.org/10.1145/3290370Conference paper
Describing and simulating concurrent quantum systems
Bornat, R., Boender, J., Kammueller, F., Poly, G. and Nagarajan, R. 2020. Describing and simulating concurrent quantum systems. Biere, A. and Parker, D. (ed.) International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 20). Dublin 27 - 30 Apr 2020 Springer. pp. 271-277 https://doi.org/10.1007/978-3-030-45237-7_16Conference paper
Topological semantics for da Costa paraconsistent logics Cω and C*ω
Baskent, C. 2015. Topological semantics for da Costa paraconsistent logics Cω and C*ω. Beziau, J., Chakraborty, M. and Dutta, S. (ed.) 5th World Congress on Paraconsistency (WCP 2014). Kolkata, India 13 - 17 Feb 2014 Springer, New Delhi. https://doi.org/10.1007/978-81-322-2719-9_19Conference paper
A game theoretical semantics for a logic of formal inconsistency
Baskent, C. and Carrasqueira, P. 2018. A game theoretical semantics for a logic of formal inconsistency. Logic Journal of the IGPL. https://doi.org/10.1093/jigpal/jzy068Article
Game theoretical semantics for some non-classical logics
Baskent, C. 2016. Game theoretical semantics for some non-classical logics. Journal of Applied Non-Classical Logics. 26 (3), pp. 208-239. https://doi.org/10.1080/11663081.2016.1225488Article
Graham Priest on dialetheism and paraconsistency
Baskent, C. and Ferguson, T. (ed.) 2019. Graham Priest on dialetheism and paraconsistency. Cham, Switzerland. Springer.Edited Book
New lace and arsenic: adventures in weak memory with a program logic (v2)
Bornat, R., Alglave, J. and Parkinson, M. 2016. New lace and arsenic: adventures in weak memory with a program logic (v2). arXiv.org arXiv. https://doi.org/10.48550/arXiv.1512.01416Other
A history based logic for dynamic preference updates
Baskent, C. and McCusker, G. 2019. A history based logic for dynamic preference updates. Journal of Logic, Language and Information. https://doi.org/10.1007/s10849-019-09307-1Article
Bindings as bounded natural functors
Blanchette, J., Gheri, L., Popescu, A. and Traytel, D. 2019. Bindings as bounded natural functors. 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). Hotel Cascais Miragem, Cascais, Portugal 13 - 19 Jan 2019 Association for Computing Machinery (ACM). https://doi.org/10.1145/3290335Conference paper
Tableau-based translation from first-order logic to modal logic
Perkov, T. 2019. Tableau-based translation from first-order logic to modal logic. London, UK Middlesex University London.Technical report
RacerD: compositional static race detection
Blackshear, S., Gorogiannis, N., O'Hearn, P. and Sergey, I. 2018. RacerD: compositional static race detection. Association for Computing Machinery (ACM). https://doi.org/10.1145/3276514Conference paper
Automated equivalence checking of concurrent quantum systems
Ardeshir-Larijani, E., Gay, S. and Nagarajan, R. 2018. Automated equivalence checking of concurrent quantum systems. ACM Transactions on Computational Logic (TOCL). 19 (4), pp. 1-32. https://doi.org/10.1145/3231597Article
Orthogonal terrain guarding is NP-complete
Bonnet, E. and Giannopoulos, P. 2018. Orthogonal terrain guarding is NP-complete. 34th International Symposium on Computational Geometry (SoCG 2018). Budapest, Hungary 11 - 14 Jun 2018 Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. pp. 11:1-11:15 https://doi.org/10.4230/LIPIcs.SoCG.2018.11Conference paper
QPTAS and subexponential algorithm for maximum clique on disk graphs
Bonnet, E., Giannopoulos, P., Kim, E., Rzążewski, P. and Sikora, F. 2018. QPTAS and subexponential algorithm for maximum clique on disk graphs. 34th International Symposium on Computational Geometry. Budapest, Hungary 11 - 14 Jun 2018 Leibniz International Proceedings in Informatics Schloss Dagstuhl – Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. pp. 12:1-12:15 https://doi.org/10.4230/LIPIcs.SoCG.2018.12Conference paper
Simulation of a trust and reputation based mitigation protocol for a black hole style attack on VANETs
Martorana, A., Primiero, G. and Tagliabue, J. 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 - S4CIP’18: 3rd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. London, United Kingdom 27 Apr 2018 Institute of Electrical and Electronics Engineers (IEEE). pp. 127-135 https://doi.org/10.1109/EuroSPW.2018.00025Conference item
The logic of identity and copy for computational artefacts
Angius, N. and Primiero, G. 2018. The logic of identity and copy for computational artefacts. Journal of Logic and Computation. 28 (6), pp. 1293-1322. https://doi.org/10.1093/logcom/exy012Article
Low-crossing spanning trees: an alternative proof and experiments
Giannopoulos, P., Konzack, M. and Mulzer, W. 2014. Low-crossing spanning trees: an alternative proof and experiments. European Workshop on Computational Geometry. Ein-Gedi, Israel 03 - 05 Mar 2014Conference paper
Bit mask-oriented genetic algorithm for grammatical inference and premature convergence
Pandey, H., Chaudhary, A. and Mehrotra, D. 2018. Bit mask-oriented genetic algorithm for grammatical inference and premature convergence. International Journal of Bio-Inspired Computation. 12 (1), pp. 54-69. https://doi.org/10.1504/IJBIC.2018.10014202Article
Annotated natural deduction for adaptive reasoning
Allo, P. and Primiero, G. 2019. Annotated natural deduction for adaptive reasoning. in: Baskent, C. and Ferguson, T. (ed.) Graham Priest on Dialetheism and Paraconsistency Springer.Book chapter
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2018. CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving - 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Nancy, France 22 - 27 Aug 2016 Springer. https://doi.org/10.1007/s10817-017-9443-3Conference paper
Quantum error-correcting output codes
Windridge, D., Mengoni, R. and Nagarajan, R. 2018. Quantum error-correcting output codes. International Journal of Quantum Information. 16 (8). https://doi.org/10.1142/S0219749918400038Article
On the parameterized complexity of red-blue points separation
Bonnet, E., Giannopoulos, P. and Lampis, M. 2018. On the parameterized complexity of red-blue points separation. 12th International Symposium on Parameterized and Exact Computation (IPEC 2017). Vienna, Austria 06 - 08 Sep 2017 LIPICS Schloss Dagstuhl. pp. 8:1-8:13 https://doi.org/10.4230/LIPIcs.IPEC.2017.8Conference paper
Biabduction (and related problems) in array separation logic
Brotherston, J., Gorogiannis, N. and Kanovich, M. 2017. Biabduction (and related problems) in array separation logic. International Conference on Automated Deduction. Gothenburg 08 - 11 Aug 2017 Springer. https://doi.org/10.1007/978-3-319-63046-5_29Conference paper
Augmenting bug localization with part-of-speech and invocation
Zhou, Y., Tong, Y., Chen, T. and Han, J. 2017. Augmenting bug localization with part-of-speech and invocation. International Journal of Software Engineering and Knowledge Engineering. 27 (06), pp. 925-949. https://doi.org/10.1142/s0218194017500346Article
A formalized general theory of syntax with bindings
Gheri, L. and Popescu, A. 2017. A formalized general theory of syntax with bindings. 8th International Conference Interactive Theorem Proving (ITP). Brasília, Brazil 26 - 29 Sep 2017 Springer. pp. 241-261 https://doi.org/10.1007/978-3-319-66107-0_16Conference paper
Foundational nonuniform (co)datatypes for higher-order logic
Blanchette, J., Meier, F., Popescu, A. and Traytel, D. 2017. Foundational nonuniform (co)datatypes for higher-order logic. 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Reykjavik, Iceland 20 - 23 Jun 2017 IEEE. https://doi.org/10.1109/LICS.2017.8005071Conference paper
CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2017. CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 38th IEEE Symposium on Security and Privacy. San Jose, CA, USA 22 - 26 May 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 729-748 https://doi.org/10.1109/SP.2017.24Conference paper
Soundness and completeness proofs by coinductive methods
Blanchette, J., Popescu, A. and Traytel, D. 2017. Soundness and completeness proofs by coinductive methods. Journal of Automated Reasoning. 58 (1), pp. 149-179. https://doi.org/10.1007/s10817-016-9391-3Article
Friends with benefits: implementing corecursion in foundational proof assistants
Blanchette, J., Bouzy, A., Lochbihler, A., Popescu, A. and Traytel, D. 2017. Friends with benefits: implementing corecursion in foundational proof assistants. 26th European Symposium on Programming, ESOP 2017. Uppsala, Sweden 22 - 29 Apr 2017 Springer. https://doi.org/10.1007/978-3-662-54434-1_5Conference paper
From types to sets by local type definitions in higher-order logic
Kunčar, O. and Popescu, A. 2016. From types to sets by local type definitions in higher-order logic. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. https://doi.org/10.1007/978-3-319-43144-4_13Conference paper
CoSMed: a confidentiality-verified social media platform
Bauereiß, T., Pesenti Gritti, A., Popescu, A. and Raimondi, F. 2016. CoSMed: a confidentiality-verified social media platform. ITP 2016: 7th International Conference on Interactive Theorem Proving. Nancy, France 22 - 25 Aug 2016 Springer. pp. 87-106 https://doi.org/10.1007/978-3-319-43144-4_6Conference paper
A proof-theoretic trust and reputation model for VANET
Primiero, G., Raimondi, F., Chen, T. and Nagarajan, R. 2017. A proof-theoretic trust and reputation model for VANET. S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection. Paris, France 29 Apr 2017 Institute of Electrical and Electronics Engineers (IEEE). pp. 146-152 https://doi.org/10.1109/EuroSPW.2017.64Conference paper
Formal reasoning on infinite data values: an ongoing quest
Chen, T., Song, F. and Wu, Z. 2017. Formal reasoning on infinite data values: an ongoing quest. SETSS 2016: Second International School Engineering Trustworthy Software Systems, Tutorial Lectures. Chongqing, China 28 Mar - 02 Apr 2016 Springer. pp. 195-257 https://doi.org/10.1007/978-3-319-56841-6_6Conference paper
0
total views0
total downloads0
views this month0
downloads this month