24
Publications
864
Citations
17
H-Index
1984
Active since
Joseph Gil is an author at Technion – Israel Institute of Technology specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisComputer EngineeringSoftware EngineeringSystem SoftwareParallel ComputingAutomated Reasoning
Publications per year
1984–2011
24
24
Joseph Gil, Itay Maman · 2005 · 172 citations
Software Maintenance, Engineering, Architectural Pattern +20
Spider Diagrams: A Diagrammatic Reasoning System
John Howse, Fernando Molina, John Taylor et al. · Journal of Visual Languages & Computing · 2001 · 76 citations · Full text
Efficient subtyping tests with PQ-encoding
Yoav Zibin, Joseph Gil · 2001 · 51 citations
Tal Cohen, Joseph Gil, Itay Maman · 2006 · 49 citations
Relational Queries, High-level Programming Language, Engineering +14
Joseph Gil, William Steiger, Avi Wigderson · Discrete Mathematics · 1992 · 48 citations
Rows per page
1–5 of 24