Search:
	any fieldabstractaffiliationauthorauthor countauthority authorauthority instituteauthority journalauthority subjectcaptioncataloguer nicknamecited bycited by excluding self citescodencollaborationcollectiondate createddate modifieddivisiondoiexact authorexact first authorexact titleexperimentfile typefirst authorfulltextisbnissnitem countjournalkeywordmiscellaneousrecord IDreferencereference torefers torefers to excluding self citesreport numberrestrictionsubjecttitleyear
Search Tips :: Advanced Search

Search collections:

*** any public collection ***Administrative ReportsAuthor WorksAuthor Works for ApprovalITAM LibraryCompany PublicationsCompany Publications for Appro...Conference ContributionsConference MaterialsConference Materials for Appro...Conference ProceedingsConference ProgramseBooksEssaysExam TopicsLecture NotesMonographsPapersPostersPreprintsPresentationsProceedingsProduct InstructionsProduction CataloguesProject DocumentsReportsReports for ApprovalResearch ReportsSillabiStudy materialsStudy Materials for ApprovalThe Institute of Theoretical a...ThesesTheses for Approval

Sort by:	Display results:	Output format:
latest firsttitleauthorreport numberyear asc.desc. - or rank by -word similaritytimes citedselfcites	10 results25 results50 results100 results single listsplit by collection	BibTeXDublin CoreEndNoteEndNote (8-X)HTML briefHTML citesummaryHTML detailedMARCMARCXMLMODSNLMphoto captions onlyportfolioRefWorksUntitled

The Institute of Theoretical and Applied Mechanics

2 records found

Search took 0.05 seconds.

1.	Original version of the author's contribution as presented on USB, paper 710006_1.pdf.: PDF A logic for robotics? Madeira, Alexandre ; Barbosa, Luís S. Logic in Computer Science, Dynamic logic; Robotics Detailed record - Similar records
2.	Original version of the author's contribution as presented on USB, paper 310008_1.pdf.: PDF Specifying structural constraints of architectural patterns in the ARCHERY language Sanchez, Alejandro ; Riesco, Daniel software architecture, architectural patterns, formal verification Detailed record - Similar records

See also: similar author names
2	Barbosa, Luis S.

Interested in being notified about new results for this query?
Set up a personal email alert or subscribe to the RSS feed.

Haven't found what you were looking for? Try your search on other servers:
Barbosa, Luís S. in Amazon Barbosa, Luís S. in CERN EDMS Barbosa, Luís S. in CERN Indico Barbosa, Luís S. in CERN Intranet Barbosa, Luís S. in CiteSeer Barbosa, Luís S. in Google Books Barbosa, Luís S. in Google Scholar Barbosa, Luís S. in Google Web Barbosa, Luís S. in IEC	Barbosa, Luís S. in IHS Barbosa, Luís S. in INSPEC Barbosa, Luís S. in INSPIRE Barbosa, Luís S. in ISO Barbosa, Luís S. in KISS Books/Journals Barbosa, Luís S. in KISS Preprints Barbosa, Luís S. in NEBIS Barbosa, Luís S. in SLAC Library Catalog Barbosa, Luís S. in Scirus