Search all the public and
authenticated
articles in CiteULike.
Enter a search phrase. You can also specify
a CiteULike article id (
123456
),
a DOI (
doi:10.1234/12345678
)
or a PubMed Id (
pmid:12345678
).
Click
Help
for advanced usage.
Please help support CiteULike by taking part in our
survey
.
CiteULike
leonardo's CiteULike
Search
Register
Log in
Home
News/Blog
NEW
Citegeist
Everyone's Library
Browse Groups
Search Groups
Journals
FAQs
Howto
Discussion
Library
Unread
Search
Authors
Tags
Export
Profile
Publications
Blog
Context Menu
Groups
Connections
Recommendations
NEW
Neighbours
Watchlist
leonardo's profile
About me
Username:
leonardo
Name:
Leonardo Lucena
Job title:
Not specified
Affiliation:
UFPE, Brazil
Web page:
Not specified
Joined:
2006-01-16
What I do
Not specified
Interests
Recent Activity
2009-11-08
13:54: posted
A Complete Set of Object Modeling Laws for Alloy
2009-11-07
13:42: posted
Abstract Model Checking without Computing the Abstraction
13:28: posted
Language and Tool Support for Class and State Machine Refinement in UML-B
13:27: posted
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method
13:22: posted
Towards an Operational Semantics for Alloy
2009-11-05
19:13: posted
Architecture-Driven Requirements Engineering
18:42: posted
Architecture-driven requirements engineering
2009-11-04
16:06: posted
On Language-Independent Model Modularisation
2009-10-31
00:19: posted
Completeness of fair ASM refinement