|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
|
|
Results
Found 11 publication records. Showing 11 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data.  |
VMCAI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
On inter-procedural analysis of programs with lists and data. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, Mihaela Sighireanu |
Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Yan Jurski, Mihaela Sighireanu |
A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
A Logic-Based Framework for Reasoning about Composite Data Structures. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Yan Jurski, Mihaela Sighireanu |
Rewriting Systems over Nested Data Words. |
MEMICS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cezara Dragoi, Florin Manea |
On the Descriptional Complexity of Accepting Networks of Evolutionary Processors with Filtered Connections. |
Int. J. Found. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezara Dragoi, Gheorghe Stefanescu |
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Cezara Dragoi, Gheorghe Stefanescu |
A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cezara Dragoi, Gheorghe Stefanescu |
On Compiling Structured Interactive Programs with Registers and Voices. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
structured rv-systems, registers and voices, programming languages, interactive systems, operational semantics, compiler correctness |
| 1 | Cezara Dragoi, Florin Manea, Victor Mitrana |
Accepting Networks of Evolutionary Processors with Filtered Connections. |
J. UCS |
2007 |
DBLP BibTeX RDF |
|
Displaying result #1 - #11 of 11 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")