Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for SMPP with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2004 (1) 2008 (1) 2010 (1) 2012 (1)
Publication types (Num. hits)
inproceedings(4)
Venues (Conferences, Journals, ...)
ECSA(1) Erlang Workshop(1) IPDPS Workshops(1) POPL(1)
Authors
Aarti Gupta(1) Carlos E. Cuesta(1) Carlos J. Escudero(1) Daniel I. Iglesia(1) Enrique Marcote(1) Esperanza Marcos(1) Flávio Oquendo(1) Franjo Ivancic(1) Jinian Bian(1) Marcos López Sanz(1) Sriram Sankaranarayanan 0001(1) William R. Harris(1) Yuchun Ma(1) Zawar Qayyum(1) Zhongda Yuan(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 10 keywords
Results
Found 4 publication records. Showing 4 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
139William R. Harris, Sriram Sankaranarayanan 0001, Franjo Ivancic, Aarti Gupta Program analysis via satisfiability modulo path programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF program analysis, abstract interpretation, symbolic execution, path sensitivity, smt solvers, satisfiability solvers
64Enrique Marcote, Daniel I. Iglesia, Carlos J. Escudero An external short message entity for gambling services. Search on Bibsonomy Erlang Workshop The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SMPP, mobile gambling, SMS, XForms
46Zhongda Yuan, Yuchun Ma, Jinian Bian SMPP: Generic SAT Solver over Reconfigurable Hardware Accelerator. Search on Bibsonomy IPDPS Workshops The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
28Marcos López Sanz, Zawar Qayyum, Carlos E. Cuesta, Esperanza Marcos, Flávio Oquendo Representing Service-Oriented Architectural Models Using pi-ADL. Search on Bibsonomy ECSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF PIM-level modelling, ?-ADL, Service-Oriented Architecture, Model-Driven Architecture
Displaying result #1 - #4 of 4 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license