Pedro Baltazar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

4 Pedro Baltazar, Paulo Mateus: Temporalization of Probabilistic Propositional Logic. LFCS 2009: 46-60

2008

3 Pedro Baltazar: $M$-Solid Varieties of Languages. Acta Cybern. 18(4): 719-731 (2008)

2007

2 Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14

1 Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)

	2009
4		Pedro Baltazar, Paulo Mateus: Temporalization of Probabilistic Propositional Logic. LFCS 2009: 46-60
	2008
3		Pedro Baltazar: $M$-Solid Varieties of Languages. Acta Cybern. 18(4): 719-731 (2008)
	2007
2		Pedro Baltazar, Rohit Chadha, Paulo Mateus, Amílcar Sernadas: Towards Model-Checking Quantum Security Protocols. ICQNM 2007: 14
1		Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou: Exogenous Probabilistic Computation Tree Logic. Electr. Notes Theor. Comput. Sci. 190(3): 95-110 (2007)

Coauthor Index

1	Rohit Chadha	[2]
2	Paulo Mateus	[1] [2] [4]
3	Rajagopal Nagarajan	[1]
4	Nikolaos Papanikolaou (Nick Papanikolaou)	[1]
5	Amílcar Sernadas	[2]