| 2009 |
|---|
| 10 | EE | Florin Craciun,
Wei-Ngan Chin,
Guanhua He,
Shengchao Qin:
An Interval-Based Inference of Variant Parametric Types.
ESOP 2009: 112-127 |
| 2008 |
|---|
| 9 | EE | Alexandru Stefan,
Florin Craciun,
Wei-Ngan Chin:
A Flow-Sensitive Region Inference for CLI.
APLAS 2008: 19-35 |
| 8 | EE | Florin Craciun,
Shengchao Qin,
Wei-Ngan Chin:
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm.
ICFEM 2008: 126-146 |
| 2006 |
|---|
| 7 | EE | Wei-Ngan Chin,
Florin Craciun,
Siau-Cheng Khoo,
Corneliu Popeea:
A flow-based approach for variant parametric types.
OOPSLA 2006: 273-290 |
| 6 | EE | Florin Craciun,
Hong Yaw Goh,
Corneliu Popeea,
Wei-Ngan Chin:
Core-java: an expression-oriented java.
OOPSLA Companion 2006: 639-640 |
| 2004 |
|---|
| 5 | EE | Wei-Ngan Chin,
Florin Craciun,
Shengchao Qin,
Martin C. Rinard:
Region inference for an object-oriented language.
PLDI 2004: 243-254 |
| 2001 |
|---|
| 4 | EE | Ioan Alfred Letia,
Florin Craciun,
Zoltan Köpe:
Norms for DLP Agents Working in a Warehouse Scenario.
IEA/AIE 2001: 728-733 |
| 2000 |
|---|
| 3 | EE | Ioan Alfred Letia,
Florin Craciun,
Zoltan Köpe:
Towards Validation of Specifications by Simulation.
Agents Workshop on Infrastructure for Multi-Agent Systems 2000: 293-295 |
| 2 | EE | Ioan Alfred Letia,
Florin Craciun,
Zoltan Köpe,
Alexandru Lelutiu:
First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents.
IDEAL 2000: 187-192 |
| 1 | EE | Ioan Alfred Letia,
Florin Craciun,
Zoltan Köpe:
Validating the Behavior of Self-Interested Agents in an Information Market Scenario.
IDEAL 2000: 392-397 |
