×

zbMATH — the first resource for mathematics

Tiu, Alwen Fernanto

Compute Distance To:
Author ID: tiu.alwen-fernanto Recent zbMATH articles by "Tiu, Alwen Fernanto"
Published as: Tiu, Alwen; Tiu, Alwen Fernanto; Tiu, Alwen F.
External Links: MGP
Documents Indexed: 53 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

35 Publications have been cited 191 times in 134 Documents Cited by Year
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen
30
2005
Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. Zbl 1180.68240
Fontaine, Pascal; Marion, Jean-Yves; Merz, Stephan; Nieto, Leonor Prensa; Tiu, Alwen
20
2006
A local system for classical logic. Zbl 1275.03150
Brünnler, Kai; Tiu, Alwen Fernanto
14
2001
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale
11
2010
Induction and co-induction in sequent calculus. Zbl 1100.03516
Momigliano, Alberto; Tiu, Alwen
9
2004
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Zbl 1244.03157
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
8
2008
A proof search specification of the \(\pi\)-calculus. Zbl 1272.03143
Tiu, Alwen; Miller, Dale
7
2005
A system of interaction and structure. II: The need for deep inference. Zbl 1126.03051
Tiu, Alwen
7
2006
A local system for intuitionistic logic. Zbl 1165.03307
Tiu, Alwen
7
2006
Cut-elimination and proof search for bi-intuitionistic tense logic. Zbl 1254.03033
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
7
2010
A trace based bisimulation for the spi calculus: An extended abstract. Zbl 1137.68455
Tiu, Alwen
6
2007
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Zbl 1218.03020
Goré, Rajeev; Postniece, Linda; Tiu, Alwen F.
6
2011
A logic for reasoning about generic judgments. Zbl 1278.03068
Tiu, Alwen
6
2007
A first-order policy language for history-based transaction monitoring. Zbl 1250.68182
Bauer, Andreas; Goré, Rajeev; Tiu, Alwen
5
2009
Model checking for \(\pi\)-calculus using proof search. Zbl 1134.68451
Tiu, Alwen
5
2005
Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Zbl 1125.68107
Barsotti, Damián; Nieto, Leonor Prensa; Tiu, Alwen
5
2007
Abella: a system for reasoning about relational specifications. Zbl 1451.68315
Baelde, David; Chaudhuri, Kaustuv; Gacek, Andrew; Miller, Dale; Nadathur, Gopalan; Tiu, Alwen; Wang, Yuting
5
2014
Cut elimination for a logic with induction and co-induction. Zbl 1278.03086
Tiu, Alwen; Momigliano, Alberto
5
2012
A proof theoretic analysis of intruder theories. Zbl 1201.68052
Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy
4
2010
Proof search for propositional abstract separation logics via labelled sequents. Zbl 1284.68402
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
3
2014
Automated theorem proving for assertions in separation logic with all connectives. Zbl 1465.03053
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen
3
2015
A labelled sequent calculus for BBI: proof theory and proof search. Zbl 1401.03098
Hóu, Zhé; Tiu, Alwen; Goré, Rajeev
2
2013
SPEC: an equivalence checker for security protocols. Zbl 06667487
Tiu, Alwen; Nguyen, Nam; Horne, Ross
2
2016
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Zbl 1126.03023
Goré, Rajeev; Tiu, Alwen
2
2007
A characterisation of open bisimilarity using an intuitionistic modal logic. Zbl 1442.68121
Ahn, Ki Yung; Horne, Ross; Tiu, Alwen
2
2017
Stratification in logics of definitions. Zbl 1358.03031
Tiu, Alwen
1
2012
Taming displayed tense logics using nested sequents with deep inference. Zbl 1260.03043
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
1
2009
A proof theoretic analysis of intruder theories. Zbl 1201.68051
Tiu, Alwen; Goré, Rajeev
1
2009
Semantics for specialising attack trees based on linear logic. Zbl 1382.68140
Horne, Ross; Mauw, Sjouke; Tiu, Alwen
1
2017
Completeness for a first-order abstract separation logic. Zbl 06667505
Hóu, Zhé; Tiu, Alwen
1
2016
Extracting proofs from tabled proof search. Zbl 1426.68174
Miller, Dale; Tiu, Alwen
1
2013
Annotation-free sequent calculi for full intuitionistic linear logic. Zbl 1356.03103
Clouston, Ranald; Dawson, Jeremy; Goré, Rajeev; Tiu, Alwen
1
2013
A hypersequent system for Gödel-Dummett logic with non-constant domains. Zbl 1333.03088
Tiu, Alwen
1
2011
Trace-length independent runtime monitoring of quantitative policies in LTL. Zbl 1427.68167
Du, Xiaoning; Liu, Yang; Tiu, Alwen
1
2015
Quasi-open bisimilarity with mismatch is intuitionistic. Zbl 07298727
Horne, Ross; Ahn, Ki Yung; Lin, Shang-wei; Tiu, Alwen
1
2018
Quasi-open bisimilarity with mismatch is intuitionistic. Zbl 07298727
Horne, Ross; Ahn, Ki Yung; Lin, Shang-wei; Tiu, Alwen
1
2018
A characterisation of open bisimilarity using an intuitionistic modal logic. Zbl 1442.68121
Ahn, Ki Yung; Horne, Ross; Tiu, Alwen
2
2017
Semantics for specialising attack trees based on linear logic. Zbl 1382.68140
Horne, Ross; Mauw, Sjouke; Tiu, Alwen
1
2017
SPEC: an equivalence checker for security protocols. Zbl 06667487
Tiu, Alwen; Nguyen, Nam; Horne, Ross
2
2016
Completeness for a first-order abstract separation logic. Zbl 06667505
Hóu, Zhé; Tiu, Alwen
1
2016
Automated theorem proving for assertions in separation logic with all connectives. Zbl 1465.03053
Hóu, Zhé; Goré, Rajeev; Tiu, Alwen
3
2015
Trace-length independent runtime monitoring of quantitative policies in LTL. Zbl 1427.68167
Du, Xiaoning; Liu, Yang; Tiu, Alwen
1
2015
Abella: a system for reasoning about relational specifications. Zbl 1451.68315
Baelde, David; Chaudhuri, Kaustuv; Gacek, Andrew; Miller, Dale; Nadathur, Gopalan; Tiu, Alwen; Wang, Yuting
5
2014
Proof search for propositional abstract separation logics via labelled sequents. Zbl 1284.68402
Hóu, Zhé; Clouston, Ranald; Goré, Rajeev; Tiu, Alwen
3
2014
A labelled sequent calculus for BBI: proof theory and proof search. Zbl 1401.03098
Hóu, Zhé; Tiu, Alwen; Goré, Rajeev
2
2013
Extracting proofs from tabled proof search. Zbl 1426.68174
Miller, Dale; Tiu, Alwen
1
2013
Annotation-free sequent calculi for full intuitionistic linear logic. Zbl 1356.03103
Clouston, Ranald; Dawson, Jeremy; Goré, Rajeev; Tiu, Alwen
1
2013
Cut elimination for a logic with induction and co-induction. Zbl 1278.03086
Tiu, Alwen; Momigliano, Alberto
5
2012
Stratification in logics of definitions. Zbl 1358.03031
Tiu, Alwen
1
2012
On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics. Zbl 1218.03020
Goré, Rajeev; Postniece, Linda; Tiu, Alwen F.
6
2011
A hypersequent system for Gödel-Dummett logic with non-constant domains. Zbl 1333.03088
Tiu, Alwen
1
2011
Proof search specifications of bisimulation and modal logics for the \({\pi}\)-calculus. Zbl 1351.68186
Tiu, Alwen; Miller, Dale
11
2010
Cut-elimination and proof search for bi-intuitionistic tense logic. Zbl 1254.03033
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
7
2010
A proof theoretic analysis of intruder theories. Zbl 1201.68052
Tiu, Alwen; Gore, Rajeev; Dawson, Jeremy
4
2010
A first-order policy language for history-based transaction monitoring. Zbl 1250.68182
Bauer, Andreas; Goré, Rajeev; Tiu, Alwen
5
2009
Taming displayed tense logics using nested sequents with deep inference. Zbl 1260.03043
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
1
2009
A proof theoretic analysis of intruder theories. Zbl 1201.68051
Tiu, Alwen; Goré, Rajeev
1
2009
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents. Zbl 1244.03157
Goré, Rajeev; Postniece, Linda; Tiu, Alwen
8
2008
A trace based bisimulation for the spi calculus: An extended abstract. Zbl 1137.68455
Tiu, Alwen
6
2007
A logic for reasoning about generic judgments. Zbl 1278.03068
Tiu, Alwen
6
2007
Verification of clock synchronization algorithms: experiments on a combination of deductive tools. Zbl 1125.68107
Barsotti, Damián; Nieto, Leonor Prensa; Tiu, Alwen
5
2007
Classical modal display logic in the calculus of structures and minimal cut-free deep inference calculi for S5. Zbl 1126.03023
Goré, Rajeev; Tiu, Alwen
2
2007
Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants. Zbl 1180.68240
Fontaine, Pascal; Marion, Jean-Yves; Merz, Stephan; Nieto, Leonor Prensa; Tiu, Alwen
20
2006
A system of interaction and structure. II: The need for deep inference. Zbl 1126.03051
Tiu, Alwen
7
2006
A local system for intuitionistic logic. Zbl 1165.03307
Tiu, Alwen
7
2006
A proof theory for generic judgments. Zbl 1367.03059
Miller, Dale; Tiu, Alwen
30
2005
A proof search specification of the \(\pi\)-calculus. Zbl 1272.03143
Tiu, Alwen; Miller, Dale
7
2005
Model checking for \(\pi\)-calculus using proof search. Zbl 1134.68451
Tiu, Alwen
5
2005
Induction and co-induction in sequent calculus. Zbl 1100.03516
Momigliano, Alberto; Tiu, Alwen
9
2004
A local system for classical logic. Zbl 1275.03150
Brünnler, Kai; Tiu, Alwen Fernanto
14
2001
all top 5

