Movatterモバイル変換

[0]ホーム
URL:

×

zbMATH Open — the first resource for mathematics

from until
Reset all

Examples

Simon Donald*Search inall parts of an author's name (results containSimon, Donald M. andDonaldson,Simon Kirwan).
ln: Donald* fn: SimonSearch for specified family (ln) and given (fn) name.
au: Stefan Müller cc:49Combine name search (au) with main MSC fields (cc).
au: Helga BunkeSearch results includename variations, in particularname changes, differenttransliterations andpseudonyms. Names of collectives will be displayed as a separate entity.
(st:r & b) | (st:o)Search results include allreviewers withbiographic information orcollectives.
(en:MGP | wikidata) ln:a*Search results include all authors having either anentry in theMath Genealogy Project or inWikidata and whose family name starts with''A''.
aw: Fields AbelSearch for allFields Medalaward winners who also received anAbel Prize. The& operator is default and ommitted here.

Fields

ai zbMATH author ID
any Includes ai, au, aw, cc
au Author name
aw Name of an award (to find laureates)
cc Main Fields of the author (given by first two MSC digits)
cm Name of a collective (to find members of this collective)
co Name of an author (to find collectives the author is a member of)
en External author ID: ORCID, MGP, Wikidata object number and others
fn First name
ln Last name
py Year(s) in which the author has published. Interval search with “-”
rv Reviewer ID
st State: has biographic references (st:b), is cited (st:c), is collective (st:o), has references (st:r)

Operators

a & bLogical and (default)
a | bLogical or
!abLogical not
abc*Right wildcard
ab cPhrase
(ab c)Term grouping

See also ourGeneral Help.



Fiadeiro, José Luiz

Author ID:
fiadeiro.jose-luiz Recent zbMATH articles by "Fiadeiro, José Luiz"
Published as:
Fiadeiro, José Luiz;Fiadeiro, José;Fiadeiro, J. L.;Fiadeiro, José L.;Fiadeiro, Jose Luiz;Fiadeiro, J.;Fiadeiro, José Luis;Fiadeiro, Jose L.
External Links:
MGP ·Wikidata
Documents Indexed:

57 Publications since 1986, including1 Book

12 Contributions as Editor

alltop 5

Co-Authors

4single-authored
19 Lopes, Antónia
10 Maibaum, Thomas Stephen Edward
10 Ţuţu, Ionuţ
6 Andrade, Luís Filipe
5 Sernadas, Amilcar C.
5 Wermelinger, Michel
4 Gouveia, Joao
4 Koutsoukos, Georgios
2 Chiriţă, Claudia Elena
2 Costa, José Félix
2 Delahaye, Benoît
2 Inverardi, Paola
2 Legay, Axel
2 Martí-Oliet, Narciso
2 Meseguer Guaita, José
2 Orejas, Fernando
2 Pavlović, Duško
2 Pita, Isabel
2 Rutten, Jan J. M. M.
1 Abreu Júnior, João Carlos
1 Bahsoun, Jean-Paul
1 Barroca, Leonor
1 Bruni, Roberto
1 Cavalheiro, Simone
1 Galmiche, Didier
1 Gnesi, Stefania
1 Harman, Neil
1 Lanese, Ivan
1 Laney, Robin C.
1 López Pombo, Carlos Gustavo
1 Montanari, Ugo G.
1 Mosses, Peter D.
1 Nunes, Isabel
1 Nuseibeh, Bashar
1 Reichwein, Georg
1 Roggenbach, Markus
1 Schmitt, Vincent
1 Schobbens, Pierre-Yves
1 Sernadas, Cristina S.
1 Tan, Yao-Hua
1 Turski, Władysław Marek
1 van der Torre, Leendert W. N.
1 Veloso, Paulo Augusto Silva
1 Veloso, Sheila R. M.
1 Vissani, Ignacio

Publications by Year

Citations contained in zbMATH Open

