Ion Bica

	2010
4		Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica: Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2. SECRYPT 2010: 299-303
	2009
3		Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica: Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks. SECRYPT 2009: 135-139
	2001
2		Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young: SciFinance: A Program Synthesis Tool for Financial Modeling. AI Magazine 22(2): 27-42 (2001)
	2000
1		Robert L. Akers, Ion Bica, Elaine Kant, Curt Randall, Robert L. Young: SciFinance: A Program Synthesis Tool for Financial Modeling. AAAI/IAAI 2000: 937-944

Coauthor Index

1	Robert L. Akers	[1] [2]
2	Elaine Kant	[1] [2]
3	Victor Valeriu Patriciu	[3] [4]
4	Mihai-Lica Pura	[3] [4]
5	Curt Randall	[1] [2]
6	Robert L. Young	[1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page