@article {8734,
	title = {Nested Data Manipulation in Distributed and Heterogeneous Environments -- extended version},
	year = {2016},
	institution = {Universidade Nova de Lisboa},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/tech-report.pdf},
	author = {Jo{\~a}o Costa Seco and Ferreira, Paulo and Hugo Louren{\c c}o}
}
@proceedings {8034,
	title = {A common data manipulation language for nested data in heterogeneous environments.},
	journal = {15th International Symposium on Database Programming Languages (DBPL{\textquoteright}15)},
	year = {2015},
	address = {Pittsburgh},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/dbpl_2015.pdf},
	author = {Jo{\~a}o Costa Seco and Ferreira, Paulo and Hugo Louren{\c c}o}
}
@proceedings {8036,
	title = {Linguagem de manipula{\c c}{\~a}o de dados para NoSQL},
	journal = {INForum 2015 - Actas do 7{\textordmasculine} Simp{\'o}sio de Inform{\'a}tica},
	year = {2015},
	address = {Covilh{\~a}},
	author = {Bruno Gr{\'a}cio and Jo{\~a}o Costa Seco and Hugo Louren{\c c}o}
}
@proceedings {8037,
	title = {Sistema de Runtime para uma Linguagem Web Reativa},
	journal = {INForum 2015 - Actas do 7{\textordmasculine} Simp{\'o}sio de Inform{\'a}tica},
	year = {2015},
	address = {Covilh{\~a}},
	author = {Jo{\~a}o Mateus and Miguel Domingues and Jo{\~a}o Costa Seco}
}
@proceedings {8035,
	title = {Type Safe Evolution of Live Systems},
	journal = {Workshop on Reactive and Event-based Languages \& Systems (REBLS{\textquoteright}15)},
	year = {2015},
	address = {Pittsburgh},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/rebls15.pdf},
	author = {Miguel Domingues and Jo{\~a}o Costa Seco}
}
@proceedings {8038,
	title = { Otimiza{\c c}{\~a}o autom{\'a}tica de aplica{\c c}{\~o}es web usando templates client-side},
	journal = {INForum 2014 - Actas do 6{\textordmasculine} Simp{\'o}sio de Inform{\'a}tica},
	year = {2014},
	author = {Sara Gon{\c c}alves and Hugo Louren{\c c}o and S{\'e}rgio Silva}
}
@article {3236,
	title = {Working Note on a Type Checking Algorithm for Behavioral Separation Types},
	year = {2013},
	month = {01/2013},
	institution = {Universidade Nova de Lisboa},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-runs.pdf},
	author = {Lu{\'\i}s Caires and Jo{\~a}o Costa Seco}
}
@proceedings {3158,
	title = {Concurrent Typed Intermediate Language},
	journal = {Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing},
	year = {2013},
	pages = {1590-1591},
	address = {Coimbra},
	author = {Lu{\'\i}s Miguel Louren{\c c}o and Jo{\~a}o Costa Seco and Francisco Martins}
}
@proceedings {4774,
	title = {Fluxo de Informa{\c c}{\~a}o em Sistemas com Pol{\'\i}ticas de Confidencialidade Din{\^a}micas},
	journal = {INForum 2013},
	year = {2013},
	address = {{\'E}vora},
	author = {Ferreira, Paulo and Jo{\~a}o Costa Seco and Ferreira, Carla}
}
@proceedings {4775,
	title = {Optimizing Data Queries Over Heterogeneous Sources},
	journal = {INForum 2013},
	year = {2013},
	address = {{\'E}vora},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/inforum2013.pdf},
	author = {Grade, Nuno and L{\'u}cio Ferr{\~a}o and Jo{\~a}o Costa Seco}
}
@booklet {ferrao2013systems,
	title = {SYSTEMS, METHODS, AND APPARATUS FOR MODEL-BASED SECURITY CONTROL},
	year = {2013},
	note = {<p>US Patent 20,130,246,995</p>
},
	abstract = {<p>n/a</p>
},
	author = {Ferr{\~a}o, L{\'u}cio Emanuel Represas and Da Costa, Seco Jo{\~a}o Ricardo Viegas and Da Costa, Caires Luis Manuel Marques and Borr{\^e}ga, Caleira and Xavier, Gon{\c c}alo Filipe and Melo, Ant{\'o}nio Augusto Vieira and Rede SA, OutSystems-Software em}
}
@proceedings {3144,
	title = {The Type Discipline of Behavioral Separation},
	journal = {40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL)},
	year = {2013},
	publisher = {ACM},
	address = {Rome, Italy},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/bst-tr.pdf},
	author = {Lu{\'\i}s Caires and Jo{\~a}o Costa Seco}
}
@article {5250,
	title = {Typeful Updates on Reactive Live Web Programming},
	year = {2013},
	institution = {Universidade Nova de Lisboa},
	url = {http://miguel.domingues.pt},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/techreport-2013.pdf},
	author = {Miguel Braz{\~a}o Domingues and Jo{\~a}o Costa Seco}
}
@proceedings {4054,
	title = {Paraleliza{\c c}{\~a}o de C{\'o}digo Puro numa Linguagem Imperativa},
	journal = {Simp{\'o}sio de Inform{\'a}tica, InForum},
	year = {2012},
	address = {Caparica},
	author = {Sousa, Diogo G. and Martins, Jo{\~a}o C. and Jo{\~a}o Costa Seco}
}
@proceedings {3143,
	title = {Verification of Snapshot Isolation in Transactional Memory Java Programs},
	journal = {Proceedings of the 26th European conference on Object-oriented programming (ECOOP)},
	year = {2012},
	pages = {640 to 664},
	publisher = {Springer-Verlag ( Germany )},
	address = {Beijing, China},
	author = {Ricardo Dias and Dino Distefano and Jo{\~a}o Costa Seco and Louren{\c c}o, Jo{\~a}o}
}
@conference { data_access_control-esop11,
	title = {Type-based Access Control in Data-Centric Systems},
	booktitle = {Programming Languages and Systems, 20th European Symposium on Programming, ESOP 2011},
	series = {Lecture Notes in Computer Science},
	number = {6602},
	year = {2011},
	month = {04},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {L. Caires and Jorge A. Perez and J. C. Seco and Hugo T. Vieira and L{\'u}cio Ferr{\~a}o},
	editor = {Gilles Barthe}
}
@proceedings {4781,
	title = {Linguagem Interm{\'e}dia Tipificada para M{\'a}quina de Pilha Concorrente com Objectos},
	journal = {INForum 2011},
	year = {2011},
	address = {Coimbra},
	author = {Louren{\c c}o, Lu{\'\i}s and Jo{\~a}o Costa Seco}
}
@conference { liveweb,
	title = {LiveWeb - Core Language for Web Applications},
	booktitle = {Proceedings of InForum 2010},
	year = {2010},
	month = {09},
	publisher = {Universidade do Minho},
	organization = {Universidade do Minho},
	author = {Miguel Braz{\~a}o Domingues and J. C. Seco}
}
@conference { dias10_inforum,
	title = {Snapshot Isolation Anomalies Detection in Software Transactional Memory},
	booktitle = {Proceedings of InForum 2010},
	year = {2010},
	note = {URL={http://inforum.org.pt/INForum2010}},
	month = {09},
	publisher = {Universidade do Minho},
	organization = {Universidade do Minho},
	author = {Ricardo Dias and J. C. Seco and J. M. S. Louren{\c c}o}
}
@conference { webappprofiling,
	title = {Profiling of Real-World Web Applications},
	booktitle = {Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging},
	year = {2010},
	note = {URL={http://www.research.ibm.com/haifa/Workshops/padtad2010}},
	month = {07},
	publisher = {ACM Electronic Library},
	organization = {ACM Electronic Library},
	author = {Hugo Menino Aguiar and J. C. Seco and L{\'u}cio Ferr{\~a}o},
	editor = {Jo{\~a}o Louren{\c c}o, Eitan Farchi, Shmuel Ur}
}
@booklet {DLS2010,
	title = {Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Statical Analysis Approach},
	number = {UNL-DI-5-2011},
	year = {2010},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {Ricardo J. Dias and Jo{\~a}o M. Louren{\c c}o and Jo{\~a}o Costa Seco}
}
@booklet {DDLS2011,
	title = {StarTM: Automatic Verification of Snapshot Isolation in Transactional Memory Java Programs},
	number = {UNL-DI-6-2011},
	year = {2010},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {Ricardo J. Dias and Dino Distefano and Jo{\~a}o M. Louren{\c c}o and Jo{\~a}o Costa Seco}
}
@article { comsisjcs,
	title = {ComponentJ: A Component-Based Programming Language with Dynamic Reconfiguration},
	journal = {Computer Science and Information Systems},
	volume = {05},
	number = {02},
	year = {2008},
	month = {12},
	pages = {65-86},
	author = {J. C. Seco and Ricardo Silva and Margarida Piriquito}
}
@conference { cortajcs,
	title = {ComponentJ: component programming and reconfiguration},
	booktitle = {Proceedings of CoRTA (Compilers, Related Technologies and Applications)},
	year = {2008},
	month = {07},
	publisher = {Instituto Polit{\'e}cnico de Bragan{\c c}a - ESTG},
	organization = {Instituto Polit{\'e}cnico de Bragan{\c c}a - ESTG},
	author = {J. C. Seco and Ricardo Silva and Margarida Piriquito}
}
@conference { VCS:ESOP:2007,
	title = {The Conversation Calculus: A Model of Service Oriented Computation},
	booktitle = {Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008},
	series = {Lecture Notes in Computer Science},
	year = {2008},
	month = {03},
	publisher = {Springer-Verlag},
	organization = {Springer-Verlag},
	author = {Hugo T. Vieira and L. Caires and J. C. Seco},
	editor = {Sophia Drossopoulou}
}
@article {comsis08,
	title = {Component J: A component-based programming language with dynamic reconfiguration},
	journal = {Comput. Sci. Inf. Syst.},
	volume = {5},
	number = {2},
	year = {2008},
	pages = {63-86},
	author = {Jo{\~a}o Costa Seco and Ricardo Silva and Margarida Piriquito}
}
@booklet { caseStudiesCSCC-tr07,
	title = {Automotive and Finance Case Studies in the Conversation Calculus},
	year = {2007},
	note = {URL={http://www-ctp.di.fct.unl.pt/~htv/pub/FinanceCSCC.pdf}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {L. Caires and J. C. Seco and Hugo T. Vieira}
}
@booklet { cai_vie_sec_MSOC_TR06-07,
	title = {A Model of Service Oriented Computation},
	number = {06},
	year = {2007},
	note = {URL={http://www-ctp.di.fct.unl.pt/~htv/pub/SOM-techreport.pdf}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {L. Caires and Hugo T. Vieira and J. C. Seco}
}
@mastersthesis {7763,
	title = {Languages and Types for Component-Based Programming},
	year = {2006},
	type = {PhD thesis},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/thesis.pdf},
	author = {Jo{\~a}o Costa Seco}
}
@conference {7765,
	title = {Types for Dynamic Reconfiguration},
	booktitle = {Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006},
	year = {2006},
	attachments = {https://docentes.fct.unl.pt/sites/default/files/jrcs/files/esop-final.pdf},
	author = {Jo{\~a}o Costa Seco and Lu{\'\i}s Caires}
}
@conference {7764,
	title = {Subtyping First-Class Polymorphic Components},
	booktitle = {Programming Languages and Systems, 14th European Symposium on Programming, ESOP 2005},
	year = {2005},
	author = {Jo{\~a}o Costa Seco and Lu{\'\i}s Caires}
}
@booklet { Seco.Caires-15tr-02,
	title = {ComponentJ: The Reference Manual},
	number = {UNL-DI-6-2002},
	year = {2002},
	note = {URL={http://ctp.di.fct.unl.pt/~jcs/bibIndex/papers/ComponentJ.pdf}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {J. C. Seco and L. Caires}
}
@booklet { Seco.Caires-17tr-00,
	title = {A Basic Model of Typed Components (extended version)},
	number = {UNL-DI-1-2000},
	year = {2000},
	note = {URL={http://ctp.di.fct.unl.pt/~jcs/bibIndex/papers/tech-report.ps.gz}},
	publisher = {Departamento de Inform{\'a}tica FCT/UNL},
	author = {J. C. Seco and L. Caires}
}
