John Harrison

14 papers A 1C 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Grandes Modelos de Linguagem Multimodais (MLLMs): Da Teoria à Prática.
CoRR
Neemias B. da Silva, Júlio C. W. Scholz, John Harrison, Marina Borges, Paulo Ávila, Frances Albert Santos, Myriam Delgado, Rodrigo Minetto, Thiago H. Silva
2026 J jnl
s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs.
CoRR
Balaji Rao, John Harrison, Soonho Kong, Juneyoung Lee, Carlo Lipizzi
2025 J jnl
Do Multimodal LLMs See Sentiment?
CoRR
Neemias B. da Silva, John Harrison, Rodrigo Minetto, Myriam R. B. S. Delgado, Bogdan Tomoyuki Nassu, Thiago H. Silva
2025 — conf
Relational Hoare Logic for Realistically Modelled Machine Code.
CAV (1)
Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2025 J jnl
Relational Hoare Logic for Realistically Modelled Machine Code.
CoRR
Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2016 — conf
Engineering Study of Tidal Stream Renewable Energy Generation and Visualization: Issues of Process Modelling and Implementation.
BDA@AVI
John Harrison, James Uhomoibhi
2012 J jnl
Re-envisioning instructional technology research in higher education environments: a content analysis of a grant program.
J. Comput. High. Educ.
Trena M. Paulus, Gina Phipps, John Harrison, Mary Alice Varga
2011 C conf
The Contribution of NEISAS to EP3R.
CRITIS
David Sutton, John Harrison, Sandro Bologna, Vittorio Rosato
2010 A conf
A k-12 college partnership.
SIGCSE
Stephen Cooper, Wanda P. Dann, John Harrison
1998 J jnl
The Gergonne p-pile Problem and the Dynamics of the Function x | => (x + r)/p.
Discret. Appl. Math.
John Harrison, Thomas Brennan, Steven Gapinski
1997 J jnl
Morphic refinements of nonregular languages.
Int. J. Comput. Math.
John Harrison
1996 J jnl
On Almost Cylindrical Languages and the Decidability of the D0L and PWD0L Primitivity Problems.
Theor. Comput. Sci.
John Harrison
1995 J jnl
Dynamical Properties of PWD0L Systems.
Theor. Comput. Sci.
John Harrison
1994 J jnl
Morphic Congruences and D0L Languages.
Theor. Comput. Sci.
John Harrison