Jeremy R. Johnson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 46 from 46

2023

Proof Buddy: A Tool to Aid Students in Proof ConstructionSteve Earth, Jeremy R. Johnson, Bruce W. Char. sigcse 2023: 1259 [doi]

2022

Probabilistic analysis of block Wiedemann for leading invariant factorsGavin Harrison, Jeremy R. Johnson, B. David Saunders. JSC, 108:98-116, 2022. [doi]

2020

Comparison of Role-Assigned Grouping with Free-Form Group Activities in an Introductory Computer Science CourseSteve Earth, Bruce W. Char, Jeremy R. Johnson. sigcse 2020: 1356 [doi]

2019

Use of Maple and Möbius in an Undergraduate Course on CryptographyBruce W. Char, Jeremy R. Johnson. mc2 2020: 230-244 [doi]

2018

SPIRAL: Extreme Performance PortabilityFranz Franchetti, Tze Meng Low, Doru-Thom Popovici, Richard Michael Veras, Daniele G. Spampinato, Jeremy R. Johnson, Markus Püschel, James C. Hoe, José M. F. Moura. pieee, 106(11):1935-1968, 2018. [doi]

2016

Probabilistic analysis of Wiedemann's algorithm for minimal polynomial computationGavin Harrison, Jeremy R. Johnson, B. David Saunders. JSC, 74:55-69, 2016. [doi]

Probabilistic analysis of block wiedemann for leading invariant factorsGavin Harrison, Jeremy R. Johnson, B. David Saunders. cca, 50(4):173-175, 2016. [doi]

2015

Automatically Generated Feedback for CS student Work: Best Practices (Abstract Only)Bruce W. Char, Jeffrey L. Popyack, Jeremy R. Johnson, William M. Mongan. sigcse 2015: 696 [doi]

High performance implementation of the inverse TFTLingchuan Meng, Jeremy R. Johnson. cap 2015: 87-94 [doi]

2014

High performance implementation of the TFTLingchuan Meng, Jeremy R. Johnson. issac 2014: 328-334 [doi]

2013

2012

Special Issue on Symbolic and Algebraic Computation Foundations, Algorithmics and Applications: ISSAC 2009Jeremy R. Johnson, Erich Kaltofen, Hyungju Park. JSC, 47(7):751, 2012. [doi]

Abstracts of recent doctoral dissertations in computer algebraJeremy R. Johnson. cca, 46(3/4):176-179, 2012. [doi]

Abstracts of recent doctoral dissertations in computer algebraJeremy R. Johnson. cca, 46(1/2):14-16, 2012. [doi]

Abstracts of recent doctoral dissertations in computer algebraJeremy R. Johnson. cca, 46(1/2):60-63, 2012. [doi]

Abstracts of recent doctoral dissertations in computer algebraJeremy R. Johnson. cca, 46(3/4):127-129, 2012. [doi]

In Memoriam: Werner KrandickJeremy R. Johnson. cca, 46(1/2):52-54, 2012. [doi]

2011

Abstracts of recent doctoral dissertations in computer algebraJeremy R. Johnson. cca, 45(1/2):143-145, 2011. [doi]

Abstracts of recent doctoral dissertations in computer algebraJeremy R. Johnson. cca, 45(1/2):62, 2011. [doi]

2010

2007

Generating FPGA-Accelerated DFT LibrariesPaolo D Alberto, Peter A. Milder, Aliaksei Sandryhaila, Franz Franchetti, James C. Hoe, José M. F. Moura, Markus Püschel, Jeremy R. Johnson. fccm 2007: 173-184 [doi]

2006

Distribution of a class of divide and conquer recurrences arising from the computation of the Walsh-Hadamard transformPawel Hitczenko, Jeremy R. Johnson, Hung-Jen Huang. TCS, 352(1-3):8-30, 2006. [doi]

High-performance implementations of the Descartes methodJeremy R. Johnson, Werner Krandick, Kevin Lynch, David G. Richardson, Anatole D. Ruslanov. issac 2006: 154-161 [doi]

2005

2004

2002

A Prototypical Self-Optimizing Package for Parallel Implementation of Fast Signal TransformsKang Chen, Jeremy R. Johnson. ipps 2002: [doi]

Interval Arithmetic in Cylindrical Algebraic DecompositionGeorge E. Collins, Jeremy R. Johnson, Werner Krandick. JSC, 34(2):145-157, 2002. [doi]

2000

In search of the optimal Walsh-Hadamard transformJeremy R. Johnson, Markus Püschel. icassp 2000: 3347-3350 [doi]

1998

Software Components Using Symbolic Computation for Problem Solving EnvironmentsYagati N. Lakshman, Bruce W. Char, Jeremy R. Johnson. issac 1998: 46-53 [doi]

1997

Symbolic computation tools in scientific problem solving environmentsBruce W. Char, Thomas T. Hewett, Jeremy R. Johnson, Yagati N. Lakshman, Ron Perline, Raji Venkatesan, Hoi Man Chang, Michael Miller, Clint Hepner. cca, 31(3):58, 1997. [doi]

Polynomial Real Root Isolation using Approximate ArithmeticJeremy R. Johnson, Werner Krandick. issac 1997: 225-232

1993

Efficient multiprecision floating point multiplication with optimal directional roundingWerner Krandick, Jeremy R. Johnson. arith 1993: 228-233 [doi]

1992

Real Algebraic Number Computation Using Interval ArithmeticJeremy R. Johnson. issac 1992: 195-205 [doi]

An Algebraic Theory for Modeling Direct Interconnection NetworksS. D. Kaushik, Sanjay Sharma, Chua-Huang Huang, Jeremy R. Johnson, Rodney W. Johnson, P. Sadayappan. sc 1992: 488-497

1990

Parallel Real Root Isolation Using the Coefficient Sign Variation MethodGeorge E. Collins, Jeremy R. Johnson, Wolfgang Küchlin. cap 1992: 71-87

1989

Quantifier Elimination and the Sign Variation Method for Real Root IsolationGeorge E. Collins, Jeremy R. Johnson. issac 1989: 264-271 [doi]

1988

The Probability of Relative Primality of Gaussian IntegersGeorge E. Collins, Jeremy R. Johnson. issac 1989: 252-258

Sign in or sign up to see more results.

runs on WebDSL