Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Geguang Pu

Intersection and Rotation of Assumption Literals Boosts Bug-Finding

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2020English

Related publications

Finding the Intersection of Two Convex Polyhedra

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
1978English

Integrating Symbolic Execution With Sensornet Simulation for Efficient Bug Finding

2010English

Canonicalizing Knowledge Base Literals

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

The Probability of Pure Literals

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1999English

Finding Hotspots by Location-Direction-Enabled Photographs Focusing on Intersection of Lines of Sight

Proceedings of the ICA
2019English

Conditional Lower Bounds for Failed Literals and Related Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Radiation Boosts Immunotherapy

Cancer Discovery
Oncology
2014English

Pandolfi Boosts HDTV

Nature
Multidisciplinary
1991English

Beyond Assumption

River Teeth: A Journal of Nonfiction Narrative
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy