|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 7 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling concurrency with comtraces and generalized comtraces.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le |
On Three Alternative Characterizations of Combined Traces. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le, Stephen A. Cook |
Formalizing Randomized Matching Algorithms |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le, Stephen A. Cook, Yuli Ye |
Complexity Classes and Theories for the Comparator Circuit Value Problem |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le, Stephen A. Cook |
Formalizing Randomized Matching Algorithms. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le, Stephen A. Cook, Yuli Ye |
A Formal Theory for the Complexity Class Associated with the Stable Marriage Problem. |
CSL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le |
A Characterization of Combined Traces Using Labeled Stratified Order Structures |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le |
On Three Alternative Characterizations of Combined Traces |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le |
A Characterization of Combined Traces Using Labeled Stratified Order Structures. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le |
Modelling Concurrent Behaviors in the Process Specification Language |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling Concurrency with Comtraces and Generalized Comtraces |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le |
Combining Partial Order Alignment and Progressive Near-Optimal Alignment |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le |
Statechart Verification with iState |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ryszard Janicki, Dai Tri Man Le, Nadezhda Zubkova |
Closure Operators for Order Structures. |
FCT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dai Tri Man Le, Ryszard Janicki |
A Categorical Approach to Mereology and Its Application to Modelling Software Components. |
T. Rough Sets |
2008 |
DBLP DOI BibTeX RDF |
“part of” relation, software component, category theory, mereology |
| 1 | Ryszard Janicki, Dai Tri Man Le |
Modelling Concurrency with Quotient Monoids. |
Petri Nets |
2008 |
DBLP DOI BibTeX RDF |
quotient monoids, comtraces, stratified partial orders, stratified order structures, traces, canonical representations, step sequences |
| 1 | Ryszard Janicki, Dai Tri Man Le |
Towards a Pragmatic Mereology. |
Fundam. Inform. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Dai Tri Man Le, Ryszard Janicki |
On a Parthood Specification Method for Component Software. |
RSCTC |
2006 |
DBLP DOI BibTeX RDF |
“part of” relation, theory of composition and decomposition, software architecture, software components, mereology |
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")