Items where Author / Artist / Editor is "Gorogiannis, Nikos"

See full list of headings
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 27.

Article

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 [Article] (doi:10.1145/3276514)

Cacciagrano, Diletta Romana, Corradini, Flavio, Culmone, Rosario, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments, 10 (3) . pp. 261-273. ISSN 1876-1364 [Article] (doi:10.3233/ais-180487)

Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos, Mostarda, Leonardo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments . ISSN 2199-4668 [Article] (doi:10.1007/s40860-017-0036-z)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10) . pp. 1479-1497. ISSN 00043702 [Article] (doi:10.1016/j.artint.2010.12.003)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artificial Intelligence, 175 (9-10) . pp. 1479-1497. ISSN 0004-3702 [Article] (doi:10.1016/j.artint.2010.12.003)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hirsch, Robin (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2) . pp. 481-499. ISSN 0955-792X [Article] (doi:10.1093/logcom/exp074)

Hirsch, R. and Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 (2010) The complexity of the warranted formula problem in propositional argumentation. Journal of Logic and Computation, 20 (2) . pp. 481-499. ISSN 0955-792X [Article] (doi:10.1093/logcom/exp074)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Hunter, Anthony and Williams, Matthew (2009) An argument-based approach to reasoning with clinical knowledge. International Journal of Approximate Reasoning, 51 (1) . pp. 1-22. ISSN 0888-613X [Article] (doi:10.1016/j.ijar.2009.06.015)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1) . pp. 234-251. ISSN 0888-613X [Article] (doi:10.1016/j.ijar.2008.03.008)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2008) Implementing semantic merging operators using binary decision diagrams. International Journal of Approximate Reasoning, 49 (1) . pp. 234-251. ISSN 0888613X [Article] (doi:10.1016/j.ijar.2008.03.008)

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 [Article] (doi:10.1007/s00165-007-0040-9)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Ryan, Mark D. (2002) Implementation of belief change operators using BDDs. Studia Logica, 70 (1) . pp. 131-156. ISSN 00393215 [Article] (doi:10.1023/A:1014610426691)

Conference or Workshop Item

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547, El-Aroussi, Inas, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gheri, Lorenzo, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. Proceedings of the 3rd European Conference of Software Engineering Education on ZZZ - ECSEE'18. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. ISBN 9781450363839. [Conference or Workshop Item] (doi:10.1145/3209087.3209106)

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. [Conference or Workshop Item] (doi:10.24963/ijcai.2017/30)

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 [Conference or Workshop Item] (doi:10.1007/978-3-319-63046-5_29)

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 [Conference or Workshop Item] (doi:10.1145/2837614.2837621)

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 [Conference or Workshop Item] (doi:10.1007/978-3-319-24312-2_20)

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. [Conference or Workshop Item] (doi:10.1109/SEsCPS.2015.18)

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. [Conference or Workshop Item] (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 [Conference or Workshop Item] (doi:10.1007/978-3-319-10936-7_5)

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 [Conference or Workshop Item] (doi:10.1007/978-3-642-54830-7_27)

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. . [Conference or Workshop Item]

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 [Conference or Workshop Item] (doi:10.1007/978-3-642-35182-2_25)

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 [Conference or Workshop Item] (doi:10.1007/978-3-642-23702-7_7)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Hunter, Anthony, Patkar, Vivek and Williams, Matthew (2010) Argumentation about treatment efficacy. Knowledge Representation for Health-Care. Data, Processes and Guidelines. In: KR4HC 2009: International Workshop on Knowledge Representation for Health Care, 19 July 2009, Verona, Italy. ISBN 9783642118074. ISSN 0302-9743 [Conference or Workshop Item] (doi:10.1007/978-3-642-11808-1_14)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609 and Hunter, Anthony (2008) Merging first-order knowledge using dilation operators. Foundations of Information and Knowledge Systems. In: FOIKS 2008. . [Conference or Workshop Item] (doi:10.1007/978-3-540-77684-0_11)

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 [Conference or Workshop Item] (doi:10.1016/S1571-0661(04)80550-4)

This list was generated on Thu Oct 22 05:16:02 2020 BST.