A. Sernadas

发表

P. Mateus, A. Sernadas, C. Sernadas, 2005 .
Amílcar Sernadas, André Souto, Paulo Mateus, 2017, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2008, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2011, Logica Universalis.
Luca Viganò, Cristina Sernadas, João Rasga, 2002, FroCoS.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2016, Log. J. IGPL.
Cristina Sernadas, Amílcar Sernadas, Marcelo E. Coniglio, 2000 .
P. Mateus, A. Sernadas, 2004 .
A. Sernadas, C. Sernadas, J. Rasga, 2010 .
P. Mateus, A. Sernadas, C. Sernadas, 2003 .
A. Sernadas, C. Sernadas, C. Nunes, 2022 .
A. Sernadas, G. Saake, H. Ehrich, 2013 .
P. Mateus, A. Sernadas, C. Sernadas, 2014 .
A. Sernadas, C. Sernadas, M. Coniglio, 2002 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2015 .
A. Sernadas, C. Sernadas, J. Rasga, 2014 .
A. Sernadas, C. Sernadas, J. Rasga, 2013 .
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1995, J. Log. Comput..
A. B. Henriques, A. Sernadas, 2015 .
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1987, VLDB.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1989, ISCO.
A. Sernadas, C. Sernadas, J. Rasga, 2008 .
Amílcar Sernadas, Xiangfu Zou, Paulo Mateus, 2009, J. Comput. Syst. Sci..
Cristina Sernadas, Amílcar Sernadas, Paula Gouveia, 1992, Specifications of Database Systems.
António Pacheco, Cristina Sernadas, Amílcar Sernadas, 2001, Annals of Mathematics and Artificial Intelligence.
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 1999, FLAIRS.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1994, Acta Informatica.
Gunter Saake, Amílcar Sernadas, Hans-Dieter Ehrich, 1992, IS/KI.
Martin Gogolla, Amílcar Sernadas, Hans-Dieter Ehrich, 1991, COMPASS/ADT.
Cristina Sernadas, Amilcar Sernadas, A. Sernadas, 2016, 1601.02915.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, Jaime Ramos, 2009 .
Rohit Chadha, Cristina Sernadas, Amílcar Sernadas, 2009 .
Rohit Chadha, Amílcar Sernadas, Luís Cruz-Filipe, 2007, Theor. Comput. Sci..
Amílcar Sernadas, Paulo Mateus, P. Mateus, 2005, Inf. Comput..
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 2006, Essays Dedicated to Joseph A. Goguen.
Amílcar Sernadas, Paulo Mateus, P. Mateus, 2004, JELIA.
Daowen Qiu, Lvzhou Li, P. Mateus, 2009, J. Comput. Syst. Sci..
Rohit Chadha, Amílcar Sernadas, Paulo Mateus, 2006, MFPS.
Cristina Sernadas, Amílcar Sernadas, Paulo Mateus, 1999, WADT.
Amílcar Sernadas, Paulo Mateus, Yasser Omar, 2006 .
Luca Viganò, Cristina Sernadas, João Rasga, 2003, J. Appl. Non Class. Logics.
Cristina Sernadas, Amílcar Sernadas, Jaime Ramos, 1996, Data Knowl. Eng..
António Pacheco, Cristina Sernadas, Amílcar Sernadas, 2003, Theor. Comput. Sci..
A. B. Henriques, A. Sernadas, 2015, 1504.06460.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2014, Stud Logica.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2013, Stud Logica.
Cristina Sernadas, Amílcar Sernadas, Marcelo E. Coniglio, 2011, J. Log. Comput..
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2009, J. Log. Comput..
Amílcar Sernadas, Hans-Dieter Ehrich, A. Sernadas, 1989, REX Workshop.
Amílcar Sernadas, Hans-Dieter Ehrich, A. Sernadas, 1990, DS-4.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1990, Inf. Syst..
Cristina Sernadas, Amílcar Sernadas, Alberto Zanardo, 2001, Journal of Symbolic Logic.
Amílcar Sernadas, Grit Denker, Hans-Dieter Ehrich, 1998, Logics for Databases and Information Systems.
Amílcar Sernadas, Hans-Dieter Ehrich, A. Sernadas, 1994, COMPASS/ADT.
Amílcar Sernadas, Grit Denker, Hans-Dieter Ehrich, 1993, TAPSOFT.
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 1998, Acta Informatica.
Cristina Sernadas, Amílcar Sernadas, José Manuel Valença, 1994, COMPASS/ADT.
Tom Maibaum, José Luiz Fiadeiro, Cristina Sernadas, 1992 .
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1993, MFCS.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1992, COMPASS/ADT.
Cristina Sernadas, Amílcar Sernadas, José Félix Costa, 1992, MFCS.
Joseph A. Goguen, Amílcar Sernadas, Hans-Dieter Ehrich, 1990, REX Workshop.
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1990, J. Inf. Process. Cybern..
Cristina Sernadas, Amílcar Sernadas, Hans-Dieter Ehrich, 1988, Categorial Methods in Computer Science.
José Luiz Fiadeiro, Cristina Sernadas, Amílcar Sernadas, 1987, Temporal Logic in Specification.
Cristina Sernadas, Amílcar Sernadas, A. Sernadas, 1985, ER.
Amílcar Sernadas, Grit Denker, Hans-Dieter Ehrich, 1993, CISM - Advances in Database Systems.
Cristina Sernadas, Amílcar Sernadas, A. Sernadas, 1987 .
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2009, J. Log. Comput..
Luca Viganò, Cristina Sernadas, João Rasga, 2002, J. Log. Comput..
Amílcar Sernadas, Renwei Li, A. Sernadas, 1991, J. Log. Comput..
Cristina Sernadas, Amílcar Sernadas, Carlos Caleiro, 2005, We Will Show Them!.
Cristina Sernadas, Amílcar Sernadas, A. Sernadas, 2003 .
Daowen Qiu, Xiangfu Zou, A. Sernadas, 2009, ArXiv.
Rohit Chadha, Amílcar Sernadas, Paulo Mateus, 2007, ICQNM.
Cristina Sernadas, João Rasga, Amílcar Sernadas, 2013, J. Appl. Log..