부산대학교 도서관

Lichter, M.; Seppelt, T.; Pago, B.

In: Leibniz International Proceedings in Informatics, LIPIcs, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. (Leibniz International Proceedings in Informatics, LIPIcs, February 2024, 288)

Garcia-Tornel, A.; Rubiera, M.; Requena, M.; Olivé-Gadea, M.; Molina, C.; Ribo, M.; Millan, M.; Bustamante, A.; Dorado, L.; Gomis, M.; Gallofré, M.; Dávalos, A.; Pérez De La Ossa, N.; Jiménez, X.; Soto, A.; Querol, M.; Cardona, P.; Urra, X.; Purroy, F.; Silva, Y.; Ustrell, X.; Esteve, P.; Salvat-Plana, M.; Jovin, T.; Abilleira, S.; Hernández-Pérez, M.; Jacobi, M.R.; Sanjuan, E.; Santana, K.; Rodríguez, N.; Pagola, J.; Rodriguez-Luna, D.; Maisterra, O.; Santamarina, E.; Muchada, M.; Juega, J.; Boned, S.; Franco, A.P.; García -Tornel, Á.; Deck, M.; Sala, V.; Muñoz, L.; Millán, M.; López-Cancio, E.; Hernández-Pérez, M.; Ciurans, J.; Samaniego, D.; Canento, T.; Martin, L.; Planas, A.; Broto, J.; Sorrentino, A.; Paré, M.; Zhu, N.; Garrido, A.; Grau, L.; Crespo, A.M.; Presas, S.; Almendrote, M.; Ramos, A.; Lucente, G.; Ispierto, L.; Lozano, M.; Becerra, J.L.; Jiménez, M.; Rolán, D.V.; Guanyabens, N.; Sanchez-Ojanguren, J.; Martínez-Piñeiro, A.; Forcén, S.; Gea, M.; Álvarez, M.; Ramos, A.; Lizarbe, M.D.; Guerra, S.R.; Bragado, I.; Arbex, A.; Rodríguez, L.; Portela, P.C.; García, H.Q.; Rodríguez, B.L.; Cayuela, N.; Miró, J.; Marzal, C.; Paipa, A.; Campoy, S.; Núñez, A.; Arroyo, P.; Besora, S.; Adell, V.; Campdelacreu, J.; Martí, M.A.; González, B.; Vila, L.B.; Crespo, M.F.; Berbel, A.; Urbaneja, M.C.V.; Guillen, N.; Vidal, N.; Vérez Santamaria, P.V.; Navarro, D.H.; Simó, M.; Falip, M.; Matas, E.; Ochoa, N.M.; Gifreu, A.; Muñoz, A.; Romero, L.; Portell, E.; Perez, G.H.; Esteve, F.R.; Teixidor, S.; Talavera, A.S.; Gómez, R.; Nuin, X.U.; Vargas, M.; Chamorro, Á.; Amaro, S.; Llull, L.; Renú, A.; Rudilosso, S.; Del Valle, R.S.; Ariño, H.; Solà, N.; La Puma, D.; Gil, F.; Gómez, J.B.; Matos, N.; Falgàs, N.; Borrego, S.; Sánchez, A.; Balasa, M.; Montejo, C.; Guasp, M.; Reyes, D.; Cervilla, P.S.; Contador, J.M.; Vera Monge, V.A.; Ramos, O.; Rodríguez, A.; Campello, A.R.; Ballester, G.R.; Trujillano, M.L.; Steinhauer, E.G.; Godia, E.C.; Ois Santiago, A.J.; Conde, J.J.; Fábregas, J.M.; Guisado, D.; Prats, L.; Camps, P.; Delgado, R.; Domeño, A.M.; Marín, R.; Cànovas, D.; Estela, J.; Ros, M.; Aranceta, S.; Espinosa, J.; Rubio, M.; Lafuente, C.; Barrachina, O.; Anguita, A.; Reverter, A.; García, C.; Sansa, G.; Hervas, M.; Crosas, M.; Delgado, T.; Krupinski, J.; Folch, S.H.; Gamito, G.M.; Alvarez, J.T.; Subirana, T.; Molina, J.; Besora, S.; Romero, L.C.; Valls, G.G.; Jover, M.; Sotova, J.J.; García Sánchez, S.Mª.; Valenzuela (intensivista), S.; Gómez-Choco, M.; Mengual, J.J.; Font, M.À.; Gómez Ruiz, Mª.I.; Zubizarreta, I.; González, S.F.; Gubieras, L.; Cobos, C.E.; Romo, L.M.; Caballol, N.; Cano, L.; Leal, J.S.; Izarra, M.T.; Trigo, I.B.; Viturro, S.B.; Albiñana, L.P.; Garrido, M.R.; Cazcarra, C.M.; Uscamaita, K.E.; Márquez, F.; Coll, C.; Lloret Villlas, M.I.; Vila, B.S.; Alemany Perna, B.; Domínguezl, D.L.; De Lera, M.; Cots Foraster, A.; Vera Monge, V.A.; Bojaryn, U.; Benabdelhak, I.; Capdevila, G.M.; Sanahuja Montesinos, J.; Vázquez, D.; Vicente Hervás, J.; González, C.; Quílez, A.; Pascual, M.V.; Ruiz, M.; Riba, Y.; Gil Villar, M.P.; García, C.; Roig, X.U.; Mora, M.B.; Guinjoan, A.P.; Borras, J.; Mañé Martínez, A.; Marés, R.; Viñas I Gaya, J.; Seró, L.; Flores, A.; Rodríguez, P.; Castilho, G.; Ortega, A.M.; Reverté, S.; Zaragoza, J.; Baiges, J.J.; Zaragoza, J.; Ozaeta, G.M.; Escalante, S.; Payo, I.; Salvado, J.S.; Sala, N.M.; Soler Insa, J.M.; Vilamala, E.T.; Navarro, J.A.; Tabuenca, H.C.; Canento Sánchez, T.; Ros, M.; Matos, N.; Roldán, E.; Rubiol, E.P.; Franquet, E.; Fuentes, L.; Donaire, J.; Martí, E.; Giménez, L.; Vázquez, J.G.; Clara Gris Ambrós, E.N.; Rodríguez, P.; Oletta, J.F.; Mellado, P.P.; Gómez, C.B.; Raileau, V.; Ruíz, E.C.; Pardina, O.; Mercadal, J.; López-Diéguez, M.; Pérez, P.; Gabarró, L.; Orriols, M.; Canet, J.J.; Roca, M.; Álvaro, M.; Boneu, F.; Giménez, G.; Albà, J.; Gibert, F.; Garcia, J.; Barragan, P.; Jurado, G.; Ortega, J.S.; Martínez Solano, J.A.; Fernández, V.; Torres, M.; Belén Montero Alvaredo, A.; Redondo Parejo, L.; Maria Aragonés, J.; Bullón, A.; Loste, C.; González, P.; Bejarano, N.; Sanchez, F.; Lucchetti, G.; Pla, X.; Gimeno, J.; Reynaga, E.; Barcons, M.; Celedón, G.; Ortiz, J.; Anastasovski, G.; Mascaró, O.; De Los Ríos, J.D.; Feliu, M.; Ribera, A.; Ruiz, C.; Corominas, G.; Nunes, D.; Roca, C.; Latorre, N.; Yataco, L.; Cruz, M.; Blanco, N.; Castejón, S.; Calderón, D.C.; Sunyer, C.P.; Garcia, J.E.; Martin, R.P.; De Luis Sanchez, A.; Vivas, D.E.; Molina, Gemma, J.V.; Palome, P.; Chaume, L.T.; Vilella, A.V.; Bustamante, M.; Boltes, A.; Rodríguez, F.; Arrieta, I.; Ciurans Molist, J.; Andreu, B.; Soler, E.P.; Buscà, N.G.; López, M.D.; Farreres, J.B.; Ruiz, V.C.; Batiste, M.; Sanz Cartagena, Mª.P.; De Vega, E.C.; Real, J.B.; Roman, H.P.; Socolich, C.; Alonso Camp, J.Mª.; Cano Orgaz, A.T.; Fossas Felip, Mª.P.; Morón, N.; Bacca, S.; Molina, M.; Casarramona, F.; Elias, L.; Bukaei, M.Z.; Martos Gutierrez, J.A.; Escuin, J.L.; Olaizola, C.; Vargas, Y.L.; Jiménez Oyonarte, J.; Soultana, R.; Golpe, E.S.; Salvador, E.; Vila, G.; Serrano, M.; López Claverol, M.N.; Lamolla, M.; Amate, M.; Rodriguez, A.; Romero, R.; Del Carpio, M.; Hernandez, A.I.; Martín, J.; Rosas, M.C.; Nogueroles, A.; Encarnación, S.; Robles, A.; Herrera, J.A.; Gavilán, R.; Mameghani, T.; Araujo, G.; Garrido Morales, M.A.; Albert Segui, E.R.; Climent, E.F.; Pujol, F.P.; Garrofé Seira, M.J.; Pía, L.G.; Nuñez, F.S.; Peñalver, C.A.; Lopes, C.V.; Ribera Tasa, E.; Vilchez, C.R.; Zambrana, M.S.; Ribas, B.S.; Panés, I.V.; Planavila, M.V.; Lorenzo, A.V.; Guixes, M.S.; Medina, J.; Sambrano, D.; Zamarreño, J.; Pirela, C.; Vélez, P.; Cajamarca, L.; Pérez, H.; Martínez, Y.; Alexander Gonçalves, J.; Regordosa, C.; Mormeneo, C.; Griu, L.; Francia Colina, M.; Farik, E.; Duch, D.C.; Badenas, C.; Bernal, O.; Agramunt, N.; Morales, S.; Reynoso, V.; Guerrero, M.; Romera Cid, P.; Folqué, M.; Pedroza, C.; Hachem, A.; Martínez, Í.S.; Verdera García, X.; Amorós, M.L.; Subirós, X.C.; Benet, M.C.; Van Eendenburg, C.; Osuna, T.; Santos, D.G.; Pallisera, M.; Oliva, L.G.; Sanchez, G.; Basurto, X.; Vivoda, L.; Van Der Kleyn, R.; Robles, L.; Cabanelas Barranco, A.; Almendros, Mª.C.; Oliveras, M.P.; Álvarez, A.F.; Rybyeva, M.; Viñas, A.; Barcons, M.; Alberto Tavera, J.D.; Burbano, P.; López, C.; Cruz, D.; Bisbe, P.; Fernández, N.; Carlos Palacio, J.; Fraiz, E.; Aguiló, O.; Amorodjo, R.; Velázquez, J.; Sánchez, E.; Español, J.; De Celis, J.P.; Coll, A.; Díaz, G.; Vergés I Sala, M.; Casas Capdevila, Mª.Á.; Ferrini, Y.Y.; Gorriz, A.; Cucurell Navarro, D.-J.; Velásquez, D.; Pla Soler, J.; González, J.; Higuera, J.D.; Cuellar, L.; Miniello, L.M.; Pujol, L.; Cracan, S.; Vives, M.; Angela, M.; Lopez, L.; Anabel; Molist, M.G.; Anna, D.; Muñoz, S.S.; Yolanda, F.; Pujalte, C.; Téllez Marín, E.; Font Casas, Y.; Hernández Luque, S.; Sendra, J.M.; Valero, F.M.; Escala, C.; Lacanal, G.D.; Diaz, L.; Paramio, C.; Estopà, C.; Moreda, E.; Majo, C.; Almeida, C.; Naval, C.; Elena, M.; Ruiz, C.; Lluis, P.; Font, D.; Sanjuan, F.; Pere, J.; Gorchs, F.; Bellés, F.; Antoni, J.; Herrera, G.; Carlos, J.; Prades, H.; Torvisco, I.; Rovira, M.; Gonzalez, O.; Cavero, O.; Gil, Q.; Soledad, M.; Rodriguez, R.; Sambernardo, R.; Molina, R.; Ramon, J.; Valero, S.; Arevalo, S.; Jose, M.; Garcia, S.; Angeles, M.; Escribano, T.; Garcia, T.; José, P.; Carrion, V.; Isabel, M.; Lopez, V.; Jose, J.; Canela, L.; Angeles, M.; Guarque, L.; Alvarez, M.; Arnulfo, J.; Fornieles, M.; Gomez, S.; Teresa, M.; Masa, T.; Lopez, V.; Mercedes, M.; Reyes, P.; Manuel, J.; Forne, R.; Turiel, R.; Gonzalez, S.; Gornals, S.; Rico, A.; Falip, A.G.; Oliveros, A.; Perotti, B.; Molinero, C.; Franco, C.; Medina, C.; Miro, D.; Marquez, D.; Pradas, F.; Casanova, F.; Tortajada, G.; Gallego, G.; Del Mar, A.; Arroyo, L.; De Jesus, D.; Sanz, L.; Vidal, L.; Corral, M.; De La Cruz, M.; Blanco, M.; Orgaz, O.; Suazo, P.; Minguillon, P.; Gómez, R.; Carlos, J.; Pereira, R.; Porcel, S.; Villar, S.; Lopez, S.; Romero, T.; Calveres, T.; Arnella, V.; Gil, A.; Teresa, M.; Vico, B.; Galea, C.; Maria, R.; Chafer, E.; Antonio, J.; Moreda, E.; Faure, G.; Luque, H.; Delgado, J.; Gay, M.; Angel, M.; Sanzo, O.; Fondevila, P.; Fort, S.; Agámez, S.; Carlos, A.; Longaretti, T.; Hernandez, V.; Guixens, T.; Valor, A.; Alvarez, A.; Naval, A.; Baquero, A.; Marne, Cristina, A.; Orozco, A.; Colino, A.; Peñuela, A.; Cirilo, A.; Vanessa, M.; Guerrero, A.; Remedios, E.; Sillero, A.; Sorbet, A.; Genesca, B.; Barduena, B.; Tudela, B.; Pardo, B.; Pla, B.; Gonzalez, B.; Serramalera, B.; Andreu, B.; Calvo-Rayo, C.; Casellas, C.; Mombiela, C.; Bresme, C.; Fernandez, C.; Solà, C.; Matavacas, C.; Bolado, C.; Cortina, C.; Jane, A.; Collado Borrego, L.; Orri, C.; Vilanova, C.; Sole, C.; Torres, C.; Estepa, C.; Graell, D.S.; Lopez, D.R.; Compte, D.; Bueno, D.; Maneiro, D.; Lucia, A.; Palau, D.; Carme, M.; Carasso, D.; Javier, P.; Marquez, D.; Abidi, E.; Martin, E.; Casanovas, E.; Perez, F.; Quintero, F.; Escobar, F.; Abad, F.; Del Valle, F.; Luisa, Mª.; Quesada, F.; Maria, S.; Romero, F.; Teresa, M.; Francisco, G.; Gala, Alicia, G.; Castañeda, G.; Rodriguez, G.; Gemma, C.; Arroyo, G.; Girbau, G.; Fernandez, G.; Gonzalez, G.; Gonzalez, G.; Lopez, G.; Obeso, G.; Blanco, G.; Roca, G.; Eudaldo, G.; Sebastia, H.; Covas, H.; Alvarez, H.; Royo, H.; Barcelo, I.; Cruz, I.; Urdangarin Etxetxikia, J.; Gimenez, J.; Alami, K.; Gasco, L.; Moreales, L.; Arroyo, L.; De Jesus, D.; Medina, L.; Lourdes, M.; Cava, L.; Berrar, L.; Maturana, L.; Ramirez, L.; Romero, L.; Marco, L.; Martin, L.; Casals, L.; Nicola, L.; Diaz, M.; Antonio, J.; Peris Morales, M.T.; Clemente, M.; Castaño, M.; Natanael, D.; Gamez, M.; Gonzalez, M.; Quesada, M.; De La Cabeza, M.; Fusté, Mireia, M.; Conillera, M.; Lasheras, M.; Mestre, M.; Puig Pastalle, M.; Vidal, M.; Mellado, M.; Ponce, M.; Fornieles, M.; Cabre, M.; Vivet, M.; Souza, M.; Quiles, M.; Rosa, N.; Iglesias, N.; Asuncion, M.; Manrique, N.; Pilar, Mª.; Martinez, O.; Reig, P.; Torres, P.; Berengueras, P.; Gamez, P.; Oset, P.; Restrepo, P.; Alejandra, M.; Yeste, P.; Mangado, P.; Minguillon, P.; Carbonell, P.; Blanco, Q.; Benavente, R.; Fernandez, R.; Gomez, R.; Del Carmen, M.; Pou, R.; Ferrer, R.; Franco, R.; Fuertes, R.; Muñoz, R.; Navarro, R.; Iniesta, R.; Gracia, R.; Brunet, R.; De Eugenio, R.; Baena, R.; Llorens, R.; Llamazares, S.; Alaez, S.J.; Segura, S.; Soldevilla, S.; Salmeron, S.; Perez, S.; Balcells, S.; Dumitras, S.; Montoya, T.; Vicente, T.; Salinas, T.; Ines, E.; Testa, T.; Figueras, T.; Ruperez, T.; Garcia-Penche, T.; Esparza, T.; Uku, F.; Blanco, V.; De La Paz, V.; Gil, V.; Gonzalez, V.; Meler, V.; Cots, V.; Jimenez, V.; Jose, M.; Fernandez, V.; Gavin, V.; Vives, V.; Jimenez, C.; Jose, F.; Vilches, G.; Gomez, G.; Manzanera, J.; Cortes, M.; Orive, M.; Bosch, M.; Jose, M.; Lopez, M.; Roca, M.; Jesus, M.; Guri, M.; Hernandez, M.; Oliva, M.; Pujol, P.; Conde, P.; Arruñada, P.; Antonio, J.; Mathé, Q.; Mata, R.; Alvarez, A.; Alvarez, A.; Flores, A.; Pago, B.; Andreu, B.; Vilar, C.; Hidalgo, C.; Gil, C.; Gloria, M.; Montsesinos, C.; Estopà, C.; Garces, C.; Sanroma, C.; Sequi, D.; Ricol, E.; Campillo, E.; Del Mar, M.; Alvarez, F.; Gomez, F.; Perez, F.; Espinosa, F.; Graells, F.; Plaza, G.; Gallego, G.-M.; Simancas, H.; Covas, H.; Royo, H.; Armas, J.; Ramos, J.; Canela, L.; Angeles, M.; Lopez, L.; Oganissian, L.; Romero, M.; Rosa, M.; Millan, M.; Morón, M.; Encinas, M.; Fornieles, M.; Jimenez, M.; Rico, M.; Rodriguez, N.; Ibañez, N.; Maria, R.; Viera, N.; Torrabadella, P.; Alba, M.; Villar, P.; Montserrat, C.; Carbonell, P.; Miralles, R.; Trilles, R.; Ortiz, R.; Fuertes, R.; Gonzalez, S.; Perez, S.; Perez, S.; Borrega, S.; Garcia, S.; Angeles, M.; Fores, T.; Bernad, T.; Alvarez, T.; Moreda, E.; Martin, F.; Perez, H.; Manzanera, J.; Fuster, L.; Gomariz, L.; Orive, M.; Bosch, M.; Jose, M.; Guri, M.; Oliva, M.; Lozano, P.; Pujol, P.; Altimiras, Q.; Lopez, V.; Damian, A.; Colino, A.; Monterroso, A.; Comas, A.; Garzon, B.; Capella, B.; Garcia, C.; Del Mar, M.; Olivas, C.; Fernandez, C.; Solà, C.; Marti, C.; Isabel, C.; Bacaicoa, C.; Gil, C.; Gloria, M.; Montsesinos, C.; Calderon, C.; Osuna, C.; Planas, C.; Olio, C.; Estany, D.; Carasso, D.; Javier, P.; Campillo, E.; Del Mar, M.; Martinez, F.; Lopez, G.; Luis, P.; Plaza, G.; Amill Vallve, G.; Arroyo, G.; Girbau, G.; Muñoz, G.; Ventura, H.; Covas, H.; Gimenez, L.; Rojo, M.; Medina, M.; Millan, M.; Barrera, M.; Pi, M.; Dalmau, M.; Campodarbe, M.; Pastalle, M.P.; De La Cruz, M.; Fornieles, M.; Sanchez, M.; Javier, F.; Reig, P.; Torrabadella, P.; Mari, A.; Barrameda, P.; Ajenjo, P.; Benavente, R.; Pareja, R.; Piñar, R.; Francisco, J.; Tello, R.; Pereda, R.; Saborido, S.; Martin, S.; Martinez, S.; Chavez, S.; Testa, T.; Figueras, T.; Garcia, T.; José, P.; Torres, T.; Domenech, V.; Esteo, V.; Pertegaz, V.; Gonzalez, B.; Pont, B.; Sanchez, B.; Alarcon, B.; Ballescà, B.; Clanchet, B.; Garcia, C.; Carril, C.; Sanchez, C.F.; Edurne Judith, F.T.; Rodriguez, E.; Resa, E.; Xavier, F.; Sol, F.; Lugo, G.; Llesera, G.; Lendinez, H.; Liesa, J.; Alicia, S.; Ortega, L.; Yuste, L.; Villanueva, L.; Soto, L.S.; Castellano, M.; Cano, M.; Jesus, D.; Ponce, M.; Sospedra, M.; Martinez, M.; Herrera, M.; Isabel, M.; Fernandez, O.; Jose, M.; Bernal, P.; Sole, P.; Carbonell, R.; Lop, R.; López, R.; Lopez, R.; Castaño, S.; Lara, S.; Ramírez, S.; Gornals, S.; Creus, S.; Dalmau, S.; Mainero, S.; Gabriel, G.; Masa, T.; Primo, V.; Viñuales Muñoz, A.M.; Roig, J.; Hidalgo, V.

In: Stroke. (Stroke, 1 December 2022, 53(12):3728-3740)

In: Leibniz International Proceedings in Informatics, LIPIcs, 48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023. (Leibniz International Proceedings in Informatics, LIPIcs, August 2023, 272)

In: Leibniz International Proceedings in Informatics, LIPIcs, 31st EACSL Annual Conference on Computer Science Logic, CSL 2023. (Leibniz International Proceedings in Informatics, LIPIcs, 1 February 2023, 252)

Grädel, E.; Grohe, M.; Pago, B.; Pakusa, W.

In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2019, 15(1))

In: Leibniz International Proceedings in Informatics, LIPIcs, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. (Leibniz International Proceedings in Informatics, LIPIcs, January 2021, 183)

Grädel, E.; Pago, B.; Pakusa, W.

In: Leibniz International Proceedings in Informatics, LIPIcs, Computer Science Logic 2017, CSL 2017. (Leibniz International Proceedings in Informatics, LIPIcs, 1 August 2017, 82)

Grädel, E.; Grohe, M.; Pago, B.; Pakusa, W.

In: arXiv. (arXiv, 26 February 2018)