2005 |
7 | EE | Xiaoyu Mao,
Janette Cardoso,
Robert Valette:
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.
ATVA 2005: 278-292 |
6 | | Omar Tahir,
Christophe Sibertin-Blanc,
Janette Cardoso:
A Causality-based Semantics for UML Sequence Diagrams.
IASTED Conf. on Software Engineering 2005: 106-111 |
5 | EE | Christophe Sibertin-Blanc,
Omar Tahir,
Janette Cardoso:
Interpretation of UML Sequence Diagrams as Causality Flows.
ISSADS 2005: 126-140 |
2004 |
4 | | Janette Cardoso,
Guilherme Bittencourt,
Luciana Frigo,
Eliane Pozzebon,
Adriana Postal:
MathTutor: A Multi-Agent Intelligent Tutoring System.
AIAI 2004: 231-242 |
2000 |
3 | EE | Christophe Sibertin-Blanc,
Chihab Hanachi,
Janette Cardoso:
Communication Protocols as First-class Components of Multiagent Systems.
ICMAS 2000: 437-438 |
1999 |
2 | | Janette Cardoso,
Robert Valette,
Didier Dubois:
Possibilistic Petri nets.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 29(5): 573-582 (1999) |
1989 |
1 | | Janette Cardoso,
Robert Valette,
Didier Dubois:
Petri nets with uncertain markings.
Applications and Theory of Petri Nets 1989: 64-78 |