Search results for "area"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
48	Adit D. Singh	Interstitial Redundancy: An Area Efficient Fault Tolerance Scheme for Large Area VLSI Processor Arrays.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	area efficient fault tolerance scheme, large area VLSI processor arrays, interstitial sites, operational spares, area efficient layouts, chip area utilization, interstitial redundancy, PE survival probabilities, VLSI, fault tolerant computing, reconfiguration, redundancy, polynomial time algorithm, cellular arrays, switching network, performance degradation, wafer scale integration, circuit layout
40	Marjory J. Johnson	Experiences with the Bay Area Gigabit Network Testbed.	FTDCS	1995	DBLP DOI BibTeX RDF	Bay Area Gigabit Network Testbed, high-performance ATM, applications-oriented testbed, performance evaluation, asynchronous transfer mode, metropolitan area networks, metropolitan-area network
37	Qiang Li, David B. Gustavson	Fat-tree for local area multiprocessors.	IPPS	1995	DBLP DOI BibTeX RDF	local area multiprocessors, LAMP, high-performance low-cost parallel computing, LAN-size area, remote data cache, high performance multiprocessor, point-to-point physical connections, high system throughput, fat-tree topology, cable length, link clock speeds, biCMOS chips, performance evaluation, parallel architectures, parallel architecture, multiprocessor interconnection networks, local area networks, latency, packet switching, packet switch, CMOS, shared memory systems, distributed memory systems, simulation results, cache storage, system buses, SCI, buffer requirements, distributed-shared-memory multiprocessor, scalable coherent interface
35	S. Miroslav Klivansky	Traffic Modeling Methodology for Performance Analysis of a Class of Wide-Area Network Problems.	MASCOTS	1997	DBLP DOI BibTeX RDF	positive autocorrelations, input traffic, queue length statistics, slowly decaying autocorrelation structure, network performance analysis, marginal distribution, packet arrival process, connection oriented traffic, wide-area backbone network, trace sampling, TCP traffic, performance analysis, wide area networks, wide-area network, traffic modeling, multiplexer, network environments, temporal dependencies
34	Manuel Area-Moreira, Jesús Rodríguez-Rodríguez, José Peirats-Chacón, Pablo Santana-Bonilla	The Digital Transformation of Instructional Materials. Views and Practices of Teachers, Families and Editors.	Technol. Knowl. Learn.	2023	DBLP DOI BibTeX RDF
34	Esra Güldogan Lekesiz, Iván Area	Some New Families of Finite Orthogonal Polynomials in Two Variables.	Axioms	2023	DBLP DOI BibTeX RDF
34	Carina S. González-González, Baltasar Fernández-Manjón, Frederick W. B. Li, Francisco José García-Peñalvo, Filippo Sciarrone, Marc Spaniol, Alicia García-Holgado, Manuel Area-Moreira, Matthias L. Hemmje, Tianyong Hao (eds.)	Learning Technologies and Systems - 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers	ICWL	2023	DBLP DOI BibTeX RDF
34	Esra Güldogan Lekesiz, Rabia Aktas, Iván Area	Fourier Transform of the Orthogonal Polynomials on the Unit Ball and Continuous Hahn Polynomials.	Axioms	2022	DBLP DOI BibTeX RDF
34	Rabia Aktas, Iván Area, Teresa E. Pérez	Three term relations for multivariate Uvarov orthogonal polynomials.	Comput. Appl. Math.	2022	DBLP DOI BibTeX RDF
34	Manuel Rey-Area, Mingze Yuan, Christian Richardt	360MonoDepth: High-Resolution 360° Monocular Depth Estimation.	CVPR	2022	DBLP DOI BibTeX RDF
34	Manuel Rey-Area, Mingze Yuan, Christian Richardt	360MonoDepth: High-Resolution 360° Monocular Depth Estimation.	CoRR	2021	DBLP BibTeX RDF
34	Manuel Rey-Area, Emilio Guirado, Siham Tabik, Javier Ruiz Hidalgo	FuCiTNet: Improving the generalization of deep learning networks by the fusion of learned class-inherent transformations.	CoRR	2020	DBLP BibTeX RDF
34	Siham Tabik, Anabel Gómez-Ríos, J. L. Martín-Rodríguez, I. Sevillano-García, Manuel Rey-Area, David Charte, Emilio Guirado, Juan-Luis Suárez, Julián Luengo, M. A. Valero-González, P. García-Villanova, Eulalia Olmedo-Sánchez, Francisco Herrera	COVIDGR dataset and COVID-SDNet methodology for predicting COVID-19 based on Chest X-Ray images.	CoRR	2020	DBLP BibTeX RDF
34	Siham Tabik, Anabel Gómez-Ríos, J. L. Martín-Rodríguez, I. Sevillano-García, Manuel Rey-Area, David Charte, Emilio Guirado, Juan-Luis Suárez, Julián Luengo, M. A. Valero-González, P. García-Villanova, Eulalia Olmedo-Sánchez, Francisco Herrera	COVIDGR Dataset and COVID-SDNet Methodology for Predicting COVID-19 Based on Chest X-Ray Images.	IEEE J. Biomed. Health Informatics	2020	DBLP DOI BibTeX RDF
34	Manuel Rey-Area, Emilio Guirado, Siham Tabik, Javier Ruiz Hidalgo	FuCiTNet: Improving the generalization of deep learning networks by the fusion of learned class-inherent transformations.	Inf. Fusion	2020	DBLP DOI BibTeX RDF
34	Manuel Area Moreira, Víctor Manuel Hernández Rivero, Juan José Sosa Alonso	Leadership and school integration of ICT. Teachers perceptions in Spain.	Educ. Inf. Technol.	2019	DBLP DOI BibTeX RDF
34	Jean-Daniel Djida, Gisèle M. Mophou, Iván Area	Optimal Control of Diffusion Equation with Fractional Time Derivative with Nonlocal and Nonsingular Mittag-Leffler Kernel.	J. Optim. Theory Appl.	2019	DBLP DOI BibTeX RDF
34	Luis Tomas Bolivar, Christos Tselios, Daniel Mellado Area, George Tsolis	On the Deployment of an Open-Source, 5G-Aware Evaluation Testbed.	MobileCloud	2018	DBLP DOI BibTeX RDF
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy	Recursive computation of generalised Zernike polynomials.	J. Comput. Appl. Math.	2017	DBLP DOI BibTeX RDF
34	Mohammad Masjed-Jamei, Iván Area	Error bounds for Gaussian quadrature rules using linear kernels.	Int. J. Comput. Math.	2016	DBLP DOI BibTeX RDF
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy, Vanessa G. Paschoa	Approximate Calculation of Sums II: Gaussian Type Quadrature.	SIAM J. Numer. Anal.	2016	DBLP DOI BibTeX RDF
34	Iván Area, Jorge Losada, Juan J. Nieto	On quasi-periodic properties of fractional sums and fractional differences of periodic functions.	Appl. Math. Comput.	2016	DBLP DOI BibTeX RDF
34	Miguel Angel Lopez Pena, Carlos Area Rua, Sergio Segovia Lozoya	A "Fast Data" architecture: Dashboard for anomalous traffic analysis in data networks.	ICDIM	2016	DBLP DOI BibTeX RDF
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy, Vanessa G. Paschoa	Bounds for the zeros of symmetric Kravchuk polynomials.	Numer. Algorithms	2015	DBLP DOI BibTeX RDF
34	Iván Area, Eduardo Godoy, Jaime Rodal, André Ronveaux, Alejandro Zarzo	Bivariate Krawtchouk polynomials: Inversion and connection problems with the NAVIMA algorithm.	J. Comput. Appl. Math.	2015	DBLP DOI BibTeX RDF
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy, Vanessa G. Paschoa	Approximate Calculation of Sums I: Bounds for the Zeros of Gram Polynomials.	SIAM J. Numer. Anal.	2014	DBLP DOI BibTeX RDF
34	Helena Andrade, Iván Area, Juan J. Nieto, Angela Torres	The number of reduced alignments between two DNA sequences.	BMC Bioinform.	2014	DBLP DOI BibTeX RDF
34	Iván Area, Natig M. Atakishiyev, Eduardo Godoy, Jaime Rodal	Linear partial q-difference equations on q-linear lattices and their bivariate q-orthogonal polynomial solutions.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
34	Iván Area, Eduardo Godoy, Regina Litz Lamblém, A. Sri Ranga	Basic hypergeometric polynomials with zeros on the unit circle.	Appl. Math. Comput.	2013	DBLP DOI BibTeX RDF
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy, Vanessa G. Paschoa	Zeros of classical orthogonal polynomials of a discrete variable.	Math. Comput.	2013	DBLP DOI BibTeX RDF
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy, Fernando R. Rafaeli	Inequalities for zeros of Jacobi polynomials via Obrechkoff's theorem.	Math. Comput.	2012	DBLP DOI BibTeX RDF
34	Stanislaw Lewanowicz, Pawel Wozny, Iván Area, Eduardo Godoy	Multivariate generalized Bernstein polynomials: identities for orthogonal polynomials of two variables.	Numer. Algorithms	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 33C50, 33D50, 65D17
34	Iván Area, Dimitar K. Dimitrov 0001, Eduardo Godoy, André Ronveaux	Zeros of Gegenbauer and Hermite polynomials and connection coefficients.	Math. Comput.	2004	DBLP DOI BibTeX RDF
34	Iván Area, Eduardo Godoy, André Ronveaux, Alejandro Zarzo	Classical discrete orthogonal polynomials, Lah numbers, and involutory matrices.	Appl. Math. Lett.	2003	DBLP DOI BibTeX RDF
34	Manuel Area	Integrating Internet in Adult Education Schools: The RedVEDA Project.	J. Educ. Technol. Soc.	2002	DBLP BibTeX RDF
34	Iván Area, Eduardo Godoy, Francisco Marcellán	q-Coherent pairs and q-orthogonal polynomials.	Appl. Math. Comput.	2002	DBLP DOI BibTeX RDF
34	Stanislaw Lewanowicz, Eduardo Godoy, Iván Area, André Ronveaux, Alejandro Zarzo	Recurrence relations for the coefficients of the Fourier series expansions with respect to q-classical orthogonal polynomials.	Numer. Algorithms	2000	DBLP DOI BibTeX RDF
34	André Ronveaux, Alejandro Zarzo, Iván Area, Eduardo Godoy	Decomposition of Polynomials with Respect to the Cyclic Group of Order m.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
34	Iván Area, Eduardo Godoy, André Ronveaux, Alejandro Zarzo	Inversion Problems in the q-Hahn Tableau.	J. Symb. Comput.	1999	DBLP DOI BibTeX RDF
33	Joseph Reeves, Carlos Moreno, Ming Li, Chengyu Hu, B. Prabhakaran 0001	Data Reliability-Aware and Cloud-Assisted Software Infrastructure for Body Area Networks.	Advances in Body Area Networks I	2019	DBLP DOI BibTeX RDF
33	Xiao Fang, Mehrab Ramzan, Qiong Wang, Dirk Plettemeier	Compact Antipodal Vivaldi Antennas for Body Area Communication.	Advances in Body Area Networks I	2019	DBLP DOI BibTeX RDF
33	Gene Cooperman, Eike Jessen, Gerhard O. Michler	Introduction: Distributed High Performance Computing and Gigabit Wide Area Networks.	Wide Area Networks and High Performance Computing	1998	DBLP DOI BibTeX RDF
33	Edgar Gabriel, Michael M. Resch, Paul Christ, Alfred Geiger, Ulrich Lang 0002	High Performance Metacomputing in a Transatlantic Wide Area Application Testbed.	Wide Area Networks and High Performance Computing	1998	DBLP DOI BibTeX RDF
33	H. G. Chaplin	A Distributed Notebook for Local Area Networks.	Local Area Network Applications	1993	DBLP BibTeX RDF
33	Graham Ivers	Local Area Networks in an Educational Environment.	Local Area Network Applications	1993	DBLP BibTeX RDF
33	Alex A. Verrijn-Stuart	Local Area Network and Information Systems.	Local Area Network Applications	1993	DBLP BibTeX RDF
33	C. D. McDermid	Improving Systems Development Using the Local Area Network.	Local Area Network Applications	1993	DBLP BibTeX RDF
33	P. L. Higginson	Wide Area Internetworking.	Advanced Course: Local Area Networks	1983	DBLP DOI BibTeX RDF
33	Shashidhar Thakur, D. F. Wong 0001	Simultaneous area and delay minimum K-LUT mapping for K-exact networks.	ICCD	1995	DBLP DOI BibTeX RDF	area/delay minimum K-LUT mapping, K-exact networks, technology mapping problem, lookup table FPGAs, area minimization problem, K-bounded networks, delay minimization problem, flow-map algorithm, field programmable gate arrays, computational complexity, complexity, NP-complete, logic design, polynomial time algorithm, programmable logic arrays, table lookup, minimisation of switching nets
31	Erol Sahin, Sertan Girgin, Emre Ugur	Area measurement of large closed regions with a mobile robot.	Auton. Robots	2006	DBLP DOI BibTeX RDF	Area measurement, Buffon’s needle, Mobile robot, Stigmergy, Ants, Area coverage
31	Michael J. Lewis, Andrew S. Grimshaw	The Core Legion Object Model.	HPDC	1996	DBLP DOI BibTeX RDF	core Legion object model, building system services, secure shared object, shared name spaces, application adjustable fault tolerance, wide area assemblies, workstation based parallel processing tools, parallel supercomputers, wide area parallel processing, single global name space, Legion object model, core objects, flexible extensible implementation, site autonomy, fault tolerance, reliability, interoperability, fault tolerant computing, virtual machines, virtual machine, parallel machines, wide area networks, workstations
31	Vijay Varadharajan	Security in High-Speed Networks.	LCN	1996	DBLP DOI BibTeX RDF	high speed networks security, broadband services, connectionless switched multimegabit data service, connection-oriented frame relay, USA, security services design, broadband network interfaces, TCP/IP networks, OSI networks, connectionless SMDS, local area networks, security protocols, wide area networks, wide area networks, broadband networks, Europe
31	Daniel Bauer 0001, Burkhard Stiller, Bernhard Plattner	An Error-Control Scheme for a Multicast Protocol Based on Round-Trip Time Calculations.	LCN	1996	DBLP DOI BibTeX RDF	error-control scheme, multicast transport protocol, round-trip time calculations, isochronous data, reliable control messages, multicast signalling, reliable multicast data transmission protocols, high stability, local area networks, transport protocols, ATM networks, wide area networks, WAN, LAN, metropolitan area networks, distributed multimedia applications, simulation data, MAN
29	Nikolaos Papaoulakis, Nikolaos D. Doulamis, Charalampos Z. Patrikakis, John Soldatos 0001, Aristodemos Pnevmatikakis, Emmanuel N. Protonotarios	Real-time video analysis and personalized media streaming environments for large scale athletic events.	AREA	2008	DBLP DOI BibTeX RDF	ambient camera selection, personalized media streaming, real time context awareness, user-centric networking
29	Spyridon V. Gogouvitis, George Kousiouris, Kleopatra Konstanteli, Theodoros Polychniatis, Andreas Menychtas, Dimosthenis Kyriazis, Theodora A. Varvarigou	Realtime-enabled workflow management in service oriented infrastructures.	AREA	2008	DBLP DOI BibTeX RDF	service oriented architecture, multimedia, real time, workflow management, qos, event-driven, advance reservation
29	Barbara Krausz 0001, Rainer Herpers	Event detection for video surveillance using an expert system.	AREA	2008	DBLP DOI BibTeX RDF	expert system, event detection, video surveillance
29	Pi-Rong Sheu, Charng-Maw Lin	A fast optimal slot reuse scheme for CRMA high speed networks.	LCN	1997	DBLP DOI BibTeX RDF	CRMA high speed networks, cyclic-reservation multiple-access, fast optimal slot reuse scheme, high-speed local area networks, high-speed metropolitan area networks, folded-bus configurations, dual-bus configurations, reserve command generation, empty slots reservation, average cycle length, average throughput, average MAC delay, performance measurements, time complexity, computer simulations, NP-complete problem, metropolitan area networks, access delay
29	Rajesh Yadav, Rajashekar Reddy, Salim Hariri	A Multithreaded Message Passing Environment for ATM LAN/WAN .	HPDC	1995	DBLP DOI BibTeX RDF	multithreaded message passing environment, ATM WAN, high performance distributed computing environment, redundant data copying, multithreaded message passing system, NYNET communication system, NYNET, ATM wide area network testbed, ATM application programmer interface, multithreaded environment, protocols, asynchronous transfer mode, message passing, local area networks, wide area networks, quality of service requirements, networking technology, protocol processing, modular approach, ATM LAN
29	Yuichiro Miyaoka, Yoshiharu Kataoka, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki	Area/delay estimation for digital signal processor cores.	ASP-DAC	2001	DBLP DOI BibTeX RDF
29	Ganeshkumar Ganapathy, Barbara Goodson, Robert K. Jansen, Hai-Son Le, Vijaya Ramachandran, Tandy J. Warnow	Pattern Identification in Biogeography.	IEEE ACM Trans. Comput. Biol. Bioinform.	2006	DBLP DOI BibTeX RDF	Biogeography, area cladograms, maximum agreement area cladogram, maximum agreement subset, distance metrics
28	Bo-Zhou Chen, Hung-Ming Chen, Li-Da Huang, Po-Cheng Pan	A stochastic-based efficient critical area extractor on OpenAccess platform.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	OpenAccess, critical area analysis
28	Arijit Ganguly, Abhishek Agrawal, P. Oscar Boykin, Renato J. O. Figueiredo	WOW: Self-Organizing Wide Area Overlay Networks of Virtual Workstations.	HPDC	2006	DBLP DOI BibTeX RDF	self-organizing wide area overlay network, virtual workstation, WOW distributed system, peer-to-peer technique, user-level decentralized technique, IP packet, PVM-based fastDNAml application, virtual IP layer, virtual machine, local-area network, firewalls, WAN, cluster of workstations, high-throughput computing, client-server application
28	Insu Park, Shahram Shirani, David W. Capson	Area of surface as a basis for vertex removal based mesh simplification.	ICME	2005	DBLP DOI BibTeX RDF	global search method, vertex removal, area-based mesh simplification algorithm, area-based distortion measurement, data reduction algorithm, object rendering, perceptual quality
28	Fabian Vargas 0001, Alexandre M. Amory	Transient-fault tolerant VHDL descriptions: a case-study for area overhead analysis.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	transient-fault tolerant VHDL descriptions, area overhead analysis, reliable complex circuit design, harmful environments, reliability level, early-estimation, maximum area overhead, redundancy insertion, application minimum reliability requirement, FT-PRO tool, fault tolerant computing, redundancy, microprocessor, integrated circuit design, circuit CAD, CAD tool, transients, reliability estimation, memory elements, integrated circuit reliability, fault-tolerant circuit
28	Andrew Messier, Jared Robinson, Kaveh Pahlavan	Performance Monitoring of a Wireless Campus Area Network.	LCN	1997	DBLP DOI BibTeX RDF	Wireless Local Area Network (WLAN,) Wireless Campus Area Network, Wireless Access Point, Wireless Bridge, WaveLAN radio, Digital Roamabout Card, Wirless Testbed, 802.11
28	Weiping Shi	An optimal algorithm for area minimization of slicing floorplans.	ICCAD	1995	DBLP DOI BibTeX RDF	floorplan, area optimization, area minimization
28	Verna J. Friesen, Johnny W. Wong	A case study in local area migration to ATM.	ICCCN	1995	DBLP DOI BibTeX RDF	local area migration, local ATM, ATM switched internetwork, switching hubs, ATM-equipped end devices, ATM backbone, ATM adaptation, campus environment, network components, end-to-end loss, asynchronous transfer mode, local area network, Ethernets, simulation results, routers, servers, simulation model, multiplexers, network performance, ATM switches, end-to-end delay, network configurations, clients
28	Uwe Busbach	Distributed work management: an application area for mobile computing.	HICSS (4)	1995	DBLP DOI BibTeX RDF	distributed work management, asynchronous CSCW applications, mobile equipment, activity coordination, distributed work environments, task manager implementation, mobile task manager, user driven data caching, mobile computing, computer supported cooperative work, groupware, distributed processing, software, hardware, wide area networks, wide area networks, mobile technology, cache storage, portable computers, data objects
27	Angelo Ferrando 0001, Rafael Cardoso (eds.)	Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Roland Godet, Charles Lesire, Arthur Bit-Monnot	Multi-Robot Task Planning to Secure Human Group Progress.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Déborah Conforto Nedelmann, Jérôme Lacan, Caroline P. C. Chanel	Online Proactive Multi-Task Assignment with Resource Availability Anticipation.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Athanasios Lentzas, Dimitris Vrakas	From Robot Self-Localization to Global-Localization: An RSSI Based Approach.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Davide Catta, Vadim Malvone, Aniello Murano	Reasoning about Intuitionistic Computation Tree Logic.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Caroline Bonhomme, Jean-Louis Dufour	ORTAC+ : A User Friendly Domain Specific Language for Multi-Agent Mission Planning.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Oded Blumenthal, Guy Shani	Rollout Heuristics for Online Stochastic Contingent Planning.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Christopher R. Anderson, Louise A. Dennis	Autonomous Systems' Safety Cases for use in UK Nuclear Environments.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Sven Signer, Ian Gray	Adaptive Application Behaviour for Robot Swarms using Mixed-Criticality.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Jan Vermaelen, Tom Holvoet	Safe and Robust Robot Behavior Planning via Constraint Programming.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Vadim Malvone	The Impact of Strategies and Information in Model Checking for Multi-Agent Systems.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Aya Kherrour, Marco Robol, Marco Roveri, Paolo Giorgini	Evaluating Heuristic Search Algorithms in Pathfinding: A Comprehensive Study on Performance Metrics and Domain Parameters.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Robert Abela, Christian Colombo 0001, Axel Curmi, Mattea Fenech, Mark Vella, Angelo Ferrando 0001	Runtime Verification for Trustworthy Computing.	AREA@ECAI	2023	DBLP DOI BibTeX RDF
27	Rafael C. Cardoso 0001, Angelo Ferrando 0001, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis (eds.)	Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Timotheos Souroulla, Alberto Hata, Ahmad Terra, Özer Özkahraman, Rafia Inam	Model Compression for Resource-Constrained Mobile Robots.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Yaniel Carreno, Yvan R. Petillot, Ronald P. A. Petrick	Temporal Planning with Incomplete Knowledge and Perceptual Information.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Dara MacConville, Marie Farrell, Matt Luckcuck, Rosemary Monahan	Modelling the Turtle Python library in CSP.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Or Wertheim, Dan R. Suissa, Ronen I. Brafman	Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Andrea Gatti 0002, Viviana Mascardi	Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj, Nicolas Troquard	Careful Autonomous Agents in Environments With Multiple Common Resources.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Stalin Muñoz Gutiérrez, Gerald Steinbauer-Wagner	The Need for a Meta-Architecture for Robot Autonomy.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Débora C. Engelmann, Angelo Ferrando 0001, Alison R. Panisson, Davide Ancona, Rafael H. Bordini, Viviana Mascardi	RV4JaCa - Runtime Verification for Multi-Agent Systems.	AREA@IJCAI-ECAI	2022	DBLP DOI BibTeX RDF
27	Rafael C. Cardoso 0001, Angelo Ferrando 0001, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht (eds.)	Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi, Fabio Solari	Engineering Reliable Interactions in the Reality-Artificiality Continuum.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki, Shlomo Zilberstein	Improving Competence for Reliable Autonomy.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi 0001	Statistical Model Checking of Human-Robot Interaction Scenarios.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Victoria Edwards, Loy McGuire, Signe A. Redfield	Establishing Reliable Robot Behavior using Capability Analysis Tables.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Tuomas Halvari, Jukka K. Nurminen, Tommi Mikkonen	Testing the Robustness of AutoML Systems.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Mehrnoosh Askarpour, Matteo Rossi 0001, Omer Tiryakiler	Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Chidiebere Onyedinma, Patrick Gavigan, Babak Esfandiari	Toward Campus Mail Delivery Using BDI.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Eleonora Iotti, Giuseppe Petrosino, Stefania Monica, Federico Bergenti	Exploratory Experiments on Programming Autonomous Robots in Jadescript.	AREA@ECAI	2020	DBLP DOI BibTeX RDF
27	Simón C. Smith, Subramanian Ramamoorthy	Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study.	AREA@ECAI	2020	DBLP DOI BibTeX RDF