Gulay nel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2007–2010
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | LPAR | Speed-Up Techniques for Negation in Grounding. | Amir Aavani, Shahab Tasharrofi, Gulay nel, Eugenia Ternovska, David G. Mitchell |
| 2009 | FQAS | Stream Reasoning: A Survey and Further Research Directions. | Gulay nel, Dumitru Roman |
| 2007 | CADE | An Incremental Technique for Automata-Based Decision Procedures. | Gulay nel, David Toman |
| 2007 | ICLP | Logic Programming Approach to Automata-Based Decision Procedures. | Gulay nel, David Toman |