|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 2 occurrences of 2 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 59 | Kai Li 0009, Xiaodong Wang 0001 |
Cross-Layer optimization for LDPC-coded multirate multiuser systems with QoS constraints.  |
IEEE Trans. Signal Process.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 39 | Arbel D. Tadmor, Rob Phillips |
MCRL: using a reference library to compress a metagenome into a non-redundant list of sequences, considering viruses as a case study. |
Bioinform. |
2022 |
DBLP DOI BibTeX RDF |
|
| 39 | Pepijn Crouzen, Jaco van de Pol, Arend Rensink |
Applying formal methods to gossiping networks with mCRL and groove. |
SIGMETRICS Perform. Evaluation Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
| 39 | Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
New developments around the mCRL tool set. |
FMICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 39 | Michel A. Reniers, Jan Friso Groote, Mark van der Zwaag, Jos van Wamel |
Completeness of Timed mCRL. |
Fundam. Informaticae |
2002 |
DBLP BibTeX RDF |
|
| 36 | Bas Ploeger, Lou J. Somers |
Analysis and verification of an automatic document feeder. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
copier, mCRL, process algebra, document systems |
| 30 | Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol |
µCRL: A Toolset for Analysing Algebraic Specifications. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license