![]() | ![]() |
| 2012 | ||
|---|---|---|
| 5 | Florent Barbault, François Maurel: Is inhibition process better described with MD(QM/MM) simulations? The case of urokinase type plasminogen activator inhibitors. Journal of Computational Chemistry 33(6): 607-616 (2012) | |
| 2006 | ||
| 4 | Emmanuel Beffara, François Maurel: Concurrent nets: A study of prefixing in process calculi. Theor. Comput. Sci. 356(3): 356-373 (2006) | |
| 2005 | ||
| 3 | Claudia Faggian, François Maurel: Ludics Nets, a game Model of Concurrent Interaction. LICS 2005: 376-385 | |
| 2 | Emmanuel Beffara, François Maurel: Concurrent Nets: A Study of Prefixing in Process Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 67-86 (2005) | |
| 2003 | ||
| 1 | François Maurel: Nondeterministic Light Logics and NP-Time. TLCA 2003: 241-255 | |
| 1 | Florent Barbault | [5] |
| 2 | Emmanuel Beffara | [2] [4] |
| 3 | Claudia Faggian | [3] |
Colors in the list of coauthors
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page