HASLab

High-Assurance Software Laboratory

Overview


News

  • New Paper: J.N. Oliveira. Weighted automata as coalgebras in categories of matrices. IJFCS Vol. 24, No. 6 (2013) 709–728, WSP Company. DOI: 10.1142/S0129054113400145
  • New Paper: H.D. Macedo and J.N. Oliveira. Typing Linear Algebra: a Biproduct-oriented Approach. SCP 78:11, pp.2160-2191 (DOI 10.1016/j.scico.2012.07.012)
  • New Paper: J.C. Campos and J. Machado, A Specification Patterns System for Discrete Event Systems Analysis, Int. J. Adv. Robotic Systems, vol. 10, 2013, doi:110.5772/56412
  • Job Opportunities: We are opening five post-doctoral positions. tinynew.gif Details here
  • New Paper: José N. Oliveira, Miguel A. Ferreira, "Alloy Meets the Algebra of Programming: A Case Study," IEEE Transactions on Software Engineering, vol. 39, no. 3, pp. 305-326, March 2013, doi:10.1109/TSE.2012.15

                        (more...)

DI » FMHAS » WebAtom?

---+ Note: This topic does not exist

*The topic 'WebAtom' you are trying to access does not exist, yet.*

*Did you spell the TWiki.WikiWord correctly?* Remember, a WikiWord is case sensitive.
---+++ Do you wish to navigate quickly to a similar topic? Similar topics in this web (if any):
arrowbright [[/twiki/bin/view/DI/FMHAS/WebSearch?scope=topic;search=WebAtom][List more similar topic in this web]]
arrowbright [[/twiki/bin/view/DI/FMHAS/WebSearch?scope=topic;web=all;search=WebAtom][Search similar topics in all public webs]] ---+++ Do you wish to create the topic 'WebAtom'? arrowbright [[http://wiki.di.uminho.pt/twiki/bin/view/DI/FMHAS/WebAtom?create=on&newtopic=WebAtom][Create 'WebAtom']]

Create New Topic in DI/FMHAS Web

Topic name:


It's usually best to choose a WikiWord for the new topic name, otherwise automatic linking may not work. Characters not allowed in topic names, such as spaces will automatically be removed.

Topic parent:

Use template:

View templates


info Once you have created the topic, consider adding links in related topics to the new topic so that there are more ways people can discover it.

r13 - 15 Nov 2006 - 19:43:52 - TWikiContributor
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
Syndicate this site RSSATOM