John V. Tucker

ORCID

Publication Activity (10 Years)

Years Active: 1979-2024
Publications (10 Years): 23

Top Venues

CoRR

J. Log. Algebraic Methods Program.

WADT

J. Univers. Comput. Sci.

Publications

Edwin J. Beggs, John V. Tucker, Victoria Wang
On human-centred security: A new systems model based on modes and mode transitions. CoRR (2024)
Jan A. Bergstra, John V. Tucker
Rings with common division, common meadows and their conditional equational theories. CoRR (2024)
Jan A. Bergstra, John V. Tucker
Synthetic Fracterm Calculus. J. Univers. Comput. Sci. 30 (3) (2024)
Jan A. Bergstra, John V. Tucker
Eager Term Rewriting For The Fracterm Calculus Of Common Meadows. Comput. J. 67 (5) (2024)
Jan A. Bergstra, John V. Tucker
A Complete Finite Equational Axiomatisation of the Fracterm Calculus for Common Meadows. CoRR (2023)
Jan A. Bergstra, John V. Tucker
Eager Equality for Rational Number Arithmetic. ACM Trans. Comput. Log. 24 (3) (2023)
Jan A. Bergstra, John V. Tucker
On The Axioms Of Common Meadows: Fracterm Calculus, Flattening And Incompleteness. Comput. J. 66 (7) (2023)
Jan A. Bergstra, John V. Tucker
Naive Fracterm Calculus. J. Univers. Comput. Sci. 29 (9) (2023)
Jan A. Bergstra, John V. Tucker
Partial arithmetical data types of rational numbers and their equational specification. J. Log. Algebraic Methods Program. 128 (2022)
Jan A. Bergstra, John V. Tucker
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan A. Bergstra, John V. Tucker
Which Arithmetical Data Types Admit Fracterm Flattening? Sci. Ann. Comput. Sci. 32 (1) (2022)
Edwin J. Beggs, John V. Tucker
A model of systems with modes and mode transitions. J. Log. Algebraic Methods Program. 127 (2022)
Edwin J. Beggs, John V. Tucker
The dynamics of belief: continuously monitoring and visualising complex systems. CoRR (2022)
Edwin J. Beggs, John V. Tucker
A model of systems with modes and mode transitions. CoRR (2021)
Jan A. Bergstra, John V. Tucker
The Wheel of Rational Numbers as an Abstract Data Type. WADT (2020)
Edwin J. Beggs, Pedro Cortez, José Félix Costa, John V. Tucker
Classifying the Computational Power of Stochastic Physical Oracles. Int. J. Unconv. Comput. 14 (1) (2018)
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
An Algebraic Theory for Data Linkage. WADT (2018)
Edwin J. Beggs, John V. Tucker
Analogue-digital systems and the modular decomposition of physical behaviour. CoRR (2018)
Liang-Ting Chen, Markus Roggenbach, John V. Tucker
An algebraic theory for data linkage. CoRR (2018)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
Computations with oracles that measure vanishing quantities. Math. Struct. Comput. Sci. 27 (8) (2017)
Kenneth Johnson, John V. Tucker, Victoria Wang
Monitoring and Intervention: Concepts and Formal Models. CoRR (2017)
Victoria Wang, John V. Tucker
Surveillance and identity: conceptual framework and formal models. J. Cybersecur. 3 (3) (2017)
Kenneth Johnson, John V. Tucker, Victoria Wang
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations. WADT (2016)
Victoria Wang, John V. Tucker
Formalising Surveillance and Identity. CoRR (2014)
Edwin J. Beggs, John V. Tucker
Analogue-digital systems with modes of operation. CoRR (2014)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Three Forms of Physical Measurement and their Computability. Rev. Symb. Log. 7 (4) (2014)
John V. Tucker, Jeffery I. Zucker
Computability of Operators on Continuous and Discrete Time Streams. Comput. 3 (1) (2014)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
An analogue-Digital Church-Turing Thesis. Int. J. Found. Comput. Sci. 25 (4) (2014)
Victoria Wang, John V. Tucker
On the Role of Identity in Surveillance. CoRR (2014)
Jan A. Bergstra, John V. Tucker
Editor's Note. J. Log. Algebraic Methods Program. 83 (2) (2014)
Edwin J. Beggs, José Félix Costa, John V. Tucker
A Natural Computation Model of Positive Relativisation. Int. J. Unconv. Comput. 10 (1-2) (2014)
Kenneth Johnson, Yuanzhi Wang, Radu Calinescu, Ian Sommerville, Gordon D. Baxter, John V. Tucker
Services2Cloud: A Framework for Revenue Analysis of Software-as-a-Service Provisioning. CloudCom (2) (2013)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
Oracles that measure thresholds: the Turing machine and the broken balance. J. Log. Comput. 23 (6) (2013)
Kenneth Johnson, John V. Tucker
The data type of spatial objects. Formal Aspects Comput. 25 (2) (2013)
Victoria Wang, John V. Tucker, Kevin Haines
Viewing Cybercommunities through the Lens of Modernity: The Case of Second Life. Int. J. Virtual Communities Soc. Netw. 5 (1) (2013)
Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker
On the Power of Threshold Measurements as Oracles. UCNC (2013)
Edwin J. Beggs, José Félix Costa, John V. Tucker
The impact of models of a physical oracle on computational power. Math. Struct. Comput. Sci. 22 (5) (2012)
Kenneth Johnson, John V. Tucker
Algebraic Specifications of Computing as a Service with Applications to Cost Analysis. UCC (2012)
John V. Tucker, Jeffery I. Zucker
Continuity of operators on continuous and discrete time streams. Theor. Comput. Sci. 412 (28) (2011)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Stability of representations of effective partial algebras. Math. Log. Q. 57 (2) (2011)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Physical Oracles: The Turing Machine and the Wheatstone Bridge. Stud Logica 95 (1-2) (2010)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Limits to measurement in experiments governed by algorithms. Math. Struct. Comput. Sci. 20 (6) (2010)
Edwin J. Beggs, John V. Tucker
Computations via Newtonian and relativistic kinematic systems. Appl. Math. Comput. 215 (4) (2009)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Physical Experiments as Oracles. Bull. EATCS 97 (2009)
B. C. Thompson, John V. Tucker, Jeffery I. Zucker
Unifying computers and dynamical systems using the theory of synchronous concurrent algorithms. Appl. Math. Comput. 215 (4) (2009)
Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker
Meadows and the equational specification of division. Theor. Comput. Sci. 410 (12-13) (2009)
Edwin J. Beggs, José Félix Costa, John V. Tucker
Limits to measurement in experiments governed by algorithms CoRR (2009)
Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker
On the Complexity of Measurement in Classical Physics. TAMC (2008)
Jan A. Bergstra, John V. Tucker
Division Safe Calculation in Totalised Fields. Theory Comput. Syst. 43 (3-4) (2008)
Edwin J. Beggs, José Félix Costa, Bruno Loff, John V. Tucker
Oracles and Advice as Measurements. UC (2008)
Jan A. Bergstra, Yoram Hirshfeld, John V. Tucker
Fields, Meadows and Abstract Data Types. Pillars of Computer Science (2008)
Edwin J. Beggs, John V. Tucker
Programming Experimental Procedures for Newtonian Kinematic Machines. CiE (2008)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Stability for Effective Algebras. Electron. Notes Theor. Comput. Sci. 221 (2008)
John V. Tucker, Jeffery I. Zucker
Computability of analog networks. Theor. Comput. Sci. 371 (1-2) (2007)
Jan A. Bergstra, John V. Tucker
The rational numbers as an abstract data type. J. ACM 54 (2) (2007)
Edwin J. Beggs, John V. Tucker
Can Newtonian systems, bounded in space, time, mass and energy compute all functions? Theor. Comput. Sci. 371 (1-2) (2007)
Jan A. Bergstra, John V. Tucker
Elementary Algebraic Specifications of the Rational Complex Numbers. Essays Dedicated to Joseph A. Goguen (2006)
Edwin J. Beggs, John V. Tucker
Embedding infinitely parallel computation in Newtonian kinematics. Appl. Math. Comput. 178 (1) (2006)
John V. Tucker, Jeffery I. Zucker
A Network Model of Analogue Computation over Metric Algebras. CiE (2005)
John V. Tucker, Jeffery I. Zucker
Computable total functions on metric algebras, universal algebraic specifications and dynamical systems. J. Log. Algebraic Methods Program. 62 (1) (2005)
John V. Tucker, Jeffery I. Zucker
Abstract versus concrete computation on metric partial algebras. ACM Trans. Comput. Log. 5 (4) (2004)
David P. Clark, Min Chen, John V. Tucker
Automatic program translation - a third way. ISMSE (2004)
D. Ll. L. Rees, Karen Stephenson, John V. Tucker
The algebraic structure of interfaces. Sci. Comput. Program. 49 (1-3) (2003)
Viggo Stoltenberg-Hansen, John V. Tucker
Computable and continuous partial homomorphisms on metric partial algebras. Bull. Symb. Log. 9 (3) (2003)
Min Chen, John V. Tucker, Richard H. Clayton, Arun V. Holden
Constructive Volume Geometry Applied to Visualization of Cardiac Anatomy and Electrophysiology. Int. J. Bifurc. Chaos 13 (12) (2003)
Min Chen, Richard H. Clayton, Arun V. Holden, John V. Tucker
Visualising Cardiac Anatomy Using Constructive Volume Geometry. FIMH (2003)
John V. Tucker, Jeffery I. Zucker
Abstract computability and algebraic specification. ACM Trans. Comput. Log. 3 (2) (2002)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Domain representations of partial functions, with applications to spatial objects and constructive volume geometry. Theor. Comput. Sci. 284 (2) (2002)
John V. Tucker, Jeffery I. Zucker
Abstract versus Concrete Computation on Metric Partial Algebras CoRR (2001)
John V. Tucker, Jeffery I. Zucker
Abstract Computability, Algebraic Specification and Initiality CoRR (2001)
Min Chen, John V. Tucker
Constructive Volume Geometry. Comput. Graph. Forum 19 (4) (2000)
Viggo Stoltenberg-Hansen, John V. Tucker
Concrete Models of Computation for Topological Algebras. Theor. Comput. Sci. 219 (1-2) (1999)
John V. Tucker, Jeffery I. Zucker
Computation by 'While' Programs on Topological Partial Algebras. Theor. Comput. Sci. 219 (1-2) (1999)
M. J. Poole, Arun V. Holden, John V. Tucker
Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms. Prospects for Hardware Foundations (1998)
Jens Blanck, Viggo Stoltenberg-Hansen, John V. Tucker
Streams, Stream Transformers and Domain Representations. Prospects for Hardware Foundations (1998)
Neal A. Harman, John V. Tucker
Algebraic Models of Microprocessors: Architecture and Organisation. Acta Informatica 33 (5) (1996)
Jan A. Bergstra, John V. Tucker
A Data Type Variety of Stack Algebras. Ann. Pure Appl. Log. 73 (1) (1995)
Jan A. Bergstra, John V. Tucker
Equational Specifications, Complete Term Rewriting Systems, and Computable and Semicomputable Algebras. J. ACM 42 (6) (1995)
Neal A. Harman, John V. Tucker
Algebraic Models and the Correctness of Microprocessors. CHARME (1993)
John V. Tucker, Jeffery I. Zucker
Deterministic and Nondeterministic Computation and Horn Programs, on Abstract Data Types. J. Log. Program. 13 (1) (1992)
John V. Tucker, Jeffery I. Zucker
Theory of Computation over Stream Algebras, and its Applications. MFCS (1992)
Viggo Stoltenberg-Hansen, John V. Tucker
Infinite Systems of Equations over Inverse Limits and Infinite Synchronous Concurrent Algorithms. REX Workshop (1992)
Viggo Stoltenberg-Hansen, John V. Tucker
Algebraic and Fixed Point Equations over Inverse Limits of Algebras. Theor. Comput. Sci. 87 (1) (1991)
John V. Tucker, Jeffery I. Zucker
Examples of Semicomputable Sets of Real and Complex Numbers. Constructivity in Computer Science (1991)
John V. Tucker, Jeffery I. Zucker
Projections of Semicomputable Relations on Abstract Data Tzpes. Int. J. Found. Comput. Sci. 2 (3) (1991)
John V. Tucker, Stanley S. Wainer, Jeffery I. Zucker
Provable Computable Functions on Abstract Data Types. ICALP (1990)
John V. Tucker, Jeffery I. Zucker
Toward a General Theory of Computation and Specification over Abstract Data Types. ICCI (1990)
John V. Tucker, Jeffery I. Zucker
Horn Programs and Semicomputable Relations on Abstract Structures. ICALP (1989)
A. R. Martin, John V. Tucker
The concurrent assignment representation of synchronous systems. Parallel Comput. 9 (2) (1989)
Viggo Stoltenberg-Hansen, John V. Tucker
Complete Local Rings as Domains. J. Symb. Log. 53 (2) (1988)
Karl Meinke, John V. Tucker
The Scope and Limits of Synchronous Concurrent Computation. Concurrency (1988)
Jan A. Bergstra, John V. Tucker
Algebraic Specifications of Computable and Semicomputable Data Types. Theor. Comput. Sci. 50 (1987)
A. R. Martin, John V. Tucker
The Concurrent Assignment Representation of Synchronous Systems. PARLE (2) (1987)
Jan A. Bergstra, John V. Tucker
Top-Down Design and the Algebra of Communicating Processes. Sci. Comput. Program. 5 (2) (1985)
Jan A. Bergstra, John V. Tucker
The Axiomatic Semantics of Programs Based on Hoare's Logic. Acta Informatica 21 (1984)
Jan A. Bergstra, John V. Tucker
Hoare's Logic for Programming Languages with two Data Types. Theor. Comput. Sci. 28 (1984)
Jan A. Bergstra, Jan Willem Klop, John V. Tucker
Process Algebra with Asynchronous Communication Mechanisms. Seminar on Concurrency (1984)
Jan A. Bergstra, John V. Tucker
Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems. SIAM J. Comput. 12 (2) (1983)
Jan A. Bergstra, John V. Tucker
Hoare's Logic and Peano's Arithmetic. Theor. Comput. Sci. 22 (1983)
Jan A. Bergstra, Jan Willem Klop, John V. Tucker
Algebraic Tools for System Construction. Logic of Programs (1983)

John V. Tucker.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John V. Tucker