43 Publications have been cited 162 times in136 DocumentsCited by ▼Year ▼
Structuring theories on consequence. Zbl 0671.03020
Fiadeiro, José;Sernadas, Amílcar
1988
Categories for software engineering. Zbl 1138.68365
Fiadeiro, José Luiz
2005
Temporal reasoning over deontic specifications. Zbl 0731.03022
Fiadeiro, J.;Maibaum, T.
1991
Temporal theories as modularisation units for concurrent system specification. Zbl 0746.68031
Fiadeiro, J.;Maibaum, T.
1992
Action refinement in a temporal logic of objects. Zbl 0949.68539
Fiadeiro, J. L.;Maibaum, T.
1994
A graph transformation approach to software architecture reconfiguration. Zbl 1014.68033
Wermelinger, Michel;Fiadeiro, José Luiz
2002
Mirror, mirror in my hand: A duality between specifications and models of process behaviour. Zbl 0857.68076
Fiadeiro, J. L.;Costa, J. F.
1996
Toward a verification logic for rewriting logic. Zbl 0966.68123
Fiadeiro, José Luis;Maibaum, Tom;Martí-Oliet, Narciso;Meseguer, Jose;Pita, Isabel
2000
Categorical semantics of parallel program design. Zbl 0877.68080
Fiadeiro, José Luiz;Maibaum, Tom
1997
The INFOLOG linear tense propositional logic of events and transactions. Zbl 0596.68063
Fiadeiro, José;Sernadas, Amílcar
1986
Specification and verification of database dynamics. Zbl 0627.68078
Fiadeiro, José;Sernadas, Amílcar
1988
A mathematical semantics for architectural connectors. Zbl 1274.68001
Fiadeiro, J. L.;Lopes, A.;Wermelinger, M.
2003
Logics of modal terms for systems specification. Zbl 0723.68070
Fiadeiro, José;Sernadas, Amílcar
1990
Heterogeneous and asynchronous networks of timed systems. Zbl 1356.68153
Fiadeiro, José L.;Lopes, Antónia
2017
Logics for actor networks: a case study in constrained hybridization. Zbl 1423.68049
Fiadeiro, José;Ţuţu, Ionuţ;Lopes, Antónia;Pavlovic, Dusko
2018
Structured co-spans: an algebra of interaction protocols. Zbl 1214.68229
Fiadeiro, José Luiz;Schmitt, Vincent
2007
Logics for actor networks: a two-stage constrained-hybridisation approach. Zbl 1423.68048
Fiadeiro, José Luiz;Ţuţu, Ionuţ;Lopes, Antónia;Pavlovic, Dusko
2019
Algebraic semantics of design abstractions for context-awareness. Zbl 1118.68557
Lopes, Antónia;Fiadeiro, José Luiz
2005
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso;Pita, Isabel;Fiadeiro, José Luiz;Meseguer, José;Maibaum, Tom
2005
Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2–4, 1998. Proceedings. Zbl 0921.00029
1999
An interface theory for service-oriented design. Zbl 1360.68631
Fiadeiro, José Luiz;Lopes, Antónia
2013
From conventional to institution-independent logic programming. Zbl 1380.68089
Ţuţu, Ionuţ;Fiadeiro, José Luiz
2017
Coordination for orchestration. Zbl 1053.68798
Andrade, Luis F.;Fiadeiro, Jose L.;Gouveia, Joao;Koutsoukos, Georgios;Wermelinger, M.
2002
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît;Fiadeiro, José Luiz;Legay, Axel;Lopes, Antónia
2014
Dynamic networks of heterogeneous timed machines. Zbl 1390.68448
Fiadeiro, José;Lopes, Antónia;Delahaye, Benoît;Legay, Axel
2018
On local modularity and interpolation in entailment systems. Zbl 1043.68075
Veloso, Paulo A. S.;Fiadeiro, José L.;Veloso, Sheila R. M.
2002
Dynamic reconfiguration via typed modalities. Zbl 1521.68037
Ţuţu, Ionuţ;Chiriţă, Claudia Elena;Fiadeiro, José Luiz
2021
A formal model for service-oriented interactions. Zbl 1243.68138
Fiadeiro, José;Lopes, Antónia;Abreu, João
2012
Revisiting the categorical approach to systems. Zbl 1275.68108
Lopes, Antónia;Fiadeiro, José Luiz
2002
Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1–3, 2006. Revised selected papers. Zbl 1116.68005
2007
Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Zbl 1087.68002
2005
Adding mobility to software architectures. Zbl 1101.68482
Lopes, Antónia;Fiadeiro, José Luiz
2006
Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Zbl 1132.68303
2008
Separating computation, coordination and configuration. Zbl 1017.68026
Andrade, L.;Fiadeiro, J. L.;Gouveia, J.;Koutsoukos, G.
2002
Models for the substitution axiom of UNITY logic. Zbl 0787.68015
Reichwein, Georg;Fiadeiro, José Luiz
1993
Superposition: Composition vs refinement of non-deterministic, action-based systems. Zbl 1086.68030
Lopes, Antónia;Fiadeiro, José Luiz
2004
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto;Fiadeiro, José Luiz;Lanese, Ivan;Lopes, Antónia;Montanari, Ugo
2004
CommUnity on the move: architectures for distribution and mobility. Zbl 1104.68431
Fiadeiro, José Luiz;Lopes, Antónia
2004
Coordination technologies for managing information system evolution. Zbl 0980.68634
Andrade, Luís Filipe;Fiadeiro, José Luiz
2001
A modal logic of durative actions. Zbl 0945.03043
Nunes, Isabel;Fiadeiro, Jose Luiz;Turski, Wladyslaw M.
2000
Revisiting the institutional approach to Herbrand’s theorem. Zbl 1433.03166
Ţuţu, Ionut;Fiadeiro, José Luiz
2015
Service-oriented logic programming. Zbl 1448.68205
Tutu, Ionut;Fiadeiro, Jose Luiz
2015
A compositional approach to connector construction. Zbl 1043.68539
Lopes, Antónia;Wermelinger, Michel;Fiadeiro, José Luiz
2001
Dynamic reconfiguration via typed modalities. Zbl 1521.68037
Ţuţu, Ionuţ;Chiriţă, Claudia Elena;Fiadeiro, José Luiz
2021
Logics for actor networks: a two-stage constrained-hybridisation approach. Zbl 1423.68048
Fiadeiro, José Luiz;Ţuţu, Ionuţ;Lopes, Antónia;Pavlovic, Dusko
2019
Logics for actor networks: a case study in constrained hybridization. Zbl 1423.68049
Fiadeiro, José;Ţuţu, Ionuţ;Lopes, Antónia;Pavlovic, Dusko
2018
Dynamic networks of heterogeneous timed machines. Zbl 1390.68448
Fiadeiro, José;Lopes, Antónia;Delahaye, Benoît;Legay, Axel
2018
Heterogeneous and asynchronous networks of timed systems. Zbl 1356.68153
Fiadeiro, José L.;Lopes, Antónia
2017
From conventional to institution-independent logic programming. Zbl 1380.68089
Ţuţu, Ionuţ;Fiadeiro, José Luiz
2017
Revisiting the institutional approach to Herbrand’s theorem. Zbl 1433.03166
Ţuţu, Ionut;Fiadeiro, José Luiz
2015
Service-oriented logic programming. Zbl 1448.68205
Tutu, Ionut;Fiadeiro, Jose Luiz
2015
Heterogeneous timed machines. Zbl 1432.68224
Delahaye, Benoît;Fiadeiro, José Luiz;Legay, Axel;Lopes, Antónia
2014
An interface theory for service-oriented design. Zbl 1360.68631
Fiadeiro, José Luiz;Lopes, Antónia
2013
A formal model for service-oriented interactions. Zbl 1243.68138
Fiadeiro, José;Lopes, Antónia;Abreu, João
2012
Fundamental approaches to software engineering. 11th international conference, FASE 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Zbl 1132.68303
2008
Structured co-spans: an algebra of interaction protocols. Zbl 1214.68229
Fiadeiro, José Luiz;Schmitt, Vincent
2007
Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1–3, 2006. Revised selected papers. Zbl 1116.68005
2007
Adding mobility to software architectures. Zbl 1101.68482
Lopes, Antónia;Fiadeiro, José Luiz
2006
Categories for software engineering. Zbl 1138.68365
Fiadeiro, José Luiz
2005
Algebraic semantics of design abstractions for context-awareness. Zbl 1118.68557
Lopes, Antónia;Fiadeiro, José Luiz
2005
A verification logic for rewriting logic. Zbl 1101.68684
Martí-Oliet, Narciso;Pita, Isabel;Fiadeiro, José Luiz;Meseguer, José;Maibaum, Tom
2005
Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Zbl 1087.68002
2005
Superposition: Composition vs refinement of non-deterministic, action-based systems. Zbl 1086.68030
Lopes, Antónia;Fiadeiro, José Luiz
2004
New insights of architectural connectors. Zbl 1094.68009
Bruni, Roberto;Fiadeiro, José Luiz;Lanese, Ivan;Lopes, Antónia;Montanari, Ugo
2004
CommUnity on the move: architectures for distribution and mobility. Zbl 1104.68431
Fiadeiro, José Luiz;Lopes, Antónia
2004
A mathematical semantics for architectural connectors. Zbl 1274.68001
Fiadeiro, J. L.;Lopes, A.;Wermelinger, M.
2003
A graph transformation approach to software architecture reconfiguration. Zbl 1014.68033
Wermelinger, Michel;Fiadeiro, José Luiz
2002
Coordination for orchestration. Zbl 1053.68798
Andrade, Luis F.;Fiadeiro, Jose L.;Gouveia, Joao;Koutsoukos, Georgios;Wermelinger, M.
2002
On local modularity and interpolation in entailment systems. Zbl 1043.68075
Veloso, Paulo A. S.;Fiadeiro, José L.;Veloso, Sheila R. M.
2002
Revisiting the categorical approach to systems. Zbl 1275.68108
Lopes, Antónia;Fiadeiro, José Luiz
2002
Separating computation, coordination and configuration. Zbl 1017.68026
Andrade, L.;Fiadeiro, J. L.;Gouveia, J.;Koutsoukos, G.
2002
Coordination technologies for managing information system evolution. Zbl 0980.68634
Andrade, Luís Filipe;Fiadeiro, José Luiz
2001
A compositional approach to connector construction. Zbl 1043.68539
Lopes, Antónia;Wermelinger, Michel;Fiadeiro, José Luiz
2001
Toward a verification logic for rewriting logic. Zbl 0966.68123
Fiadeiro, José Luis;Maibaum, Tom;Martí-Oliet, Narciso;Meseguer, Jose;Pita, Isabel
2000
A modal logic of durative actions. Zbl 0945.03043
Nunes, Isabel;Fiadeiro, Jose Luiz;Turski, Wladyslaw M.
2000
Recent trends in algebraic development techniques. 13th international workshop, WADT ’98, Lisbon, Portugal, April 2–4, 1998. Proceedings. Zbl 0921.00029
1999
Categorical semantics of parallel program design. Zbl 0877.68080
Fiadeiro, José Luiz;Maibaum, Tom
1997
Mirror, mirror in my hand: A duality between specifications and models of process behaviour. Zbl 0857.68076
Fiadeiro, J. L.;Costa, J. F.
1996
Action refinement in a temporal logic of objects. Zbl 0949.68539
Fiadeiro, J. L.;Maibaum, T.
1994
Models for the substitution axiom of UNITY logic. Zbl 0787.68015
Reichwein, Georg;Fiadeiro, José Luiz
1993
Temporal theories as modularisation units for concurrent system specification. Zbl 0746.68031
Fiadeiro, J.;Maibaum, T.
1992
Temporal reasoning over deontic specifications. Zbl 0731.03022
Fiadeiro, J.;Maibaum, T.
1991
Logics of modal terms for systems specification. Zbl 0723.68070
Fiadeiro, José;Sernadas, Amílcar
1990
Structuring theories on consequence. Zbl 0671.03020
Fiadeiro, José;Sernadas, Amílcar
1988
Specification and verification of database dynamics. Zbl 0627.68078
Fiadeiro, José;Sernadas, Amílcar
1988
The INFOLOG linear tense propositional logic of events and transactions. Zbl 0596.68063
Fiadeiro, José;Sernadas, Amílcar
1986
alltop 5

