Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo

Divisions: Theory of Computing Group

Number of items at this level: 82.

Barker, Steve (2007) Action-status access control. In: SACMAT 2007, 12th ACM Symposium on Access Control Models and Technologies.

Kurucz, A. (2007) Combining modal logics. In: Handbook of Modal Logic. Studies in Logic and Practical Reasoning, 3 . Elsevier, pp. 869-924. ISBN 978-0-444-51690-9

Maribel Fernández, Murdoch J. Gabbay (2007) Curry-style types for nominal terms. In: Proceedings of TYPES'06.

Barker, Steve and Ahn, Gail-Joon, eds. (2007) Data and Applications Security XXI, 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007, Proceedings. Lecture Notes in Computer Science, 4602 . Springer.

Bertolissi, Clara and Fernández, Maribel and Barker, Steve (2007) Dynamic Event-Based Access Control as Term Rewriting. In: DBSec.

Alves, Sandra and Fernández, Maribel and Florido, Mário and Mackie, Ian (2007) Iterator Types. In: Proceedings FOSSACS.

Alves, Sandra and Fernández, Maribel and Florido, Mário and Mackie, Ian (2007) Linear Recursive Functions. In: Rewriting, Computation and Proof. Essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday..

Fernández, Maribel and Gabbay, Murdoch J. (2007) Nominal rewriting. Information and Computation, 205 (6). pp. 917-965.

Barker, Steve and Douglas, Paul (2007) Secure Knowledge Exchange by Policy Algebra and ERML. In: ICEIS 2007 - Proceedings of the Ninth International Conference.

Kontchakov, R. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2007) Spatial logic + temporal logic = ? In: Handbook of Spatial Logics. Springer, pp. 497-564. ISBN 978-1-4020-5586-7

Fernández, M. and Fleutot, F. (2006) A historic functional and object oriented calculus. In: Proceedings of the 8th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'06), Venice, Italy.

Fernández, M. and Calves, C. (2006) Implementing Nominal Unification. In: Proceedings of TERMGRAPH'06, 3rd International Workshop on Term Graph Rewriting, ETAPS 2006, Vienna.

Degtyarev, Anatoli and Fisher, Michael and Konev, Boris (2006) Monodic temporal resolution. ACM Transactions on Computational Logic, 7 (1). pp. 108-150.

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2006) Non-primitive recursive decidability of products of modal logics with expanding domains. Annals of Pure and Applied Logic, 142 (1-3). pp. 245-268.

Aleksic, Vladimir and Degtyarev, Anatoli (2006) On Arbitrary Selection Strategies for Basic Superposition. In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006.

Barker, S. and Fernández, M. (2006) Term Rewriting for Access Control. In: Data and Applications Security. Proceedings of the 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security (DBSec'2 006), Sophia Antipolis, France, July 2006..

Barker, Steve and Fernández, Maribel (2006) Term Rewriting for Access Control. In: DBSec.

Alves, Sandra and Fernández, Maribel and Florido, Mário and Mackie, Ian (2006) The Power of Linear Functions. In: Proceedings of CSL 2006, Computer Science Logic.

Barker, Steve and Douglas, Paul (2005) An Intelligent Tutoring System for Program Semantics. In: International Symposium on Information Technology: Coding and Computing (ITCC 2005).

Gabelaia, D. and Kontchakov, R. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2005) Combining spatial and temporal logics: expressiveness vs. complexity. Journal of Artificial Intelligence Research, 23 . pp. 167-243.

Fernandez, M. and Mackie, I. and Sinot, F-R. (2005) Interaction Nets vs. the Rho-Calculus: Introducing Bigraphical Nets. In: Proceedings of EXPRESS'05, satellite workshop of Concur, San Francisco, USA, 2005.

Fernández, Maribel and Mackie, Ian and Sinot, Francois-Regis (2005) Lambda-Calculus with Director Strings. Applicable Algebra in Engineering, Communication and Computing, 15 (6). pp. 393-437.

