Jorge Sousa Pinto

	2012
32		José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based slicing and slice graphs. Formal Asp. Comput. 24(2): 217-248 (2012)
	2011
31		Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GammaPolarSlicer. Comput. Sci. Inf. Syst. 8(2): 477-499 (2011)
30		Maria João Frade, Jorge Sousa Pinto: Verification conditions for source-level imperative programs. Computer Science Review 5(3): 252-277 (2011)
	2010
29		Eduardo Brito, Jorge Sousa Pinto: Program Verification in SPARK and ACSL: A Comparative Case Study. Ada-Europe 2010: 97-110
28		Sergio Areias, Daniela Carneiro da Cruz, Jorge Sousa Pinto: Contract-Based Slicing Helps on Safety Reuse. ICPC 2010: 62-63
27		Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Contract-Based Slicing. ISoLA (1) 2010: 106-120
26		André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa: Model-Checking Temporal Properties of Real-Time HTL Programs. ISoLA (2) 2010: 191-205
25		Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: GamaSlicer: an online laboratory for program verification and analysis. LDTA 2010: 3
24		José Bernardo Barros, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Assertion-based Slicing and Slice Graphs. SEFM 2010: 93-102
23		Manuel Barbosa, Jorge Sousa Pinto, Jean-Christophe Filliâtre, Bárbara Vieira: A Deductive Verification Platform for Cryptographic Software. ECEASST 33: (2010)
22		Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto: Safe Integration of Annotated Components in Open Source Projects. ECEASST 33: (2010)
21		José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Deductive verification of cryptographic software. ISSE 6(3): 203-218 (2010)
	2009
20		Ana Bove, Luís Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto: Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures Springer 2009
19		José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira: Verifying Cryptographic Software Correctness with Respect to Reference Implementations. FMICS 2009: 37-52
18		Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Iterators, Recursors and Interaction Nets CoRR abs/0910.3321: (2009)
	2008
17		Abubakar Hassan, Ian Mackie, Jorge Sousa Pinto: Visual Programming with Interaction Nets. Diagrams 2008: 165-171
16		José Bacelar Almeida, Jorge Sousa Pinto: Deriving Sorting Algorithms CoRR abs/0802.3881: (2008)
15		Joao Gomes, Daniel Martins, Simão Melo de Sousa, Jorge Sousa Pinto: Lissom, a Source Level Proof Carrying Code Platform CoRR abs/0803.2317: (2008)
14		José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: Token-passing Nets for Functional Languages. Electr. Notes Theor. Comput. Sci. 204: 181-198 (2008)
13		José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Tool for Programming with Interaction Nets. Electr. Notes Theor. Comput. Sci. 219: 83-96 (2008)
	2007
12		Ian Mackie, Jorge Sousa Pinto, Miguel Vilaça: Visual Programming with Recursion Patterns in Interaction Nets. ECEASST 6: (2007)
11		José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories. Electr. Notes Theor. Comput. Sci. 176(1): 139-163 (2007)
10		Maribel Fernández, Ian Mackie, Jorge Sousa Pinto: A Higher-Order Calculus for Graph Transformation. Electr. Notes Theor. Comput. Sci. 72(1): 45-58 (2007)
	2005
9		Alcino Cunha, Jorge Sousa Pinto, José Proença: A Framework for Point-Free Program Transformation. IFL 2005: 1-18
8		Alcino Cunha, Jorge Sousa Pinto: Point-free Program Transformation. Fundam. Inform. 66(4): 315-352 (2005)
7		Manuel Barbosa, Alcino Cunha, Jorge Sousa Pinto: Recursion patterns and time-analysis. SIGPLAN Notices 40(5): 45-54 (2005)
	2003
6		Jorge Sousa Pinto: Weak reduction and garbage collection in interaction nets. Electr. Notes Theor. Comput. Sci. 86(4): 625-640 (2003)
	2002
5		Ian Mackie, Jorge Sousa Pinto: Encoding Linear Logic with Interaction Combinators. Inf. Comput. 176(2): 153-186 (2002)
	2001
4		Jorge Sousa Pinto: Parallel Evaluation of Interaction Nets with MPINE. RTA 2001: 353-356
3		Jorge Sousa Pinto: Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction. TLCA 2001: 385-399
	2000
2		Jorge Sousa Pinto: Sequential and Concurrent Abstract Machines for Interaction Nets. FoSSaCS 2000: 267-282
	1996
1		José Eduardo Pina Miranda, Jorge Sousa Pinto: Using Internet technology for course support. ITiCSE 1996: 96-100

Coauthor Index

1	José Bacelar Almeida	[11] [13] [14] [16] [19] [21]
2	Sergio Areias	[22] [28] [31]
3	Luís Soares Barbosa	[20]
4	Manuel Barbosa	[7] [19] [21] [23]
5	José Bernardo Barros	[24] [32]
6	Ana Bove	[20]
7	Eduardo Brito	[29]
8	André Carvalho	[26]
9	Joel Carvalho	[26]
10	Daniela Carneiro da Cruz	[22] [24] [25] [27] [28] [31] [32]
11	Alcino Cunha	[7] [8] [9]
12	Maribel Fernández	[10]
13	Jean-Christophe Filliâtre	[23]
14	Maria João Frade	[30]
15	Joao Gomes	[15]
16	Abubakar Hassan	[17]
17	Pedro Rangel Henriques	[22] [24] [25] [27] [31] [32]
18	Ian Mackie	[5] [10] [12] [17] [18]
19	Daniel Martins	[15]
20	José Eduardo Pina Miranda	[1]
21	Alberto Pardo	[20]
22	José Proença	[9]
23	Simão Melo de Sousa	[15] [26]
24	Bárbara Vieira	[19] [21] [23]
25	Miguel Vilaça	[11] [12] [13] [14] [18]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page