Cited by 202 Authors

11 Tiu, Alwen Fernanto
10 Straßburger, Lutz
7 Miller, Dale Allen
6 Momigliano, Alberto
5 Horne, Ross
5 Wansing, Heinrich Theodor
4 Amjad, Hasan
4 Basin, David A.
4 Böhme, Sascha
4 Fontaine, Pascal
4 Nadathur, Gopalan
4 Ramanayake, Revantha
3 Blanchette, Jasmin Christian
3 Cervesato, Iliano
3 Gabbay, Murdoch James
3 Gacek, Andrew
3 Kahramanoğulları, Ozan
3 Klaedtke, Felix
3 Pientka, Brigitte
3 Weber, Tjark
2 Blute, Richard F.
2 Brünnler, Kai
2 Cheney, James
2 Ciabattoni, Agata
2 De Oliveira, Diego Caminha B.
2 Déharbe, David
2 Delaune, Stéphanie
2 Demri, Stéphane P.
2 Deters, Morgan
2 Felty, Amy P.
2 Fitting, Melvin Chris
2 Galmiche, Didier
2 Goré, Rajeev Prabhakar
2 Guglielmi, Alessio
2 Hou, Zhe
2 Kamide, Norihiro
2 Méry, Daniel
2 Panangaden, Prakash
2 Paulson, Lawrence Charles
2 Pitts, Andrew M.
2 Scedrov, Andre
2 Schürmann, Carsten
2 Stump, Aaron
2 Tinelli, Cesare
2 Woltzenlogel Paleo, Bruno
2 Zălinescu, Eugen
1 Abel, Andreas M.
1 Aceto, Luca
1 Ahn, Ki Yung
1 Allais, Guillaume
1 Ambal, Guillaume
1 Armand, Michaël
1 Ayala-Rincón, Mauricio
1 Bacci, Giorgio
1 Baelde, David
1 Barbosa, Haniel
1 Barrett, Clark W.
1 Barsotti, Damián
1 Bauer, Andreas
1 Besson, Frédéric
1 Bhatt, Bhargav Nagaraja
1 Borgström, Johannes
1 Bozzelli, Laura
1 Briais, Sébastien
1 Bruscoli, Paola
1 Bruttomesso, Roberto
1 Bursuc, Sergiu
1 Caronni, Germano
1 Chen, Taolue
1 Chiarugi, Davide
1 Chihani, Zakaria
1 Ciobanu, Gabriel
1 Comon-Lundh, Hubert
1 Conradie, Willem J.
1 Cornejo, Juan Manuel
1 Cornilleau, Pierre-Emmanuel
1 Dagnino, Francesco
1 Das, Anupam
1 Dawson, Jeremy E.
1 Dobal, Pablo Federico
1 Dong, JinSong
1 Došen, Kosta
1 Dowek, Gilles
1 Drobyshevich, Sergeĭ Andreevich
1 Dyckhoff, Roy
1 Eades, Harley III
1 Ereth, Sarah
1 Eriksson, Lars-Henrik
1 Fábregas, Ignacio
1 Falaschi, Moreno
1 Faure, Germain
1 Fernández, Maribel
1 Fiore, Marcelo P.
1 Fleury, Mathias
1 Fomatati, Yves
1 Forsberg Gutkovas, Ramūnas
1 Fox, Anthony C. J.
1 Gabbay, Michael J.
1 García-Pérez, Álvaro
1 Gerasimov, Aleksandr Sergeevich
...and 102 more Authors

Citations by Year