CITI has stopped operations in 2014, to co-launch
NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
Home
\
Members
\ Member Page
Login
CITI
Welcome
Research Areas
Organization
Executive Board
Advisory Board
Contacts
Useful Information
People
CITI Members
Visitors
Activities
Research Projects
Publications
Seminars @ CITI
External Talks & Seminars
Graduation Activities
Organization of Events
Editorial Committees
Prototypes
Visits & Missions
Activity Reports
Search & Query
Search
BibTeX Generator
Anabela Ribeiro
Software Systems
Country:
Portugal
Position:
PhD Student
Email:
ar(at)di.fct.unl.pt
Publications (4)
Seminars (1)
Graduation Activities (1)
{ Publications }
Anabela Ribeiro publications in BibTeX format
( dissertations )
Estudo do Modelo Abstract de Programação Concorrente
MSc Thesis
@ Departamento de Informática FCT/UNL
-
1995
( in proceedings )
Context-Sensitive AC-Rewriting
@ Rewriting Techniques and Applications: 10th International Conference, RTA-99, Proceedings
-
1999
( technical reports )
Verifying the Arrow Distributed Protocol in a Spatial Logic
Departamento de Informática FCT/UNL
-
December, 2004
( other publications )
Termination and Confluence of Context-Sensitive AC-Rewriting
2000
© 2007 CITI @
citi
.
di
.
fct
.
unl
.pt
administrator
|
webmaster