Cited by 195 Authors

15 Fiadeiro, José Luiz
11 Maibaum, Thomas Stephen Edward
9 Diaconescu, Răzvan
6 Castro, Pablo F.
5 Lopes, Antónia
5 Voutsadakis, George
4 Aiguier, Marc
4 Bruni, Roberto
4 Martins, Manuel António
4 Sernadas, Amilcar C.
4 Talcott, Carolyn L.
4 Tarlecki, Andrzej
4 Ţuţu, Ionuţ
4 Veloso, Paulo Augusto Silva
3 Arbab, Farhad
3 Hennicker, Rolf
3 Knapp, Alexander
3 Lion, Benjamin
3 Meseguer Guaita, José
3 Mossakowski, Till
3 Sannella, Donald T.
3 Veloso, Sheila R. M.
3 Wolter, Uwe E.
2 Alagic, Suad
2 Barbosa, Luís Soares
2 Bliudze, Simon
2 Bracciali, Andrea Clark
2 Carmo, José M. C. L. M.
2 Ehrig, Hartmut
2 Gaĭnă, Daniel
2 González-Burgueño, Antonio
2 Harper, Robert
2 König, Harald
2 Kovalyov, Serge P.
2 Lipeck, Udo Walter
2 Liu, Zhiming
2 Madeira, Alexandre
2 Martí-Oliet, Narciso
2 Montanari, Angelo
2 Montanari, Ugo G.
2 Olveczky, Peter Csaba
2 Pavlović, Duško
2 Pinna, G. Michele
2 Poigné, Axel
2 Roggenbach, Markus
2 Saake, Gunter
2 Sergot, Marek J.
2 Sernadas, Cristina S.
2 Sifakis, Joseph
2 Zhao, Liang
1 Aguirre, Nazareno M.
1 Alagić, Mara
1 Andrade, Luís Filipe
1 Arenas, Alvaro E.
1 Arndt, Peter F.
1 Attie, Paul C.
1 Aziz, Benjamin
1 Azzi, Guilherme Grochau
1 Babenyshev, Sergey
1 Badia, Guillermo
1 Bae, Kyungmin
1 Bahrami, Diane
1 Balbiani, Philippe
1 Baldan, Paolo
1 Baranov, Eduard
1 Barbier, Franck
1 Bardohl, Roswitha
1 Barrio-Solórzano, Manuel
1 Beato, M. Encarnación
1 Bicarregui, Juan C.
1 Bidoit, Nicole
1 Bloch, Isabelle
1 Bonsangue, Marcello Maria
1 Bozga, Marius
1 Brogi, Antonio
1 Bucchiarone, Antonio
1 Bueri, Lucas
1 Caleiro, Carlos
1 Cao, Chun
1 Cau, Antonio
1 Cengarle, María Victoria
1 Cerioli, Maura
1 Chiriţă, Claudia Elena
1 Clarke, Dave
1 Corradini, Andrea
1 Costa, Gerardo
1 Costa, José Félix
1 Craven, Robert P. M.
1 Cuesta, Carlos E.
1 de Amo, Sandra
1 de Carvalho Junior, Francisco Heron
1 de la Fuente, Pablo
1 de Lara, Juan
1 Delahaye, Benoît
1 Denker, Grit
1 Dimitrakos, Theo
1 Dix, Jurgen
1 Duarte, Carlos H. C.
1 Ehrich, Hans-Dieter
1 Engels, Gregor
...and 95 more Authors
alltop 5

