| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Guo-Qiang Zhang 0001 |
Decidable fragments of domain mu-calculus: an automata-theoretic perspective.  |
FICS  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Hans Leiß |
Kleenean semimodules and linear languages. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Neil Ghani, Christoph Lüth, Federico De Marchi |
Coalgebraic approaches to algebraic terms. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luigi Santocanale |
Congruences of modal µ-algebras. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto |
Kleene through the process algebraic glass. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nick Benton, Martin Hyland |
Traced pre-monoidal categories. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Anna Ingólfsdóttir (eds.) |
Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Dexter Kozen |
On two letters versus three. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Anna Labella |
Kleene's (unary) star in nondeterministic context. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Thomas P. Jensen, Florimond Ployette, Olivier Ridoux |
Iteration schemes for fixed point calculation. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nikolay V. Shilov 0002, Natalya Olegovna Garanina |
Model checking knowledge and fixpoints. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gérard Boudol, Pascal Zimmer |
Recursion in the call-by-value lambda-calculus. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Benet Devereux |
Strong next-time operators for multiple-valued mu-calculus. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Lynne Blair, Gordon S. Blair, Jianxiong Pang, Christos Efstratiou |
Feature Interactions Outside a Telecom Domain. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Silva Robak, Bogdan Franczyk |
Feature Interaction and Composition Problems in Software Product Lines. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Louise Lorentsen, Antti-Pekka Tuovinen, Jianli Xu |
Modelling Feature Interactions in Mobile Phones. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ragnhild Van Der Straeten, Johan Brichau |
Features and Features Interactions in Software Engineering using Logic. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Elke Pulvermüller, Andreas Speck, James Coplien, Maja D'Hondt, Wolfgang De Meuter |
Position Paper: Feature Interaction in Composed Systems. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Judith A. Stafford, Kurt C. Wallnau |
Predicting Feature Interactions in Component-Based Systems. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Luís Filipe Andrade, José Luiz Fiadeiro |
Feature Modeling and Composition with Coordination Contracts. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yu Jia, Yuqing Gu |
Representing and Reasoning on Feature Architecture: A Description Logic Approach. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Andreas Hein 0004, John MacGregor, Steffen Thiel |
Configuring Software Product Line Features. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Miguel A. Pérez 0001, Amparo Navasa Martínez, Juan Manuel Murillo |
An Architectural Style to Integrate Components and Aspects. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Matthias Clauß |
A Proposal for Uniform Abstract Modeling of Feature Interactions in UML. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Erik Ernst |
What's in a Name? |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Danilo Beuche |
Feature Based Composition of an Embedded Operating System Family. |
FICS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Elke Pulvermüller, Andreas Speck, James Coplien, Maja D'Hondt, Wolfgang De Meuter (eds.) |
Proceedings of the ECOOP 2001 Workshop on Feature Interaction in Composed Systems (FICS 2001), Budapest, Hungary, June 18-22, 2001 |
FICS |
2001 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license