BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Saeedloei:Neda

Contributed to:

LOPSTR 20132013
FLOPS 20122012
ICLP 20102010
LATA 20102010

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.