Cited in 34 Serials

24 Theoretical Computer Science
9 Information Processing Letters
8 Formal Aspects of Computing
7 Journal of Logical and Algebraic Methods in Programming
6 Studia Logica
5 Journal of Applied Logic
3 Mathematical Structures in Computer Science
2 Acta Informatica
2 Notre Dame Journal of Formal Logic
2 Annals of Pure and Applied Logic
2 Journal of Automated Reasoning
2 Annals of Mathematics and Artificial Intelligence
2 The Journal of Logic and Algebraic Programming
1 Artificial Intelligence
1 Fuzzy Sets and Systems
1 Journal of Computer and System Sciences
1 Journal of Philosophical Logic
1 Journal of Pure and Applied Algebra
1 Bulletin of the Section of Logic
1 Science of Computer Programming
1 Information and Computation
1 International Journal of Approximate Reasoning
1 Computational Mathematics and Mathematical Physics
1 Automation and Remote Control
1 Archive for Mathematical Logic
1 Applied Categorical Structures
1 Journal of Applied Non-Classical Logics
1 Journal of Mathematical Sciences (New York)
1 Soft Computing
1 Journal of Software Maintenance and Evolution. Research and Practice
1 Science in China. Series F
1 Logica Universalis
1 Logical Methods in Computer Science
1 Frontiers of Computer Science

Citations by Year

The data are displayed as stored in Wikidata under aCreative Commons CC0 License. Updates and corrections should be madein Wikidata.
© 2025FIZ Karlsruhe GmbHPrivacy PolicyLegal NoticesTerms & Conditions
  • Mastodon logo
 (opens in new tab)
[8]ページ先頭
©2009-2025 Movatter.jp