Konev, Boris and Degtyarev, Anatoli and Dixon, Clare and Fisher, Michael and Hustadt, Ullrich (2005) Mechanising first-order temporal resolution. Information and Computtation, 199 (1-2). pp. 55-86. ISSN 0747-7171

Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2005) Modal logics for metric spaces: open problems. In: We Will Show Them: Essays in Honour of Dov Gabbay, Volume 2. College Publications, pp. 193-208.

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2005) Products of `transitive' modal logics. Journal of Symbolic Logic, 70 . pp. 993-1021.

Aleksic, Vladimir and Degtyarev, Anatoli (2005) Regular Derivations in Basic Superposition-Based Calculi. In: Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2005.

Kontchakov, R. and Kurucz, A. and Zakharyaschev, M. (2005) Undecidability of first-order intuitionistic and modal logics with two variables. Bulletin of Symbolic Logic, 11 (3). pp. 428-438.

Gabelaia, D. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2004) Products of `transitive' modal logics with constant and expanding domains. In: Proceedings of the 38th MLG Meeting.

Gabelaia, D. and Kurucz, A. and Zakharyaschev, M. (2004) Products of `transitive' modal logics without the (abstract) finite model property. In: Proceedings of AiML 2004.

Kálmán, L. and Kurucz, A. and Erdélyi-Szabó, M. (2004) Propositional logic for natural language semantics. In: Proceedings of the 8th Symposium on Logic and Language.

Barker, Steve (2004) Access Policy Specification for Web Applications. In: International Conference on Information Technology: Coding and Computing (ITCC'04),.

Barker, Steve and Douglas, Paul (2004) An Intelligent Tutoring System for Database Transaction Processing. In: ICEIS 2004, Proceedings of the 6th International Conference on Enterprise Information Systems.

Douglas, Paul and Barker, Steve (2004) Dependency Theory E-Learning Tool. In: International Conference on Information Technology: Coding and Computing (ITCC'04).

Barker, Steve and Leuschel, Michael and Varea, Mauricio (2004) Efficient and flexible access control via logic program specialisation. In: Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation.

Barker, Steve (2004) Labeled Logic Programs. In: Logic Programming, 20th International Conference, ICLP 2004.

Fernández, M. and Gabbay, M.J. and Mackie, I. (2004) Nominal Rewriting Systems. In: Proceedings of the 6th ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'04), Verona, Italy.

Barker, Steve and Douglas, Paul (2004) Protecting Federated Databases Using A Practical Implementation of a Formal RBAC Policy. In: International Conference on Information Technology: Coding and Computing (ITCC'04),.

Barker, Steve (2004) Web Resource Usage Control in RSCLP. In: Research Directions in Data and Applications Security XVIII, IFIP TC11/WG 11.3 Eighteenth Annual Conference on Data and Applications Security.

Kurucz, A. and Zakharyaschev, M. (2003) A note on relativised products of modal logics. In: Advances in Modal Logic, Volume 4. King's College Publications, pp. 221-242.

Barker, Steve and Douglas, Paul (2003) An E-Learning Tool for Understanding Schedule Properties. In: International Symposium on Information Technology: Coding and Computing (ITCC 2005).

Barker, Steve (2003) Distributed Access Control: A Logic-Based Approach. In: Computer Network Security, Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003.

Barker, Steve and Douglas, Paul (2003) Extended Protected Databases: A Practical Implementation. In: ICEIS 2003, Proceedings of the 5th International Conference on Enterprise Information Systems.

Barker, Steve and Stuckey, Peter J. (2003) Flexible access control policy specification with constraint logic programming. ACM Transactions on Information and System Security, 6 (4). pp. 501-546.

Konev, Boris and Degtyarev, Anatoli and Fisher, Michael (2003) Handling Equality in Monodic Temporal Resolution. In: LPAR, Logic for Programming, Artificial Intelligence, and Reasoning,.

Fernandez, M. and Khalil, L. (2003) Interaction nets with McCarthy's amb: Properties and Applications. Nordic Journal of Computing, 10 (2). pp. 134-162.

Gabbay, D.M. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) Many-dimensional Modal Logics: Theory and Applications. Studies in Logic and the Foundations of Mathematics, 148 . Elsevier. ISBN 978-0-444-50826-3

Degtyarev, Anatoli and Fisher, Michael and Konev, Boris (2003) Monodic Temporal Resolution. In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction.

vanBakel, S. and Fernández, M. (2003) Normalization, Approximation and Semantics for Combinator Systems. Theoretical Computer Science, 290 (1). pp. 975-1019.

Hodkinson, I. and Kontchakov, R. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of decidable fragments of first-order linear temporal logics. In: Proceedings of TIME-ICTL 2003.

Gabelaia, D. and Kontchakov, R. and Kurucz, A. and Wolter, F. and Zakharyaschev, M. (2003) On the computational complexity of spatio-temporal logics. In: Proceedings of the 16th International Conference FLAIRS 2003.

Fernández, Maribel and Mackie, Ian (2003) Operational Equivalence for Interaction Nets. Theoretical Computer Science, 297 (1-3). pp. 157-181.

Barker, Steve and Douglas, Paul (2003) RBAC Policy Implementation for SQL Databases. In: Data and Applications Security XVII: Status and Prospects, IFIP TC-11 WG 11.3 Seventeenth Annual Working Conference on Data and Application Security.

Degtyarev, Anatoli and Nieuwenhuis, Robert and Voronkov, Andrei (2003) Stratified resolution. Journal of Symbolic Computation, 36 (1-2). pp. 79-99.

Konev, Boris and Degtyarev, Anatoli and Dixon, Clare and Fisher, Michael and Hustadt, Ullrich (2003) Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. In: 10th International Symposium on Temporal Representation and Reasoning.

Kurucz, A. and Zakharyaschev, M. (2002) A note on relativised products of modal logics. In: Proceedings of AiML 2002.

Fern'andez, M. and Mackie, I. and Severi, P. and Szasz, N. (2002) A uniform approach to program extraction: Pure Type Systems with Ultra-Sigma Types. In: Proc. of the XXVIII Conferencia Latinoamericana de Informatica, (CLEI'02), Montevideo.

Fernández, Maribel and Mackie, Ian and Pinto, Jorge S. (2002) A Higher-order Calculus for Graph Transformation. In: Proc. of the Int. Workshop on Term Graph Rewriting (TERMGRAPH 2002).

Degtyarev, Anatoli and Fisher, Michael and Konev, Boris (2002) A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. In: Automated Reasoning with Analytic Tableaux and Related Methods, International Conference.

Barker, Steve (2002) Access Control for Deductive Databases by Logic Programming. In: Logic Programming, 18th International Conference, ICLP 2002.

Fern'andez, M. and Severi, P. (2002) An operational approach to program extraction in the Calculus of Constructions. In: Proc. of the Int. Workshop on Logic Based Program Development and Transformation (LOPSTR'02).

Fernández, Maribel and Mackie, Ian (2002) Call by value lambda-graph rewriting --- without rewriting. In: Proceedings of the Int. Conference on Graph Transformations (ICGT'02), Barcelona.

Kurucz, A. (2002) Comparing decision problems for various paradigms of algebraic logic. Algebra Universalis, 47 . pp. 409-424.

Barker, Steve (2002) Deductive Database Security. In: Research Directions in Data and Applications Security, IFIP WG 11.3 Sixteenth International Conference on Data and Applications Security.

Degtyarev, Anatoli and Fisher, Michael and Lisitsa, Alexei (2002) Equality and Monodic First-Order Temporal Logic. Studia Logica, 72 (2). pp. 147-156. ISSN 0039-3215

Vershinin, Konstantin and Degtyarev, Anatoli and Lyaletski, Alexander and Morokhovets, Marina and Paskevich, Andrey (2002) Evidence Algorithm and Processing Formalized Mathematical Texts. Journal of Automation and Information Sciences, 34 (10). ISSN 0747-2315

Barker, Steve and Douglas, Paul and Fanning, Terry (2002) Implementing RBAC Policies. In: Research Directions in Data and Applications Security, IFIP WG 11.3 Sixteenth International Conference on Data and Applications Security.

Fernandez, M. and Khalil, L. (2002) Interaction Nets with McCarthy's amb. In: Proc. of the 9th Int. Workshop on Expressiveness in Concurrency (EXPRESS'02), Brno, Czech Republic.

Hirsch, R. and Hodkinson, I. and Kurucz, A. (2002) On modal logics between K×K×K and S5×S5×S5. Journal of Symbolic Logic, 67 (1). pp. 221-234.

Barker, Steve (2002) Protecting deductive databases from unauthorized retrieval and update requests. Data and Knowledge Engineering, 43 (3). pp. 293-315.

Kurucz, A. (2002) S5×S5×S5 lacks the finite model property. In: Advances in Modal Logic, Volume 3. World Scientific, pp. 321-327.

Brotherston, James and Degtyarev, Anatoli and Fisher, Michael and Lisitsa, Alexei (2002) Searching for Invariants Using Temporal Resolution. In: Logic for Programming, Artificial Intelligence, and Reasoning,.

Lyaletski, Alexander and Verchinine, Konstantine and Degtyarev, Anatoli and Paskevich, Andrey (2002) System for Automated Deduction (SAD): Linguistic and Deductive Peculiarities. In: Proceedings of the IIS'2002 Symposium on Intelligent Information Systems.

Degtyarev, Anatoli and Voronkov, Andrei (2001) Equality Reasoning in Sequent-Based Calculi. In: Handbook of Automated Reasoning. Elsevier and MIT Press, pp. 611-706. ISBN 0-444-50813-9, 0-262-18223-8

Barker, Steve and Rosenthal, Arnon (2001) Flexible Security Policies in SQL. In: Database and Application Security XV, IFIP TC11/WG11.3 Fifteenth Annual Working Conference on Database and Application Security.

Degtyarev, Anatoli and Gurevich, Yuri and Voronkov, Andrei (2001) Herbrand's Theorem and Equational Reasoning: Problems and Solutions. In: Current trends in theoretical computer science: entering the 21st centuary. World Scientific, pp. 303-326. ISBN 0-444-82949-0

Degtyarev, Anatoli and Voronkov, Andrei (2001) Kanger's Choices in Automated Reasoning. In: Collected Papers of Stig Kanger with Essays on his Life and Work. KLUWER ACADEMIC PUBLISHERS GROUP, pp. 53-68. ISBN 1-4020-0111-8

Degtyarev, Anatoli and Lyaletski, Alexander and Morokhovets, Marina (2001) On the EA-style integrated processing of self-contained mathematical texts. In: Symbolic computation and automated reasoning. A K Peters, pp. 126-141. ISBN 1-56881-145-4

Barker, Steve (2001) Secure Deductive Databases. In: Practical Aspects of Declarative Languages, Third International Symposium, PADL 2001.

Degtyarev, Anatoli and Voronkov, Andrei (2001) The Inverse Method. In: Handbook of Automated Reasoning. Elsevier and MIT Press, pp. 179-272. ISBN 0-444-50813-9, 0-262-18223-8

Degtyarev, Anatoli and Fisher, Michael (2001) Towards First-Order Temporal Resolution. In: KI 2001: Advances in Artificial Intelligence.

Barker, Steve (2001) TRBAC: A Temporal Authorization Model. In: Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security, International Workshop MMM-ACNS 2001.

Barker, Steve and Leuschel, Michael and Varea, Mauricio Efficient and Flexible Access Control via Jones-Optimal Logic Program Specialisation. Higher-Order and Symbolic Computation . (In Press)

This list was generated on Sat Aug 23 00:04:25 2014 BST.