Don Bonar was born in Murraysville, WV (Jackson County) on July 7, 1938, the son of Nelson Edward Bonar II and Ada Polk Bonar. He graduated from Ravenswood High School and was awarded a four-year Board of Governors Scholarship to West Virginia University where he received the B.S. in Chemical Engineering in 1960. While at WVU, he was a member of the physics, chemistry, and chemical engineering honoraries, and served as President of Tau Beta Pi, the engineering honorary. Two National Science Foundation Fellowships supported his graduate work in mathematics. He received the M.S. from WVU in 1961 with a major in mathematics and a minor in physics and the Ph.D. from Ohio State University in 1968. His Ph.D. work was in complex analysis. In 1965 Don joined the faculty of Denison University in Granville, OH where he has been teaching mathematics, statistics and computer science.
Awards received include the Richard King Mellon Foundation Award for excellence in teaching and scholarship in 1973 and the Sears-Roebuck Teaching Excellence and Community Leadership Award in 1991. In 1995 he was selected to fill the new fully endowed George R. Stibitz Distinguished Professorship in Mathematics and Computer Science. In 1999 Don was inducted into the Academy of Chemical Engineers at West Virginia University. He is the author of the book entitled On Annular Functions, a co-author of the book Real Infinite Series, and a co-author on several research papers. He has published joint work with the internationally acclaimed Hungarian mathematician Paul Erdos. Community service includes membership on the Granville Foundation, the Granville Development Commission, the Licking County (OH) Joint Vocational School Board (facility recently renamed C-TEC, Career and Technology Education Center of Licking County), and serving as President of the Granville Exempted Village School Board.
Don and his wife Martha Baker Bonar are the parents of Mary Martha, a resident in emergency medicine at the Penn State University Medical Centers in Hershey, PA. Forever Mountaineers, the Bonars enjoy time at their farm, family owned since 1869, in West Virginia.
- Real Infinite Series (with Michael J. Khoury '03) in Mathematical Association of America (MAA). 2006.
- On Annular Functions Daniel D. Bonar, 1971.
- Pushing the virtual envelope: Internet suspend/resume over HTTP(S) (with M. Kozuch and P. Nath) in Proceedings of IASTED Conference on Web Technologies, Applications, and Services. p. 69-76. 2005.
- OpenCAS: A flexible architecture for content addressable storage (with M. Kozuch, C. Helfrich and M. Satyanarayanan) in ISCA International Conference on Parallel and Distributed Computing Systems. p. 580-587. 2004.
- Seamless mobile computing on fixed infrastructure (with M. Kozuch, M. Satyanarayanan, C. Helfrich and S. Sinnamohideen) in IEEE Computer 37(7). p. 65-72. 2004.
- Engineering fault-tolerant TCP/IP servers using FT-TCP (with D. Zagorodnov, K. Marzullo and L. Alvisi) in Proceedings of the International Conference on Dependable Systems and Networks. p. 393-402. 2003.
- Opportunistic use of content addressable storage for distributed file systems (with N. Tolia, M. Kozuch, M. Satyanarayanan, B. Karp and T. Perrig) in Proceedings of the USENIX Annual Technical Conference, General Track. p. 127-140. 2003.
- Optimal configuration for BGP route selection (with R. Rastogi and M. Smith) in Proceedings of INFOCOM. 2003.
Jessen Havill joined the Denison faculty in 1998, having spent the six prior years studying at The College of William and Mary in Williamsburg, Virginia. Dr. Havill teaches courses across the computer science curriculum, in both theory and systems, although his specialty is in theory-related courses like Discrete Mathematics, Data Structures, and Algorithm Design and Analysis. He is also very interested in developing courses that explore connections between computer science and other disciplines. In 2009, he developed and started teaching a new introductory computer science course (CS 111: Foundations of Computing for Scientific Discovery) that introduces the principles of computer science in the context of scientific modeling and simulation. In 2012, he and Jeff Thompson, a colleague in the Biology Department, began teaching an interdisciplinary computational biology course (CS/BIOL 309: Computational Biology). In 2013, Dr. Havill was awarded Denison’s Charles A. Brickman Teaching Excellence Award.
Selected student research projects:
- Bringing Extinct Sponges to Life: Modeling Stromatoporoid Growth with OpenGL, Trevor Masters, Summer 2013 (co-advised with David Goodwin, Geosciences)
- Improved Upper Bounds for Online Malleable Job Scheduling, Nathaniel Kell, 2012–2013
- A Web Tool for Detecting Riboswitches in Genomic Sequences, Steven Johnson, Summer 2012
- Towards a More Realistic Metric for Online Ring Routing, Andrew Quinn, Summer 2012
- Using Computational Algorithms to Further Examine and Visualize Riboswitch Domains, Joseph Sheets, Summer 2011 (co-advised with Jeff Thompson, Biology)
My research largely focuses on the design and analysis of algorithms for online network routing and machine scheduling problems. An online algorithm is one that processes its input one element at a time instead of all at once like a traditional algorithm. For example, an online room scheduling algorithm would have to assign a room to each event as it "arrives" without knowing what events might need to be scheduled later. Online algorithms usually cannot come up with optimal solutions due to their lack of knowledge about the future. Instead, we try to design algorithms that find solutions that are provably within some factor of optimal. I have also recently developed an interest in problems in computational biology.
- Optimal Online Ring Routing [pdf] (with K. R. Hutson) Networks 57(2), pp. 187-197, 2011
- Online Malleable Job Scheduling for m ≤ 3 [pdf] Information Processing Letters111(1), pp. 31-35, 2010
- An Algorithm for Detecting TPP Riboswitches in Archaea (poster, with C. Bhatiya and J. S. Thompson) Ohio Collaborative Conference on Bioinformatics (OCCBIO), 2009
- Competitive Online Scheduling of Perfectly Malleable Jobs with Setup Times [pdf] (with W. Mao) European Journal of Operational Research187(3), pp. 1126-1142, 2008
- Technically Speaking: Fostering the Communication Skills of Computer Science and Mathematics Students [pdf] (with L. D. Ludwig) In Proceedings of the 38th ACM SIGCSE Technical Symposium on Computer Science Education, pp. 185-189, 2007
After graduating from Penn State with a degree in Computer Engineering and a minor in Philosophy, Dr. Kretchmar worked as a software engineer at IBM to develop their first data warehousing project. In his graduate programs at Rensselaer and Colorado State, Dr. Kretchmar focused on a variety of artificial intelligence and machine learning techniques. His Ph.D. dissertation analyzed a robust (fault tolerant) reinforcement learning controller for a large HVAC system. Dr. Kretchmar teaches a wide range of courses across the computer science curriculum as well as introductory liberal arts mathematics courses. Dr. Kretchmar's classes often experiment with non-traditional pedagogies including a portfolio based system in his Sophomore Data Structures class, and a research paper based Artificial Intelligence seminar. He is also very interested in writing pedagogy and in first year student experiences; he served as Denison's Dean of First Year Students from 2007 to 2012.
Selected Student Research Projects:
- Text Message Authorship Classification Using Support Vector Machines, Yifu Zhou, 2013.
- A Reinforcement Learning Robotic Arm Controller, Taylor Kessler Faulkner, 2013.
- An Analysis of Ballot Ordering for Final Tribal Councils in the Television Series Survivor, Nat Kell. 2010.
- Kernel Methods for Image Processing, Dan Bucatanschi, 2006.
My research area is machine learning techniques. I concentrate in Reinforcement Learning, especially in building controllers for various dynamic systems. Additionally I work in the area of classification techniques including Kernel Machines and Support Vector Machines. I also dabble in games and game theory, and in discrete and combinatorial mathematics.
- Suspense at the Ballot Box. (with Nat Kell) The College Mathematics Journal, Vol 44, No 1. 2013.
- Tree Traversals and Permutations. (with Todd Feil and Kevin Hutson) Congressus Numerantium, Vol 172. 2005.
- Improved Automatic Discovery of Subgoals for Options in Hierarchical Reinforcement Learning. (with Todd Feil and Rohit Bansal) Journal of Computer Science and Technology. October, 2003.
- A Neighborhood Search Technique for the Freeze Tag Problem. (with Dan Bucatanschi, Blaine Hoffman and Kevin Hutson) Extending the Gap: Advances in Computing, Optimization, and Decision Technologies. 2007.
Joan Krone joined the Denison faculty in 1990, having taught mathematics at Ohio Dominican College before earning her Ph.D. in Computer Science from the Ohio State University, where she taught Data Structures and Algorithm Analysis before coming to Denison.
Her research is in the mathematical foundations of computer science, emphasizing mathematical reasoning about the formal specification and verification of software in the context of software engineering principles. Krone is a strong advocate of undergraduate research and has served as mentor to more than 30 undergraduate research students, many of whom have presented their work at professional conferences. She developed a discrete math course that introduced computer science applications of mathematical concepts and co-authored the textbook “Essential Discrete Mathematics for Computer Science” with Todd Feil. In addition to teaching computer science Krone is the Director of the Gilpatrick Center, which oversees the summer research program at Denison, as well as serving to advise students applying for a variety of prestigious scholarships such as Fulbright, Marshall, Rhodes, and others.
Selected Student Research Projects
Welch, D. 2011, 2012 “Modular Design and Verification in RESOLVE,” NSF student.
Presentation at MCURCSM, November 2012.
Behrend, S. 2007. “Logic for Program Verification.” DURF student. Presentation at SIGCSE,
March, 2007. Presentation at MCURCSM, November, 2007.
Fressola, A. 2004. “Integers by Induction.” Anderson student. Presentation at the National American Mathematical Society Conference, Phoenix, Arizona.
Tawney, M. 2003 Anderson student. “Algorithm Analysis for the Object Oriented Paradigm.”
2002. Invited talk at The Ohio State University, March 13, 2003. Posters on the Hill, April 1, 2003.
Dimitrov, V. summer 2001. “Zero-Divisor Graphs.” Presented at the ACM-SIGCSE Conference, February, 2002.
My research lies in the field of formal methods for software engineering. The focus is on the formal specification of software in the context of software engineering principles developed by experts in the field over decades of research and practice. Recent NSF funding has supported the design and development of a new language, RESOLVE (REusable SOftware Langauage with VErification), that includes constructs for formal mathematical specifications to promote mathematical reasoning and proofs of program correctness. Krone’s work has included both the development of logic for reasoning about program correctness and the development of material needed in the computer science curriculum to support mathematical reasoning about programs.
1. Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova, Blair Durkee, Heather Harton, Wayne Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, and Diego Zaccai, A Language for Building Verified Software Components, Proceedings of ICSR, Pisa, Italy, July 2013.
2. Joan Krone, Jason Hallstrom, Murali Sitaraman, CCSC 2011 Proceedings, “Mathematics throughout the CS Curriculum.”
3. Murali Sitaraman, Bruce Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather Harton, Wayne Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, and Bruce W. Weide, “Building a Push-Button RESOLVE Verifier: Progress and Challenges,” Formal Aspects of Computing, 2010, 34 pages.
4. J. Krone, J.E. Hollingsworth, M. Sitaraman, and J.O. Hallstrom, “A Reasoning Concept Inventory for Computer Science,” Technical Report RSRG-10-01, School of Computing, Clemson University, Clemson, SC 29634-0974, September, 2010, 6 pages.
5. Sitaraman, Hallstrom, White, Drachova-Strang, harton, Leonard, Krone, Pak, “Engaging Students in Specification and Reasoning: Hands on Experimentation and Evaluation,” Proceedings of ITiCSE, July 5-8, 2009.
6. Keown, H., Krone, J., & Sitaraman, M. , “Formal Program Verification.” The Encyclopedia of Computer Science and Engineering. Wiley, 2008.
Ashwin Lall joined the Denison faculty in 2010. Prior to this, he was a postdoctoral researcher at Georgia Tech, a Ph.D. student and Sproull fellow at the University of Rochester, and a math/computer science double major at Colgate University. Dr. Lall has taught several introductory courses, such as CS110, CS109, FYS102, as well as advanced topics such as Theory of Computation and Design/Analysis of Algorithms. Dr. Lall created a Game Design elective for the CS major in 2012. In 2013, he designed a new version of the introductory computer science course with an emphasis on applications in the social sciences. Dr. Lall was named a Bayley-Bowen faculty fellow in 2013.
Selected student research projects:
- Yuting Chen, Edward Takahashi. Sketch-guided sampling for measuring network traffic statistics. In proceedings of MCURCSM 2012.
- Edward Takahashi, Yuting Chen. Divergence in network traffic. In proceedings of MCURCSM 2012.
My research focuses on the design and analysis of algorithms for very large data sets. Much of my work has to do with applications in computer networks, though I have also done work in the areas of databases, social networks, distributed computing, and natural language processing (AI). I am interested in doing summer research with students on analysis of networking data, query optimization, or social networks. Interested students should drop by my office to discuss possible projects.
- Towards Optimal Error-Estimating Codes through the Lens of Fisher Information Analysis [pdf], Nan Hua, Ashwin Lall, Baochun Li, and Jun Xu. In Proceedings of SIGMETRICS, London, UK, 2012.
- Dense Subgraphs on Dynamic Networks [pdf], Atish Das Sarma, Ashwin Lall, Danupon Nanongkai, Amitabh Trehan. In Proceedings of DISC, Salvador, Brazil, 2012.
- Regret-Minimizing Representative Databases [pdf], Danupon Nanongkai, Atish Das Sarma, Ashwin Lall, Richard J. Lipton, and Jim Xu. In Proceedings of the 36th International Conference on Very Large Databases, Singapore, 2010.
- Streaming Pointwise Mutual Information [pdf], Benjamin Van Durme and Ashwin Lall. In Proceedings of the Neural Information Processing Systems Conference, Vancouver, Canada, 2009.
- Data Streaming Algorithms for Estimating Entropy of Network Traffic [pdf], Ashwin Lall, Vyas Sekar, Mitsunori Ogihara, Jun Xu, and Hui Zhang. In Proceedings of ACM SIGMETRICS 2006/IFIP Performance, Saint Malo, France, 2006.
Lew Ludwig joined the Denison faculty in 2002. Prior to this, he had visiting positions at Miami University and Kenyon College. He earned his doctorate at Ohio University under his advisor A. V. Arhangelskii, a Master’s Degree in Mathematics at Miami University and a Master’s in Education from the College of Mount St. Joseph. Dr. Ludwig has taught a variety of classes at Denison including FYS 102, Math 121, Math 122, Math 123, Math 124, Math 231, Math 210, Math 321/322 and Math 400 Knot Theory. He also teaches Math 215 Technically Speaking. In recent years, Dr. Ludwig has adopted the “flip classroom” format where students engage in the material before coming to class. In 2013, he was awarded the Distinguished Teaching Award from the Ohio Section of the Mathematical Association of America.
Selected student research projects:
- Joseph Paat (’11) and Erica Evans (’11), An infinite family of knots whose mosaic number is realized in non-reduced projections, won best presentation at MathFest 2010.
- Joseph Paat (’11) and Jacob Shapiro (’10), Tabulating knot mosaics, won best presentation at JMM 2010 Poster Session.
- Sam Behrend (’09), Linking in straight-edge embeddings of K9, won best presentation at MathFest 2008 and JMM 2009 Poster Session.
- Rachel Grotheer (’08) Linking in straight-edge embeddings of K8, won best presentation at MathFest 2007 and JMM 2008 Poster Session.
- Colleen Hughes (’06) Linking in straight-edge embeddings of K6, won best presentation at MathFest 2004 and JMM 2005 Poster Session.
Dr. Ludwig was trained as a point-set topologist and continues work in this field looking at separation and convergence-type problems. In order to include undergraduates in his work, Dr. Ludwig expanded his research to include knot theory, a branch of topology. Since 2005, Dr. Ludwig has worked with nine undergraduate students on seven different research projects. Combined, his students have won 11 national awards with cash prizes totaling over $1000, for the quality of their work and presentations. Dr. Ludwig is happy to advise summer research students in any area of knot theory. He and his students have been very successful with the two hands-on topics of stick knots and knot mosaics, producing four peer-reviewed publications.
- An infinite family of knots whose mosaic number is realized in non-reduced projections (with Erica Evans (’11) and Joe Paat (’11)), Journal of Knot Theory and its Ramifications, 22:7, 2013
- Linking in straight-edge embeddings of K7 (with Pameila Arbisi (’07)), Journal of Knot Theory and its Ramifications, 19:11, pp. 1431-1447, 2010.
- Dowker Spaces Revisited (with Nyikos and Porter), Tsukuba Journal of Mathematics 34:1, pp. 1-11. 2010
- When graph theory meets knot theory (with Foisy), Contemporary Mathematics 479, pp. 67–85, 2009
May Mei joined the Denison faculty in 2013 after completing her PhD in mathematics at UC Irvine. She enjoys teaching a wide variety of math courses including calculus, linear algebra and differential equations, and elementary graph theory. Dr. Mei relishes conversations with aspiring young mathematicians and encourages her students and math majors to visit her office.
Selected student research projects:
- Asymptotic Spectral Properties of the Schrodinger Operator with Thue-Morse Potential, William Clark (Ohio University), Rachael Kline (St. John Fisher College), Michaela Stone (Louisiana State University), Summer 2013
- On the Spectrum of the Penrose Laplacian, Michael Dairyko (Iowa State University), Christine Hoffman (Smith College), Julie Pattyson (University of St Joseph), Hailee Peck (Millikin University), Summer 2013
- Asymptotic Analysis of the Spectrum of the Discrete Hamiltonian with Period Doubling Potential, Meg Fields (University of North Carolina at Asheville), Tara Hudson (University at Buffalo), Maria Markovich (Shippensburg University), Summer 2013
- Using the Ammann-Beenker Tiling to Model Quasicrystals, Brittany Livsey (Georgetown College), Jason Mifsud (Binghamton University), Francesca Romano (Siena College), Summer 2013
My research involves an interesting intersection of dynamical systems and mathematical physics. I study mathematical models that describe how an electron passes through quasicrystalline material. This motivates the use of a wide range of mathematical tools including uniform hyperbolicty, partial hyperbolicity, symbolic dynamics, and spectral theory. I’m also interested in numerical experiments that are related to this problem, which is an area with many possibilities for undergraduate research.
- Spectra of Discrete Schrodinger Operators with Primitive Invertible Substitution Potentials (preprint, 2013)
- Spectral Theory of Discrete Quasiperiodic Jacobi Operators Associated to Primitive Invertible Substitution Sequences (in preparation, 2013)
I grew up in Virginia in a small town and received a Ph.D. in Mathematics at the University of Virginia in Charlottesville. After completing my Ph. D. work at Oxford and teaching for two years at The University of California at Irvine, I came to Denison where I have spent the last 12 years. I have a wife, Nancy, and two kids, Joseph (14) and Emily (11). Mathematically, I am interested in operator theory, probability, and statistics. Outside of mathematics, I am interested in Jesus Christ first and foremost. I am also interested in games, history, sports statistics, indie rock, and showing mercy to the poor, lonely, and marginalized.
Selected student research projects:
- Modeling player value in the NBA, Danny Persia, Summer 2013 (awarded a Pi Mu Epsilon Research Presentation Award, Math Fest 2013)
- Metric-linear characterizations of operator algebra structures, Matt Gibson, 2012-2013 (presented at Joint AMS/MAA meetings, 2013)
- Toward a metric-linear characterizations of operator algebras, Nathan Zakhari, 2010-2011 (awarded a research presentation award, Math Fest 2010)
- Toward a classification of n-uniform frames in linear coding theory, Glen Sutula, 2011 (presented at Math Fest 2010)
Recently, I have done research with students in NBA basketball analytics. I try to determine what players are worth, which five man-units play well together, and which coaching strategies are most successful. To do this, I use statistical modeling methods that are commonly used in most real world industries. Hence, research in NBA analytics is an excellent preparation for any career that involves analyzing data to solve problems.
Much of my research is in Functional Analysis and Algebra. More specifically, I study the algebra, geometry and topology of spaces of operators. Operators represent the basic observables of the universe, like energy and momentum. Although my work is theoretical, the problems I solve are motivated by probabilistic questions in Quantum Mechanics. I have had success working with students on such problems. Unlike my basketball analytics projects discussed above, operator theory requires students to be somewhat advanced in their mathematical education. Students who want to pursue a Ph. D. in Mathematics will benefit most from this kind of work.
- A holomorphic characterization of operator algebras (with B. Russo) to appear in Mathematica Scandinavica, 2013
- Metric characterizations II (with D. Blecher) to appear in the Illinois Journal of Mathematics, 2013
- Open projections in operator algebras II: compact projections (with D. Blecher), Studia Mathematica 208, pp. 203-224, 2012
- Open projections in operator algebras I: comparison theory (with D. Blecher). Studia Mathematica 209, pp. 117-150, 2012
- Metric haracterizations of isometries and of unital operator spaces and systems (with D. Blecher). Proceedings of the American Mathematical Society 139, pp. 985-998, 2011
My interests include Foundations Of Quantum Mechanics, Quantum Information Theory, Quantum Computing, and Logic.
- Reverend Bayes takes the Unexpected Examination (with B. Schumacher) in Math Horizons.
- Quantum one-time keypad (with B. Schumacher) in Physical Review A, 74, No. 4. (October 2006).
- Characterization of Boolean Topological Logics (with A. Fressola, J. Krone and S. Paunov) in Journal of Multiple - Valued Logic. (January 2006).
- Reversibility of local transformations of multiparty entanglement (with N. Linden, S. Popescu and B. Schumacher) in Journal of Quantum Information Processing, 4, 241-250. (August 2005).
- Locality and information transfer in quantum operations (with B. Schumacher) in Journal of Quantum Information Processing, 4, 13-34. (February 2005).
- Approximate quantum error correction (with B. Schumacher) in Journal of Quantum Information Processing, 1, 5-12. (April 2002).
- Entanglement measures and quantum channels (with B. Schumacher) in Special issue on quantum information theory, Journal of Mathematical Physics, 43, Number 9, 4279-4285. (September 2002).
- Relative entropy in quantum information theory (with B. Schumacher) in American Mathematical Society Contemporary Mathematics Series: Quantum Information and Quantum Computation, 305, American Mathematical Society, Providence. (2002).
- Implication in twin open set logic (with J. Krone) in Collision-Based Computing, Lecture Notes in Computer Science. Andrew Adamatzky (Editor), Springer Verlag, New York. (2002).
- Indeterminate length quantum coding (with B. Schumacher) in Physical Review A, 64, 042304. (September 2001).
- Optimal signal ensembles (with B. Schumacher) in Physical Review A, 63, 022308. (February 2001).
- Collision models for multiple-value logic gates (with J. Krone) in Journal of Multiple Valued Logic, 6, 405-421. (2001).
- Characterizations of Classical and Quantum Communications Processes (with B. Schumacher) in Chaos, Solitons & Fractals, 10, 1719-1736. (September 1999).
- Classical Capacity of Quantum Channels, Coherent Quantum Information and Quantum Privacy (with B. Schumacher) in Proceedings of the 1998 IEEE International Symposium on Information Theory. (1998).
- Capacities of Quantum Channels and Quantum Coherent Information (pdf) (with B. Schumacher) in Quantum Computing and Quantum Communications, Lecture Notes in Computer Science 1509. Springer Verlag, New York. (1999).
- Coherent information and quantum cryptography (with B. Schumacher) in Physical Review Letters, 80, 5695-5697. (June 1998).
- Analysis of billiard ball computation using phase space logics (pdf) (with J. Krone and B. Schumacher) in Physica D, 120, 236-252. (September 1998).
- Sending classical information via noisy quantum channels (with B. Schumacher) in Physical Review A, 56, 131-138. (July 1997).
- Limitation of the amount of accessible information in a quantum channel (pdf) (with B. Schumacher and W. Wootters) in Physical Review Letters, 76, 3452. (April 1996).
- Classical information capacity of a quantum channel (pdf) (with P. Hausladen, B. Schumacher and W. Wootters) in Physical Review A, 54, 1869-1876. (September 1996).
- Three-valued logics for classical phase spaces (pdf) (with S. Bailey and B. Schumacher) in International Journal of Theoretical Physics, 35, Number 1, 31-62. (January 1996).
- Sending classical bits via quantum its (with P. Hausladen, B. Schumacher and W. Wootters) in Fundamental Problems in Quantum Mechanics, D. Greenberger & A. Zeilinger, Editors, New York Academy of Sciences. (1995).
- Zenos arrow and classical phase space logics (pdf) (with B. Schumacher) in Foundations of Physics Letters, 7, Number 3, 259-271. (June 1994).
- Non-Boolean derived logics for classical systems (with B. Schumacher) in Physical Review A, 48, Number 2, 977-985. (August 1993).
- Quantum Entanglement and the Nonexistence of Superluminal Signals (pdf) (with B. Schumacher) submitted to Nature.