|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 280 occurrences of 234 keywords
|
|
|
|
|
Results
Found 2187 publication records. Showing 2183 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 25 | Damien Marion 0001, Duy-Phuc Pham, Annelie Heuser |
When Side-channel Meets Malware (short paper).  |
C&ESAR  |
2023 |
DBLP BibTeX RDF |
|
| 25 | Julien Depaillat, Pierre Paradinas, Philippe Maumard |
Building Defensive Self-Knowledge Using Embedded Machine Learning in Avionics. |
C&ESAR |
2023 |
DBLP BibTeX RDF |
|
| 25 | Victor Vuillard |
IoT, 5G and Trusted Cloud (keynote abstract). |
C&ESAR |
2023 |
DBLP BibTeX RDF |
|
| 25 | Olivier Gilles, David Faura, Daniel Gracia Pérez |
Securing Communication in the Field: Protecting Geo-distributed Computing in an Untrusted Environment. |
C&ESAR |
2023 |
DBLP BibTeX RDF |
|
| 25 | Antonio Albanese 0001, Guillermo Encinas-Lago, Vincenzo Sciancalepore, Xavier Costa-Pérez, Dinh-Thuy Phan-Huy, Stéphane Ros |
RIS-Aware Indoor Network Planning: The Rennes Railway Station Case. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
| 25 | Martina Lindorfer, Jason Polakis (eds.) |
EuroSec@EUROSYS 2022: Proceedings of the 15th European Workshop on Systems Security, Rennes, France, April 5-8, 2022 |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Antonio Albanese 0001, Guillermo Encinas-Lago, Vincenzo Sciancalepore, Xavier Costa-Pérez, Dinh-Thuy Phan-Huy, Stéphane Ros |
RIS-Aware Indoor Network Planning: The Rennes Railway Station Case. |
ICC |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | |
IEEE Workshop on Signal Processing Systems, SiPS 2022, Rennes, France, November 2-4, 2022 |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Tassadit Bouadi, Élisa Fromont, Eyke Hüllermeier (eds.) |
Advances in Intelligent Data Analysis XX - 20th International Symposium on Intelligent Data Analysis, IDA 2022, Rennes, France, April 20-22, 2022, Proceedings |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | David Fernández-Duque, Alessandra Palmigiano, Sophie Pinchinat (eds.) |
Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Michael Kuhn 0003, Kira Duwe, Jean-Thomas Acquaviva, Konstantinos Chasapis, Jalil Boukhobza (eds.) |
CHEOPS@EuroSys 2022: Proceedings of the Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems, Rennes, France, 5 April 2022 |
CHEOPS@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Adriana Szekeres, K. C. Sivaramakrishnan (eds.) |
PaPoC@EuroSys 2022: Proceedings of the 9th Workshop on Principles and Practice of Consistency for Distributed Data, Rennes, France, April 5 - 8, 2022 |
PaPoC@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Aaron Yi Ding, Volker Hilt (eds.) |
EdgeSys@EuroSys 2022: Proceedings of the 5th International Workshop on Edge Systems, Analytics and Networking, Rennes, France, April 5 - 8, 2022 |
EdgeSys@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Eiko Yoneki, Luigi Nardi (eds.) |
EuroMLSys '22: Proceedings of the 2nd European Workshop on Machine Learning and Systems, Rennes, France, April 5 - 8, 2022 |
EuroMLSys@EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yérom-David Bromberg, Anne-Marie Kermarrec, Christos Kozyrakis (eds.) |
EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5 - 8, 2022 |
EuroSys |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yu Wang, Jinting Wu, Tai Yue, Zhenyu Ning, Fengwei Zhang |
RetTag: hardware-assisted return address integrity on RISC-V. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Felix Berlakovich, Matthias Neugschwandtner, Gergö Barany |
Look Ma, no constants: practical constant blinding in GraalVM. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Panagiotis Papadopoulos, Antonios A. Chariton, Michalis Pachilakis, Evangelos P. Markatos |
OUTOPIA: private user discovery on the internet. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Vasile Adrian Bogdan Pop, Arto Niemi, Valentin Manea, Antti Rusanen, Jan-Erik Ekberg |
Towards securely migrating webassembly enclaves. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Tess Despres, Shishir G. Patil, Alvin Tan, Jean-Luc Watson, Prabal Dutta |
Where the sidewalk ends: privacy of opportunistic backhaul. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Pieter-Jan Vrielynck, Emad Heydari Beni, Kristof Jannes, Bert Lagaisse, Wouter Joosen |
DeFIRED: decentralized authorization with receiver-revocable and refutable delegations. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Andreas Costi, Brian Johannesmeyer, Erik Bosman, Cristiano Giuffrida, Herbert Bos |
On the effectiveness of same-domain memory deduplication. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Iosif Arvanitis, Grigoris Ntousakis, Sotiris Ioannidis, Nikos Vasilakis |
A systematic analysis of the event-stream incident. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Hudson Ayers, Prabal Dutta, Philip Alexander Levis, Amit Levy, Pat Pannuto, Johnathan Van Why, Jean-Luc Watson |
Tiered trust for useful embedded systems security. |
EuroSec@EUROSYS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Naureen Mujtaba, Ishtiaq Rasool Khan, Nadeem Ahmad Khan, Muhammad Awais Bin Altaf |
A Fast HDR Image TMO based on a Simplified Eye Sensitivity Model. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Logan Saint-Germain, Bertrand Le Gal, Fabien Baldacci, Jérémie Crenne, Christophe Jégo, Sebastien Loty |
Methodology to Adapt Neural Network on Constrained Device at Topology level. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Jongchan Woo, Muhammad Ibrahim Wasiq Khan, Mohamed I. Ibrahim, Ruonan Han 0001, Anantha P. Chandrakasan, Rabia Tugce Yazicigil |
Physical-Layer Security for THz Communications via Orbital Angular Momentum Waves. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Jingtao Li, Jian Zhou 0012, Yan Xiong, Xing Chen, Chaitali Chakrabarti |
An Adjustable Farthest Point Sampling Method for Approximately-sorted Point Cloud Data. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Lijuan Li, Hangxuan Cui, Yangcan Zhou, Zhongfeng Wang 0001 |
A Modified BP Bit-Flipping Algorithm for Polar Codes. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Hamidreza Ghonchi, Saideh Ferdowsi, Vahid Abolghasemi |
Common Spatial Pattern with Deep Learning for Fetal Heart Rate Monitoring. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Alp Sari, Tak Kaneko, Lense H. M. Swaenen, Wouter M. Kouw |
Variational Bayes for Robust Radar Single Object Tracking. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Duc H. Le, Panos P. Markopoulos |
Robust Singular Values based on L1-norm PCA. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yassine Mhiri, Mohammed Nabil El Korso, Arnaud Breloy, Pascal Larzabal |
A Robust EM Algorithm for Radio Interferometric Imaging in The Presence of Outliers. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Hoang M. H. Nguyen, Bart van Erp, Ismail Senöz, Bert de Vries |
Efficient Model Evidence Computation in Tree-structured Factor Graphs. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Sunil Bharitkar |
Bayesian Optimization for Simultaneous Deconvolution of Room Impulse Responses. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Seongmin Park, Wonyong Sung, Jungwook Choi |
Regularizing Activation Distribution for Ultra Low-bit Quantization-Aware Training of MobileNets. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Ibrahim Taabane, Daniel Ménard, Anass Mansouri, Ali Ahaitouf |
A Fast CU Partition Algorithm for VVenC Encoder in Intra Configuration. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yanis Guimard, Ming Jiang, Zhenghao Zhu, Huanyuan Shan, Jalal Fadili, Jean-Luc Starck |
Statistical and morphological component separation of foregrounds in convolved HI skymaps. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Van Thien Nguyen, William Guicquero, Gilles Sicard |
BILLNET: A Binarized Conv3D-LSTM Network with Logic-gated residual architecture for hardware-efficient video inference. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yu-Shan Tai, Cheng-Yang Chang, Chieh-Fang Teng, An-Yeu Andy Wu |
Learnable Mixed-precision and Dimension Reduction Co-design for Low-storage Activation. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yuan Meng, Hongjiang Men, Viktor K. Prasanna |
Accelerator Design and Exploration for Deformable Convolution Networks. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Karol Desnos, Thomas Bourgoin, Mickaël Dardaillon, Nicolas Sourbier, Olivier Gesny, Maxime Pelcat |
Ultra-Fast Machine Learning Inference through C Code Generation for Tangled Program Graphs. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Jannik Brun, Victoria M. T. Palhares, Gian Marti, Christoph Studer |
Beam Alignment for the Cell-Free mmWave Massive MU-MIMO Uplink. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Hugo Tessier, Vincent Gripon, Mathieu Léonardon, Matthieu Arzel, David Bertrand, Thomas Hannagan |
Leveraging Structured Pruning of Convolutional Neural Networks. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | M. Abdelgawad, Seyyed Hasan Mozafari, James J. Clark, Brett H. Meyer, Warren J. Gross |
BERTPerf: Inference Latency Predictor for BERT on ARM big.LITTLE Multi-Core Processors. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Nicolas Monnier, David Guibert, Cyril Tasse, Nicolas Gac, François Orieux, Erwan Raffin, Oleg M. Smirnov, Benjamin V. Hugo |
Multi-core multi-node parallelization of the radio interferometric imaging pipeline DDFacet. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Shan Li, Shan Cao, Lanqing Hui, Zhiyuan Jiang, Yanzan Sun, Shugong Xu |
A Computational-Efficient Deformable Convolution Network Accelerator via Hardware and Algorithm Co-Optimization. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Jeremy Guillaume, Maxime Pelcat, Amor Nafkha, Rubén Salvador |
Virtual Triggering: a Technique to Segment Cryptographic Processes in Side-Channel Traces. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Ke-Han Li, Chih-Fan Hsu, Yu-Sheng Lin, Shao-Yi Chien, Wei-Chao Chen |
Configuration through Optimization for In-Memory Computing Hardware and Simulators. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Junkyeong Choi, Hyucksung Kwon, Woongkyu Lee, Jieun Lim 0001, Jungwook Choi |
Understanding and Optimizing INT4 Convolution for Accelerated DNN Inference on Tensor Cores. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Marzieh Hashemipour-Nazari, Kees Goossens, Alexios Balatsoukas-Stimming |
Multi-Factor Pruning for Recursive Projection-Aggregation Decoding of RM Codes. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yok Jye Tang, Xinmiao Zhang |
Efficient Reconfigurable Vandermonde Matrix Inverter for Erasure-Correcting Generalized Integrated Interleaved Decoding. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Zhenyu Wang, Yi Zhou 0014, Lu Gan 0005, Rilin Chen, Xinyu Tang, Hongqing Liu |
DE-DPCTnet: Deep Encoder Dual-path Convolutional Transformer Network for Multi-channel Speech Separation. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Oksana Moryakova, Yinan Wang, Håkan Johansson |
Reconfigurable FIR Lowpass Equalizers. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Florian Ferreira, Julien Bernard 0003, Arnaud Sevin, Nicolas Doucet, Damien Gratadour |
COSMIC: a real-time platform for signal processing pipelines. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Pedro Ciambra, Mickaël Dardaillon, Maxime Pelcat, Hervé Yviquel |
Co-optimizing Dataflow Graphs and Actors with MLIR. |
SiPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Etienne Lehembre, Ronan Bureau, Bruno Crémilleux, Bertrand Cuissart, Jean Luc Lamotte, Alban Lepailleur, Abdelkader Ouali, Albrecht Zimmermann |
Selecting Outstanding Patterns Based on Their Neighbourhood. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Daniel Schuster 0001, Emanuel Domnitsch, Sebastiaan J. van Zelst, Wil M. P. van der Aalst |
A Generic Trace Ordering Framework for Incremental Process Discovery. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Fabian Hinder, Valerie Vaquet, Barbara Hammer |
Suitability of Different Metric Choices for Concept Drift Detection. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Narjes Davari, Sepideh Pashami, Bruno Veloso, Slawomir Nowaczyk, Yuantao Fan, Pedro Mota Pereira, Rita P. Ribeiro, João Gama 0001 |
A Fault Detection Framework Based on LSTM Autoencoder: A Case Study for Volvo Bus Data Set. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Javier Perez Tobia, Phillip Braun, Apurva Narayan |
AGS: Attribution Guided Sharpening as a Defense Against Adversarial Attacks. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Wen-Chi Yang, Arcchit Jain, Luc De Raedt, Wannes Meert |
Parameter Learning in ProbLog with Annotated Disjunctions. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Romaric Gaudel, Luis Galárraga, Julien Delaunay, Laurence Rozé, Vaishnavi Bhargava |
s-LIME: Reconciling Locality and Fidelity in Linear Explanations. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Thomas Villmann, Daniel Staps, Jensun Ravichandran, Sascha Saralajew, Michael Biehl, Marika Kaden |
A Learning Vector Quantization Architecture for Transfer Learning Based Classification in Case of Multiple Sources by Means of Null-Space Evaluation. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Mohamed Fakhfakh, Bassem Bouaziz, Lotfi Chaâri, Faïez Gargouri |
Efficient Bayesian Learning of Sparse Deep Artificial Neural Networks. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Stefan Horoi, Jessie Huang, Bastian Rieck, Guillaume Lajoie, Guy Wolf, Smita Krishnaswamy |
Exploring the Geometry and Topology of Neural Network Loss Landscapes. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Lucile Dierckx, Mélanie Beauvois, Siegfried Nijssen |
Detection and Multi-label Classification of Bats. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | H. Ambre Ayats, Peggy Cellier, Sébastien Ferré |
A Two-Step Approach for Explainable Relation Extraction. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Dusan Hetlerovic, Lubos Popelínský, Pavel Brazdil, Carlos Soares, Fernando Freitas |
On Usefulness of Outlier Elimination in Classification Tasks. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yann Dauxais, Urchade Zaratiana, Matthieu Laneuville, Simon David Hernandez, Pierre Holat, Charlie Grosman |
Towards Automation of Topic Taxonomy Construction. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yoeri Poels, Vlado Menkovski |
VAE-CE: Visual Contrastive Explanation Using Disentangled VAEs. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Toyah Overton, Allan Tucker, Tim James, Dimitar Hristozov |
dunXai: DO-U-Net for Explainable (Multi-label) Image Classification - Applications to Biomedical Images. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Stepan Veretennikov, Koen Minartz, Vlado Menkovski, Burcu Gumuscu, Jan de Boer |
Simulation of Scientific Experiments with Generative Models. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Yaroub Elloumi, Nesrine Abroug, Mohamed Hedi Bedoui |
End-to-End Mobile System for Diabetic Retinopathy Screening Based on Lightweight Deep Neural Network. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Nádia Soares, João F. Gonçalves, Raquel Vasconcelos, Rita P. Ribeiro |
Combining Multiple Data Sources to Predict IUCN Conservation Status of Reptiles. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Stefany Guarnizo, Ioanna Miliou, Panagiotis Papapetrou |
Impact of Dimensionality on Nowcasting Seasonal Influenza with Environmental Factors. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Ekaterina Antonenko, Jesse Read |
Multi-modal Ensembles of Regressor Chains for Multi-output Prediction. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Lu Yin 0006, Vlado Menkovski, Yulong Pei, Mykola Pechenizkiy |
Semantic-Based Few-Shot Classification by Psychometric Learning. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Nirbhaya Shaji, João Gama 0001, Rita P. Ribeiro, Pedro Gomes |
Bank Statements to Network Features: Extracting Features Out of Time Series Using Visibility Graph. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Maciej Grzenda |
Quantifying Changes in Predictions of Classification Models for Data Streams. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Hadi Fanaee-T |
Tensor Completion Post-Correction. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Mandani Ntekouli, Gerasimos Spanakis, Lourens J. Waldorp, Anne Roefs |
Using Explainable Boosting Machine to Compare Idiographic and Nomothetic Approaches for Ecological Momentary Assessment Data. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Ammar Shaker, Francesco Alesiani, Shujian Yu |
Modular-Relatedness for Continual Learning. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Maximilian Stubbemann, Gerd Stumme |
LG4AV: Combining Language Models and Graph Neural Networks for Author Verification. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Mina Rafla, Nicolas Voisine, Bruno Crémilleux |
Evaluation of Uplift Models with Non-Random Assignment Bias. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Huiyao Wu, Maryam Tavakol |
MuseBar: Alleviating Posterior Collapse in Recurrent VAEs Toward Music Generation. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Joost F. van der Haar, Sander C. Nagelkerken, Igor G. Smit, Kjell van Straaten, Janneke A. Tack, Rianne Margaretha Schouten, Wouter Duivesteijn |
Efficient Subgroup Discovery Through Auto-Encoding. |
IDA |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Krisztina Fruzsa, Roman Kuznets, Hans van Ditmarsch |
A New Hope. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Eugenio Orlandelli, Matteo Tesi |
Labelled sequent calculi for logics of strict implication. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Rineke Verbrugge |
Not the sky, but the third floor is the limit: Zero-one laws for provability logic, S4, and K4. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Philippe Balbiani, Quentin Gougeon |
Projective unification through duality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Satoru Niki |
Intuitionistic Modality and Beth Semantics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Tiziano Dalmonte |
Wijesekera-style constructive modal logics. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Ivano Ciardelli |
Describing neighborhoods in inquisitive modal logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Amirhossein Akbar Tabatabai |
Provability Logics of Hierarchies. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Balder ten Cate, Raoul Koudijs, Johan van Benthem |
Local Dependence and Guarding. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Inmaculada Perez de Guzmán, Antonio Yuste-Ginel, Alfredo Burrieza |
A multi-modal logic for Galois connections. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Mattia Panettiere, Apostolos Tzimoulis |
Graded modal logic with a single modality. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Jan Rooduijn, Lukas Zenger |
An analytic proof system for common knowledge logic over S5. |
AiML |
2022 |
DBLP BibTeX RDF |
|
| 25 | Hiroakira Ono, Katsuhiko Sano |
Analytic Cut and Mints - Symmetric Interpolation Method for Bi-intuitionistic Tense Logic. |
AiML |
2022 |
DBLP BibTeX RDF |
|
Displaying result #101 - #200 of 2183 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license