`Travelled to:`

1 × Germany

1 × Japan

1 × Spain

1 × United Kingdom

`Collaborated with:`

G.Gupta ∅

`Talks about:`

logic (3) time (3) coinduct (2) program (2) system (2) constraint (1) calculus (1) grammar (1) foundat (1) definit (1)

## Person: Neda Saeedloei

### DBLP: Saeedloei:Neda

### Contributed to:

### Wrote 5 papers:

- LOPSTR-2013-Saeedloei #encoding #logic #π-calculus
- A Logical Encoding of Timed π-Calculus (NS), pp. 164–182.
- FLOPS-2012-SaeedloeiG #constraints #induction #logic programming
- Coinductive Constraint Logic Programming (NS, GG), pp. 243–259.
- ICLP-2010-Saeedloei10 #cyber-physical #logic programming
- Logic Programming Foundations of Cyber-Physical Systems (NS), pp. 289–293.
- ICLP-2010-SaeedloeiG10 #definite clause grammar
- Timed Definite Clause Ω-Grammars (NS, GG), pp. 212–221.
- LATA-2010-SaeedloeiG #induction #realtime #verification
- Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) (NS, GG), pp. 536–548.